An interpolation theorem for denumerably long formulas
From MaRDI portal
Publication:5509674
DOI10.4064/fm-57-3-253-272zbMath0137.00701OpenAlexW786158582MaRDI QIDQ5509674
No author found.
Publication date: 1965
Published in: Fundamenta Mathematicae (Search for Journal in Brave)
Full work available at URL: https://eudml.org/doc/213839
Related Items
WHICH CLASSES OF STRUCTURES ARE BOTH PSEUDO-ELEMENTARY AND DEFINABLE BY AN INFINITARY SENTENCE? ⋮ LOGICALITY AND MODEL CLASSES ⋮ Stratified least fixpoint logic ⋮ A robuster Scott rank ⋮ Modeling limits in hereditary classes: reduction and application to trees ⋮ Scott ranks of models of a theory ⋮ AN INTRODUCTION TO THE SCOTT COMPLEXITY OF COUNTABLE STRUCTURES AND A SURVEY OF RECENT RESULTS ⋮ Metric Scott analysis ⋮ COMPUTABLE POLISH GROUP ACTIONS ⋮ Mehrsortige logische Systeme mit unendlich langen Formeln I ⋮ Generic length functions on countable groups ⋮ Glivenko sequent classes and constructive cut elimination in geometric logics ⋮ The conjugacy problem for automorphism groups of countable homogeneous structures ⋮ Characterizing the existence of a Borel complete expansion ⋮ Classes of algebraic structures ⋮ Iterated elementary embeddings and the model theory of infinitary logic ⋮ A Borel invariantization ⋮ Random generations of the countable random graph ⋮ Unnamed Item ⋮ Countable structures for uncountable infinitary languages ⋮ A topological zero-one law and elementary equivalence of finitely generated groups ⋮ CODING IN GRAPHS AND LINEAR ORDERINGS ⋮ Some Remarks on the Proof-Theory and the Semantics of Infinitary Modal Logic ⋮ On interpolation when function symbols are present ⋮ LOGIC IN THE TRACTATUS ⋮ Kripke completeness of infinitary predicate multimodal logics ⋮ Using computability to measure complexity of algebraic structures and classes of structures ⋮ Espaces de Baire et espaces de probabilité de structures rélationnelles ⋮ Borel actions of Polish groups ⋮ Monotone Reducibility Over the Cantor Space ⋮ Some applications of positive formulas in descriptive set theory and logic ⋮ Scott sentences for equivalence structures ⋮ Harmonious logic: Craig's interpolation theorem and its descendants ⋮ The Craig interpolation theorem in abstract model theory ⋮ On the weak representability of \(\sigma\)-complete dimension complemented cylindric algebras ⋮ Non-isomorphism invariant Borel quantifiers ⋮ Borel functors, interpretations, and strong conceptual completeness for ℒ_{𝜔₁𝜔} ⋮ An Ehrenfeucht-Fraïssé game for Lω1ω ⋮ Geometric Rules in Infinitary Logic ⋮ SCOTT COMPLEXITY OF COUNTABLE STRUCTURES
