Pages that link to "Item:Q1382183"
From MaRDI portal
The following pages link to Classifying toposes for first-order theories (Q1382183):
Displayed 5 items.
- A characterization theorem for geometric logic (Q638496) (← links)
- Syntax and semantics of the logic \({\mathcal L}_{\omega\omega}^\lambda\) (Q1130233) (← links)
- Saturated models of intuitionistic theories (Q1887664) (← links)
- (Q3532317) (← links)
- An elementary definability theorem for first order logic (Q4934027) (← links)