An axiom schema of comprehension of zermelo–fraenkel–skolem set theory
From MaRDI portal
Publication:4206704
DOI10.1080/01445349008837157zbMath0688.03003WikidataQ58354558 ScholiaQ58354558MaRDI QIDQ4206704
Publication date: 1990
Published in: History and Philosophy of Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1080/01445349008837157
03A05: Philosophical and critical aspects of logic and foundations
03B30: Foundations of classical theories (including reverse mathematics)
03E30: Axiomatics of classical set theory and its fragments
Cites Work