The completeness theorem for infinitary logic

DOI10.2307/2272542zbMath0244.02005OpenAlexW1992279354MaRDI QIDQ5655345

Richard Mansfield

Publication date: 1972

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

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

Mathematics Subject Classification ID

Other infinitary logic (03C75) Categoricity and completeness of theories (03C35)

Related Items (4)

Unnamed Item ⋮ Boolean valued semantics for infinitary logics ⋮ Forcing revisited ⋮ Topos Theory in Montréal in the 1970s: My Personal Involvement

Cites Work

• Pointless axiomatic set theory
• Unnamed Item
• Unnamed Item

This page was built for publication: The completeness theorem for infinitary logic