Relative separation theorems for \(\mathcal L _{\kappa^ + \kappa}\)

DOI10.1305/NDJFL/1093634403zbMath0793.03044OpenAlexW2057822606MaRDI QIDQ1203767

Heikki Tuuri

Publication date: 22 February 1993

Published in: Notre Dame Journal of Formal Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1305/ndjfl/1093634403

zbMATH Keywords

interpolationsatisfactioninfinite gamesinfinitary logicseparationinfinite quantifer languageinfinitely deep logic

Mathematics Subject Classification ID

2-person games (91A05) Interpolation, preservation, definability (03C40) Other infinitary logic (03C75)

Related Items (5)

Trees and -subsets of ^ω1ω₁ ⋮ Borel $$^{*}$$ Sets in the Generalized Baire Space and Infinitary Languages ⋮ Undefinability of κ-well-orderings in L_∞κ ⋮ Generalized Descriptive Set Theory and Classification Theory ⋮ The Craig interpolation theorem in abstract model theory

This page was built for publication: Relative separation theorems for \(\mathcal L _{\kappa^ + \kappa}\)