Pages that link to "Item:Q3360169"
From MaRDI portal
The following pages link to Model theory for infinite quantifier languages (Q3360169):
Displaying 6 items.
- The Craig interpolation theorem in abstract model theory (Q1024119) (← links)
- Constructing strongly equivalent nonisomorphic models for unstable theories (Q1176196) (← links)
- Game-theoretic inductive definability (Q1314543) (← links)
- Almost free groups and long Ehrenfeucht-Fraïssé games (Q1408855) (← links)
- Definability and automorphisms in abstract logics (Q1762731) (← links)
- Almost free groups and Ehrenfeucht-Fraïssé games for successors of singular cardinals (Q1849867) (← links)