Pages that link to "Item:Q5677454"
From MaRDI portal
The following pages link to Infinitary formulas preserved under unions of models (Q5677454):
Displaying 6 items.
- Harmonious logic: Craig's interpolation theorem and its descendants (Q1024116) (← links)
- Elimination of unbounded quantifiers for some poly-regular groups of infinite rank (Q2461190) (← links)
- Preservation of model-theoretic properties of \(\Psi\)-fractions (Q2748857) (← links)
- On classes closed under unions of chains (Q3050402) (← links)
- On equivalence of infinitary formulas under the stable model semantics (Q4592970) (← links)
- Preservation theorems in finite model theory (Q6064296) (← links)