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

DOI10.1007/BF01141627MaRDI QIDQ1835668zbMATH OpenWikidataFDO

Authors Vladimir Kanovei

Publication date 1981

Published in Mathematical Notes (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/BF01141627

zbMATH Keywords

constructable setspower set axiomtransitive collapse

Mathematics Subject Classification ID

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

Cites work

• A survey of proof theory
• scientific article; zbMATH DE number 3289430 (Why is no real title available?)
• Lectures in set theory with particular emphasis on the method of forcing
• Second order arithmetic and related topics

Cited in

(1)

• On constructible sets in Simpson's set 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

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