Incompleteness of a formal system for infinitary finite-quantifier formulas
From MaRDI portal
Publication:5650664
DOI10.2307/2269953zbMath0239.02005OpenAlexW2066572550MaRDI QIDQ5650664
No author found.
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
Logic with extra quantifiers and operators (03C80) Other infinitary logic (03C75) General logic (03B99)
Related Items (3)
Full Continuous Embeddings of Toposes ⋮ More Lowenheim-Skolem results for admissible sets ⋮ A model of ZF with an infinite free complete Boolean algebra
Cites Work
This page was built for publication: Incompleteness of a formal system for infinitary finite-quantifier formulas
