Passar para o conteúdo principal

Lógica

A proof theoretic analysis of Littlewood’s Tauberian theorems

Mathematical Logic Webinar, por Thomas Powell (University of Bath).

Ler mais acerca de A proof theoretic analysis of Littlewood’s Tauberian theorems

The Yoneda Reduction of Polymorphic Types

Mathematical Logic Webinar, por Luca Tranchini (University of Tubingen).

Ler mais acerca de The Yoneda Reduction of Polymorphic Types

Towards Logical Foundations for Randomized Computability

Mathematical Logic Webinar, por Paolo Pistone (Università di Bologna).

Ler mais acerca de Towards Logical Foundations for Randomized Computability

Introduction to Model Theory and its relation to Algebraic Geometry

Mathematical Logic Webinar, por Guilherme Velez (Ciências ULisboa).

Ler mais acerca de Introduction to Model Theory and its relation to Algebraic Geometry

Halpern and Mann iterative schemas

Mathematical Logic Webinar, por Pedro Pinto (Technische Universität Darmstadt).

Ler mais acerca de Halpern and Mann iterative schemas

Numeral completeness of S^1_2: Part B

Mathematical Logic Webinar, por Paulo Santos (Universidade Nova de Lisboa - CMA).

Ler mais acerca de Numeral completeness of S^1_2: Part B

Numeral completeness of S^1_2: Part A

Mathematical Logic Webinar, por Paulo Santos (Universidade Nova de Lisboa - CMA).

Ler mais acerca de Numeral completeness of S^1_2: Part A

The role of functions in Frege’s lingua characterica

Mathematical Logic Webinar, por José Mestre (Stirling/St Andrews and LanCog - CFUL).

Ler mais acerca de The role of functions in Frege’s lingua characterica

Frege’s Begriffsschrift and second-order logic

Seminário de Lógica Matemática, por Joan San-Millán (Centro de Filosofia das Ciências da Universidade de Lisboa).

Ler mais acerca de Frege’s Begriffsschrift and second-order logic

On proper direct image in o-minimal expansions of groups

Mathematical Logic Webinar, por Mário Edmundo (Ciências ULisboa, CMAFcIO).

Ler mais acerca de On proper direct image in o-minimal expansions of groups

Páginas