Pages that link to "Item:Q5540459"
From MaRDI portal
The following pages link to Some applications of infinitely long formulas (Q5540459):
Displaying 12 items.
- Quantifier elimination in discriminator varieties (Q1084391) (← links)
- Game sentences and ultrapowers (Q1210353) (← links)
- Some applications of Henkin quantifiers (Q1233865) (← links)
- Classes of algebraic systems defined by universal Horn sentences (Q1240745) (← links)
- Preservation theorems for limits of structures and global sections of sheaves of structures (Q1247423) (← links)
- Direct product decompositions of structures and theories (Q1918968) (← links)
- Faithfully quadratic rings (Q2944979) (← links)
- A unifying approach to theorems on preservation and interpolation for binary relations between structures (Q3939786) (← links)
- Saturation and omitting types (Q4113826) (← links)
- A note on definability in equational logic (Q4312342) (← links)
- Reduced products, Horn sentences, and decision problems (Q5536656) (← links)
- Infinitary formulas preserved under unions of models (Q5677454) (← links)