The Metamathematics of Infinitary Set Theoretical Systems

DOI10.1002/MALQ.19770230103zbMATH Open0359.02019OpenAlexW2053189423MaRDI QIDQ4132495FDOQ4132495

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

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

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)

Cited In (4)

• Metafinite model theory
• The metatheory of sets
• Title not available (Why is that?)
• Title not available (Why is that?)

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)