Pages that link to "Item:Q3919693"

The following pages link to The role of the Omitting Types Theorem in infinitary logic (Q3919693):

Displaying 3 items.

• The nonabsoluteness of model existence in uncountable cardinals for \(L_{\omega_{1},\omega}\) (Q1949163) (← links)
• An Ehrenfeucht-Fraïssé game for Lω1ω (Q2856638) (← links)
• Barwise: Abstract Model Theory and Generalized Quantifiers (Q4678933) (← links)