On an Ackermann-type set theory

DOI10.2307/2273035MaRDI QIDQ4774050zbMATH OpenOpenAlexFDO

Authors John Lake

Publication date 1973

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

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

Mathematics Subject Classification ID

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

Cites work

• On Ackermann's set theory

This page was built for publication: On an Ackermann-type set theory

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