Boolean valued semantics for infinitary logics

DOI10.1016/J.APAL.2023.103333MaRDI QIDQ6073912zbMATH OpenOpenAlexFDO

Authors 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

consistency properties forcing infinitary logics

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

Abstract: It is well known that the completeness theorem for

m a t h r m L_{o m e g a_{1} o m e g a}

fails with respect to Tarski semantics. Mansfield showed that it holds for

m a t h r m L_{i n f t y i n f t y}

if one replaces Tarski semantics with boolean valued semantics. We use forcing to improve his result in order to obtain a stronger form of boolean completeness (but only for

m a t h r m L_{i n f t y o m e g a}

). Leveraging on our completeness result, we establish the Craig interpolation property and a strong version of the omitting types theorem for

m a t h r m L_{i n f t y o m e g a}

with respect to boolean valued semantics. We also show that a weak version of these results holds for

m a t h r m L_{i n f t y i n f t y}

(if one leverages instead on Mansfield's completeness theorem). Furthermore we bring to light (or in some cases just revive) several connections between the infinitary logic

m a t h r m L_{i n f t y o m e g a}

and the forcing method in set theory.

Cites work

Cited in

(3)

This page was built for publication: Boolean valued semantics for infinitary logics

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