Pages that link to "Item:Q3360169"
From MaRDI portal
The following pages link to Model theory for infinite quantifier languages (Q3360169):
Displaying 15 items.
- Logical operations and iterated infinitely deep languages (Q799666) (← links)
- Iterated elementary embeddings and the model theory of infinitary logic (Q904149) (← links)
- The Craig interpolation theorem in abstract model theory (Q1024119) (← links)
- Model theoretic results for infinitely deep languages (Q1060213) (← links)
- Constructing strongly equivalent nonisomorphic models for unstable theories (Q1176196) (← links)
- Game-theoretic inductive definability (Q1314543) (← links)
- Infinitary definitions of equivalence relations in models of PA (Q1377633) (← 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)
- Relativization of quantifiers in finite models (Q2702252) (← links)
- Lectures on Infinitary Model Theory (Q3188067) (← links)
- (Q4395613) (← links)
- On equivalence of infinitary formulas under the stable model semantics (Q4592970) (← links)
- Applications of model theory to the study of ‘soft’ universals in language (Q4597865) (← links)