Intuitionist type theory and foundations

DOI10.1007/BF00253914zbMath0461.03012OpenAlexW2061964709MaRDI QIDQ1152364

Philip J. Scott

Publication date: 1981

Published in: Journal of Philosophical Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/bf00253914

zbMATH Keywords

intuitionistic type theoryfree topos with natural numbers object

Mathematics Subject Classification ID

Categorical logic, topoi (03G30) Topoi (18B25) Metamathematics of constructive systems (03F50)

Related Items (2)

Intuitionist type theory and the free topos ⋮ Unnamed Item

Cites Work

• From types to sets
• Intuitionist type theory and the free topos
• Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme I
• Functional completeness of cartesian categories
• AN ELEMENTARY THEORY OF THE CATEGORY OF SETS
• A formulation of the simple theory of types
• Completeness in the theory of types

This page was built for publication: Intuitionist type theory and foundations