The Metamathematics of Infinitary Set Theoretical Systems

DOI10.1002/MALQ.19770230103MaRDI QIDQ4132495zbMATH OpenOpenAlexFDO

Authors K.Gloede

Publication date 1977

Published in Mathematical Logic Quarterly (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1002/malq.19770230103

Mathematics Subject Classification ID

Nonclassical and second-order set theories (03E70) Other infinitary logic (03C75) Axiomatics of classical set theory and its fragments (03E30) General logic (03B99)

Recommendations

• Barwise: Infinitary Logic and Admissible Sets
• scientific article; zbMATH DE number 444448
• ON CONSTRUCTING INFINITARY LANGUAGES Lα β WITHOUT THE AXIOM OF CHOICE
• A formal system of first-order predicate calculus with infinitely long expressions
• scientific article; zbMATH DE number 3989335

Cited in

(4)

• The metatheory of sets
• scientific article; zbMATH DE number 1042847 (Why is no real title available?)
• scientific article; zbMATH DE number 753780 (Why is no real title available?)
• Metafinite model theory

This page was built for publication: The Metamathematics of Infinitary Set Theoretical Systems

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