Can You Add Power‐Sets to Martin‐Lof's Intuitionistic Set Theory?

DOI10.1002/malq.19990450410zbMath0935.03071OpenAlexW2009263137MaRDI QIDQ4704657

Silvio Valentini, Maria Emilia Maietti

Publication date: 9 May 2000

Published in: Mathematical Logic Quarterly (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1002/malq.19990450410

zbMATH Keywords

extensionalitytopos theoryintuitionistic set theoryextension of Martin-Löf's intensional set theoryset constructor

Mathematics Subject Classification ID

Categorical logic, topoi (03G30) Topoi (18B25) Nonclassical and second-order set theories (03E70) Intuitionistic mathematics (03F55)

Related Items (10)

THE AXIOM OF CHOICE IS FALSE INTUITIONISTICALLY (IN MOST CONTEXTS) ⋮ A Minimalist Foundation at Work ⋮ Some points in formal topology. ⋮ Unique existence, approximate solutions, and countable choice. ⋮ The axiom of choice and the law of excluded middle in weak set theories ⋮ The Zariski spectrum as a formal geometry ⋮ Unnamed Item ⋮ A minimalist two-level foundation for constructive mathematics ⋮ Pretopologies and a uniform presentation of sup-lattices, quantales and frames ⋮ Formal Zariski topology: Positivity and points

Cites Work

• The inconsistency of higher order extensions of Martin-Löf's type theory
• The strength of some Martin-Löf type theories
• Axiom of Choice and Complementation
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Can You Add Power‐Sets to Martin‐Lof's Intuitionistic Set Theory?