A unifying approach to theorems on preservation and interpolation for binary relations between structures (Q3939786): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+Some remarks on projective model classes and the interpolation theorem
+Normal rank
@@ Property / cites work @@
+Model theory
@@ Property / cites work: Model theory / rank @@
+Normal rank
@@ Property / cites work @@
+The Class of Rings Embeddable in Skew Fields
@@ Property / cites work: The Class of Rings Embeddable in Skew Fields / rank @@
+Normal rank
@@ Property / cites work @@
+Two notes on abstract model theory. I. Properties invariant on the range of definable relations between structures
+Normal rank
@@ Property / cites work @@
+Q4109641
@@ Property / cites work: Q4109641 / rank @@
+Normal rank
@@ Property / cites work @@
+Horn sentences
@@ Property / cites work: Horn sentences / rank @@
+Normal rank
@@ Property / cites work @@
+Approximation theorems and model theoretic forcing
+Normal rank
@@ Property / cites work @@
+Some applications of infinitely long formulas
@@ Property / cites work: Some applications of infinitely long formulas / rank @@
+Normal rank
@@ Property / cites work @@
+Q5573364
@@ Property / cites work: Q5573364 / rank @@
+Normal rank
@@ Property / cites work @@
+On Relations between Structures
@@ Property / cites work: On Relations between Structures / rank @@
+Normal rank
@@ Property / cites work @@
+Properties preserved under homomorphism
@@ Property / cites work: Properties preserved under homomorphism / rank @@
+Normal rank
@@ Property / cites work @@
+On the model theory of denumerably long formulas with finite strings of quantifiers
+Normal rank
@@ Property / cites work @@
+Svenonius sentences and Lindström's theory on preservation theorems
+Normal rank
@@ Property / cites work @@
+Q5684641
@@ Property / cites work: Q5684641 / rank @@
+Normal rank
@@ Property / cites work @@
+Boolean models and infinitary first order languages
+Normal rank
@@ Property / cites work @@
+Q5537410
@@ Property / cites work: Q5537410 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4065541
@@ Property / cites work: Q4065541 / rank @@
+Normal rank