The following pages link to (Q5607980):
Displaying 6 items.
- A generalization of the Łoś-Tarski preservation theorem (Q904143) (← links)
- Parametrization over inductive relations of a bounded number of variables (Q917545) (← links)
- The Craig interpolation theorem in abstract model theory (Q1024119) (← links)
- Game sentences and ultrapowers (Q1210353) (← links)
- Independence in randomizations (Q5223124) (← links)
- Some applications of infinitely long formulas (Q5540459) (← links)