Models of intuitionistic TT and NF

DOI10.2307/2275855zbMath0826.03023OpenAlexW2080463847MaRDI QIDQ4842637

Daniel Dzierzgowski

Publication date: 15 August 1995

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

Full work available at URL: https://doi.org/10.2307/2275855

zbMATH Keywords

Kripke modelsNew Foundationsexcluded middleSimple Theory of Typesintuitionistic part of a classical theory

Mathematics Subject Classification ID

Nonclassical and second-order set theories (03E70) Nonclassical models (Boolean-valued, sheaf, etc.) (03C90) Intuitionistic mathematics (03F55)

Related Items (2)

Finite sets and natural numbers in intuitionistic TT ⋮ ALGEBRAIC NEW FOUNDATIONS

Cites Work

• Unnamed Item
• A note on intuitionistic models of ZF
• Extending Gödel's negative interpretation to ZF
• Cofinal Indiscernibles and some Applications to New Foundations

This page was built for publication: Models of intuitionistic TT and NF