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

DOI10.1002/MALQ.19990450410zbMATH Open0935.03071OpenAlexW2009263137MaRDI QIDQ4704657FDOQ4704657

Authors: Maria Emilia Maietti, Silvio Valentini 

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

Recommendations

• scientific article; zbMATH DE number 1746890
• scientific article; zbMATH DE number 3950520
• Independence results around constructive ZF
• scientific article; zbMATH DE number 1302065

zbMATH Keywords

extensionalityintuitionistic set theorytopos theoryextension of Martin-Löf's intensional set theoryset constructor

Mathematics Subject Classification ID

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

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• Axiom of Choice and Complementation
• Title not available (Why is that?)
• The strength of some Martin-Löf type theories
• Title not available (Why is that?)
• The inconsistency of higher order extensions of Martin-Löf's type theory

Cited In (12)

• A minimalist two-level foundation for constructive mathematics
• THE AXIOM OF CHOICE IS FALSE INTUITIONISTICALLY (IN MOST CONTEXTS)
• What is the theory ZFC without power set?
• Some points in formal topology.
• Unique existence, approximate solutions, and countable choice.
• The Zariski spectrum as a formal geometry
• Forcing in intuitionistic systems without power-set
• Title not available (Why is that?)
• Formal Zariski topology: Positivity and points
• The axiom of choice and the law of excluded middle in weak set theories
• Pretopologies and a uniform presentation of sup-lattices, quantales and frames
• A minimalist foundation at work

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4704657)