Pages that link to "Item:Q912089"
From MaRDI portal
The following pages link to The theorems of Beth and Craig in abstract model theory. III: \(\Delta\)- logics and infinitary logics (Q912089):
Displaying 5 items.
- Beth definability, interpolation and language splitting (Q542122) (← links)
- An institution-independent proof of the Beth definability theorem (Q995670) (← links)
- The Craig interpolation theorem in abstract model theory (Q1024119) (← links)
- Remarks in abstract model theory (Q1080418) (← links)
- Definability and automorphisms in abstract logics (Q1762731) (← links)