A quasi-intumonistic set theory

DOI10.2307/2269954zbMATH Open0247.02055OpenAlexW1536081785MaRDI QIDQ5659531FDOQ5659531

Leslie H. Tharp

Publication date: 1971

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

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

Mathematics Subject Classification ID

Consistency and independence results (03E35) Nonclassical and second-order set theories (03E70) Axiomatics of classical set theory and its fragments (03E30)

Cited In (9)

• Relativized ordinal analysis: the case of power Kripke-Platek set theory
• From the weak to the strong existence property
• The scope of Feferman's semi-intuitionistic set theories and his second conjecture
• The disjunction and related properties for constructive Zermelo-Fraenkel set theory
• THE FIRST-ORDER LOGIC OF CZF IS INTUITIONISTIC FIRST-ORDER LOGIC
• Global quantification in Zermelo-Fraenkel set theory
• Constructive Ackermann's interpretation
• On existence proofs of Hanf numbers
• Constructive Zermelo-Fraenkel Set Theory, Power Set, and the Calculus of Constructions

This page was built for publication: A quasi-intumonistic set theory

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