Boolean valued semantics for infinitary logics

DOI10.1016/j.apal.2023.103333arXiv2112.09416OpenAlexW4384700770MaRDI QIDQ6073912

Juan M. Santiago Suárez, Matteo Viale

Publication date: 12 October 2023

Published in: Annals of Pure and Applied Logic (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/2112.09416

zbMATH Keywords

forcinginfinitary logicsconsistency properties

Mathematics Subject Classification ID

Applications of set theory (03E75) Interpolation, preservation, definability (03C40) Other infinitary logic (03C75) Other aspects of forcing and Boolean-valued models (03E40)

Cites Work

• Set theory. An introduction to independence proofs
• Martin's maximum\(^{++}\) implies Woodin's axiom \((*)\)
• Model theory for infinitary logic. Logic with countable conjunctions and finite quantifiers
• SUBCOMPLETE FORCING AND ℒ-FORCING
• Set Theory
• On the model theory of denumerably long formulas with finite strings of quantifiers
• The completeness theorem for infinitary logic
• Unnamed Item
• Unnamed Item
• Unnamed Item