The following pages link to Remarks in abstract model theory (Q1080418):
Displaying 10 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)
- On the homogeneity property for certain quantifier logics (Q1204106) (← links)
- Definability and automorphisms in abstract logics (Q1762731) (← links)
- Nice infinitary logics (Q2879888) (← links)
- Model theory without choice? Categoricity (Q3630571) (← links)
- There are reasonably nice logics (Q3981457) (← links)
- Barwise: Abstract Model Theory and Generalized Quantifiers (Q4678933) (← links)