Incompleteness of a formal system for infinitary finite-quantifier formulas

DOI10.2307/2269953MaRDI QIDQ5650664zbMATH OpenOpenAlexFDO

Authors

Publication date 1971

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

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

Mathematics Subject Classification ID

General logic (03B99) Other infinitary logic (03C75) Logic with extra quantifiers and operators (03C80)

Cited in

(4)

• More Lowenheim-Skolem results for admissible sets
• A model of ZF with an infinite free complete Boolean algebra
• Full Continuous Embeddings of Toposes
• Atomic toposes with co-well-founded categories of atoms

This page was built for publication: Incompleteness of a formal system for infinitary finite-quantifier formulas

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