Theory of Zermelo without power set axiom and the theory of Zermelo- Fraenkel without power set axiom are relatively consistent

DOI10.1007/BF01141627zbMath0504.03023WikidataQ114694046 ScholiaQ114694046MaRDI QIDQ1835668

Kanovei, Vladimir

Publication date: 1981

Published in: Mathematical Notes (Search for Journal in Brave)

zbMATH Keywords

constructable setspower set axiomtransitive collapse

Mathematics Subject Classification ID

Consistency and independence results (03E35) Axiomatics of classical set theory and its fragments (03E30)

Cites Work

• Unnamed Item
• Lectures in set theory with particular emphasis on the method of forcing
• Second order arithmetic and related topics
• A survey of proof theory

This page was built for publication: Theory of Zermelo without power set axiom and the theory of Zermelo- Fraenkel without power set axiom are relatively consistent