On an Ackermann-type set theory

DOI10.2307/2273035zbMATH Open0286.02071OpenAlexW2138180936MaRDI QIDQ4774050FDOQ4774050

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)