A quasi-intumonistic set theory

DOI10.2307/2269954zbMath0247.02055OpenAlexW1536081785MaRDI QIDQ5659531

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) Axiomatics of classical set theory and its fragments (03E30) Nonclassical and second-order set theories (03E70)

Related Items (9)

Constructive Ackermann's interpretation ⋮ Global quantification in Zermelo-Fraenkel set theory ⋮ Relativized ordinal analysis: the case of power Kripke-Platek set theory ⋮ On existence proofs of Hanf numbers ⋮ THE FIRST-ORDER LOGIC OF CZF IS INTUITIONISTIC FIRST-ORDER LOGIC ⋮ 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 ⋮ Constructive Zermelo-Fraenkel Set Theory, Power Set, and the Calculus of Constructions

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