A unifying approach to theorems on preservation and interpolation for binary relations between structures
From MaRDI portal
Publication:3939786
DOI10.1007/BF02011637zbMath0482.03012MaRDI QIDQ3939786
Publication date: 1981
Published in: Archiv für Mathematische Logik und Grundlagenforschung (Search for Journal in Brave)
Full work available at URL: https://eudml.org/doc/137979
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Properties preserved under homomorphism
- Model theory
- Some remarks on projective model classes and the interpolation theorem
- On Relations between Structures
- Two notes on abstract model theory. I. Properties invariant on the range of definable relations between structures
- Approximation theorems and model theoretic forcing
- Boolean models and infinitary first order languages
- The Class of Rings Embeddable in Skew Fields
- Some applications of infinitely long formulas
- Horn sentences
- On the model theory of denumerably long formulas with finite strings of quantifiers
- Svenonius sentences and Lindström's theory on preservation theorems