Generalized interpolation and definability
From MaRDI portal
Publication:5602911
DOI10.1016/0003-4843(70)90003-3zbMath0204.31002OpenAlexW1968753703MaRDI QIDQ5602911
Publication date: 1970
Published in: Annals of Mathematical Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/0003-4843(70)90003-3
Related Items
Expansions of models of ω-stable theories ⋮ Defining algebraic elements ⋮ Generalized interpolation theorems ⋮ Game sentences, recursive saturation and definability ⋮ Constituents and finite identifiability ⋮ Global definability theory in 𝐿_{𝜔₁𝜔} ⋮ Weak definability in infinitary languages
