Relative separation theorems for \(\mathcal L _{\kappa^ + \kappa}\)
type: Item
instance of: scholarly article
title: Relative separation theorems for \(\mathcal L _{\kappa^ + \kappa}\)
zbMATH Open document ID: 0793.03044
author: Heikki Tuuri
published in: Notre Dame Journal of Formal Logic
publication date: 1993-02-22T00:00:00Z
review text: This paper strengthens earlier separation theorems for \(L_{\kappa^ + \kappa}\) expressed in terms of an infinite quantifer language \(M_{\lambda^ + \lambda}\). This language allows infinite alternation between conjunction, disjunction and universal existential quantifiers. A consequence of this feature is that the notion of satisfaction has to be defined in terms of infinite games with two players \(\forall\) and \(\exists\); the relation \({\mathcal M}\models\varphi\) means that player \(\exists\) has a winning strategy in the related games. Since such games can be nondetermined, one has to formulate the interpolation theorems as separation theorems. The main result is the following. Assume that \(\varphi\) and \(\psi\) are sentences of \(L_{\kappa^ + \kappa}\) which have no models in common. Then for \(\lambda= \kappa^{<\kappa}\) there is a sentence \(\theta\) of \(M_{\lambda^ + \lambda}\) in which only such nonlogical symbols occur which occur both in \(\varphi\) and \(\psi\) and were for all \({\mathcal M}\), \[ \begin{aligned} (i)\;\;\;&\quad \text{if } {\mathcal M} \models \varphi, \text{ then } {\mathcal M} \models \theta,\\ (ii)\;\;&\quad \text{if }\forall \text{ does not have a winning strategy in the game of } {\mathcal M} \text{ and } \theta, \text{ then } {\mathcal M} \not\models \varphi.\\ \text{Notice that \((ii)\) implies} (iii)\;&\quad \text{if } {\mathcal M}\models \theta, \text{ then } {\mathcal M}\not\models \psi\end{aligned} \] which corresponds to the strength of earlier separation results. The author has also analogous versions of the interpolation theorems of Lyndon and Malitz. He also improves earlier results on the undefinability of well-orderings.
reviewed by: J.Oikkonen
Mathematics Subject Classification ID: 03C75
Mathematics Subject Classification ID: 03C40
Mathematics Subject Classification ID: 91A05
zbMATH DE Number: 120373
zbMATH Keywords: infinitary logic
zbMATH Keywords: infinitely deep logic
zbMATH Keywords: separation
zbMATH Keywords: infinite quantifer language
zbMATH Keywords: satisfaction
zbMATH Keywords: infinite games
zbMATH Keywords: interpolation
MaRDI profile type: Publication
full work available at URL: https://doi.org/10.1305/ndjfl/1093634403
OpenAlex ID: W2057822606
DOI: 10.1305/NDJFL/1093634403
Recommended article: Q5454104
Recommended article: On the Separation Dimension of Kω
Recommended article: On the separation properties of $K_ω$
Recommended article: Q4368135
Recommended article: A Constructive Version of the Lusin Separation Theorem
Recommended article: Q4523312
Recommended article: \(M_{\varphi}M_{\psi}\)-convexity and separation theorems
Recommended article: On the Kurosh theorem and separability properties
Recommended article: Q4905168
Recommended article: A theorem on \(P_{\kappa}(\lambda)\)
description: scientific article; zbMATH DE number 120373