Löwenheim-Skolem and interpolation theorems in infinitary languages
From MaRDI portal
Publication:5680095
DOI10.1090/S0002-9904-1972-12921-5zbMath0264.02017MaRDI QIDQ5680095
Publication date: 1972
Published in: Bulletin of the American Mathematical Society (Search for Journal in Brave)
Related Items (15)
A model and its subset: The uncountable case ⋮ The wi-club filter on 𝒫κλ ⋮ Nonsplitting subset of κ(κ+) ⋮ Internal consistency and global co-stationarity of the ground model ⋮ In singular cardinality, locally free algebras are free ⋮ Local character of Kim-independence ⋮ κ-stationary subsets of , infinitary games, and distributive laws in Boolean algebras ⋮ Countable type local theorems in algebra ⋮ Regularity of ultrafilters ⋮ Global co-stationarity of the ground model from a new countable length sequence ⋮ Ideal models and some not so ideal problems in the model theory of L(Q) ⋮ Abstract elementary classes and infinitary logics ⋮ Generalized Quantifiers and Compact Logic ⋮ Forcing closed unbounded sets ⋮ A heterogeneous interpolant
Cites Work
This page was built for publication: Löwenheim-Skolem and interpolation theorems in infinitary languages