An interpolation theorem for denumerably long formulas
From MaRDI portal
Publication:5509674
DOI10.4064/fm-57-3-253-272zbMath0137.00701MaRDI 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
Borel actions of Polish groups, Unnamed Item, Mehrsortige logische Systeme mit unendlich langen Formeln I, Countable structures for uncountable infinitary languages, Kripke completeness of infinitary predicate multimodal logics, Harmonious logic: Craig's interpolation theorem and its descendants, The Craig interpolation theorem in abstract model theory, Espaces de Baire et espaces de probabilité de structures rélationnelles, Stratified least fixpoint logic, Some applications of positive formulas in descriptive set theory and logic, Random generations of the countable random graph, On the weak representability of \(\sigma\)-complete dimension complemented cylindric algebras, Non-isomorphism invariant Borel quantifiers, Monotone Reducibility Over the Cantor Space, A Borel invariantization, On interpolation when function symbols are present