The intuitionistic alternative set theory

DOI10.1016/0168-0072(93)90002-UzbMath0770.03017MaRDI QIDQ1208081

Kevin Lano

Publication date: 16 May 1993

Published in: Annals of Pure and Applied Logic (Search for Journal in Brave)

zbMATH Keywords

constructibilityfeasibilityprolongationindiscernibilitydecidable classintuitionistic adaptations of alternative set theorysemiset

Mathematics Subject Classification ID

Nonclassical and second-order set theories (03E70) Intuitionistic mathematics (03F55)

Related Items

Formal frameworks for approximate reasoning

Cites Work

• Proper classes via the iterative conception of set
• Intuitionistic modal logic and set theory
• Formal systems for some branches of intuitionistic analysis
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item