scientific article

zbMath1245.03111MaRDI QIDQ3552042

Maria Emilia Maietti

Publication date: 20 April 2010

Full work available at URL: http://www.emis.de/journals/TAC/volumes/24/3/24-03abs.html

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

dependent type theorypretoposarithmetic universe

Mathematics Subject Classification ID

Categorical logic, topoi (03G30) First-order arithmetic and fragments (03F30) Categorical semantics of formal languages (18C50) Intuitionistic mathematics (03F55)

Related Items

Continuity and geometric logic, An interpretation of dependent type theory in a model category of locally cartesian closed categories, Triposes, exact completions, and Hilbert's \(\varepsilon\)-operator, Radical theory of Scott-open filters, Dialectica principles via Gödel doctrines, An induction principle for consequence in arithmetic universes, A PREDICATIVE VARIANT OF HYLAND’S EFFECTIVE TOPOS, Monads in double categories, The scope of Gödel's first incompleteness theorem, Unifying exact completions, Exploring mathematical objects from custom-tailored mathematical universes, List Objects with Algebraic Structure, Aspects of Categorical Recursion Theory, Maximal ideals in countable rings, constructively