Pages that link to "Item:Q1820149"

The following pages link to Stationary logic and its friends. I (Q1820149):

Displaying 14 items.

• Definability properties and the congruence closure (Q810007) (← links)
• The theorems of Beth and Craig in abstract model theory. III: \(\Delta\)- logics and infinitary logics (Q912089) (← links)
• Harmonious logic: Craig's interpolation theorem and its descendants (Q1024116) (← links)
• The Craig interpolation theorem in abstract model theory (Q1024119) (← links)
• Remarks in abstract model theory (Q1080418) (← links)
• Model constructions in stationary logic. II: Definable ultrapowers (Q1087538) (← links)
• On the homogeneity property for certain quantifier logics (Q1204106) (← links)
• Obituary: Alan Mekler (Q1803660) (← links)
• Stationary logic and its friends. II (Q1820150) (← links)
• The Hanf number of stationary logic (Q1820151) (← links)
• European Summer Meeting of the Association for Symbolic Logic (Logic Colloquium '88), Padova, 1988 (Q3478381) (← links)
• ω-Trees in stationary logic (Q3691646) (← links)
• On coherent systems of projections for<i>N</i>₁-separable groups (Q4029192) (← links)
• TWO-VARIABLE LOGIC HAS WEAK, BUT NOT STRONG, BETH DEFINABILITY (Q5159499) (← links)