The following pages link to Remarks in abstract model theory (Q1080418):
Displaying 15 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)
- Stationary logic and its friends. I (Q1820149) (← links)
- Stationary logic and its friends. II (Q1820150) (← links)
- Nice infinitary logics (Q2879888) (← links)
- Duality for Compact Logics and Substitution in Abstract Model Theory (Q3347866) (← links)
- Model theory without choice? Categoricity (Q3630571) (← links)
- Uniqueness, definability and interpolation (Q3795662) (← links)
- There are reasonably nice logics (Q3981457) (← links)
- Barwise: Abstract Model Theory and Generalized Quantifiers (Q4678933) (← links)
- (Q5567837) (← links)