Pages that link to "Item:Q5643984"
From MaRDI portal
The following pages link to On the model theory of denumerably long formulas with finite strings of quantifiers (Q5643984):
Displayed 16 items.
- A relative interpolation theorem for infinitary universal Horn logic and its applications (Q818926) (← links)
- The Craig interpolation theorem in abstract model theory (Q1024119) (← links)
- Consistency property and model existence theorem for second order negative languages with conjunctions and quantifications over sets of cardinality smaller than a strong limit cardinal of denumerable cofinality (Q1241504) (← links)
- Preservation theorems for limits of structures and global sections of sheaves of structures (Q1247423) (← links)
- Some remarks on projective model classes and the interpolation theorem (Q2547548) (← links)
- CHAIN MODELS, TREES OF SINGULAR CARDINALITY AND DYNAMIC EF-GAMES (Q3094360) (← links)
- A unifying approach to theorems on preservation and interpolation for binary relations between structures (Q3939786) (← links)
- Free Suslin algebras (Q4161324) (← links)
- Global definability theory in 𝐿_{𝜔₁𝜔} (Q4767313) (← links)
- On some properties a projective model class passes on to the generated axiomatic class (Q4774040) (← links)
- (Q5223106) (← links)
- Infinitary analogs of theorems from first order model theory (Q5639710) (← links)
- Infinitary formulas preserved under unions of models (Q5677454) (← links)
- WHICH CLASSES OF STRUCTURES ARE BOTH PSEUDO-ELEMENTARY AND DEFINABLE BY AN INFINITARY SENTENCE? (Q5884253) (← links)
- Interpolation and preservation in \({\mathcal{ML}}_{\omega_1}\) (Q5937814) (← links)
- Boolean valued semantics for infinitary logics (Q6073912) (← links)