Pages that link to "Item:Q1382183"
From MaRDI portal
The following pages link to Classifying toposes for first-order theories (Q1382183):
Displaying 10 items.
- \(\mathbb{T}\)-motives (Q515876) (← links)
- A characterization theorem for geometric logic (Q638496) (← links)
- Syntax and semantics of the logic \({\mathcal L}_{\omega\omega}^\lambda\) (Q1130233) (← links)
- Infinitary first-order categorical logic (Q1625589) (← links)
- Saturated models of intuitionistic theories (Q1887664) (← links)
- (Q3532317) (← links)
- A SYNTACTIC CHARACTERIZATION OF MORITA EQUIVALENCE (Q4600451) (← links)
- An elementary definability theorem for first order logic (Q4934027) (← links)
- INFINITARY GENERALIZATIONS OF DELIGNE’S COMPLETENESS THEOREM (Q5855752) (← links)
- A topos for continuous logic (Q5868039) (← links)
