Pages that link to "Item:Q1382183"
From MaRDI portal
The following pages link to Classifying toposes for first-order theories (Q1382183):
Displaying 21 items.
- Relating first-order set theories, toposes and categories of classes (Q386623) (← links)
- \(\mathbb{T}\)-motives (Q515876) (← links)
- A characterization theorem for geometric logic (Q638496) (← links)
- Atomic toposes and countable categoricity (Q695312) (← links)
- De Morgan classifying toposes (Q1034091) (← links)
- Syntax and semantics of the logic \({\mathcal L}_{\omega\omega}^\lambda\) (Q1130233) (← links)
- Classifying topoi and the axiom of infinity (Q1263664) (← links)
- Infinitary first-order categorical logic (Q1625589) (← links)
- Saturated models of intuitionistic theories (Q1887664) (← links)
- Theories, sites, toposes. Relating and studying mathematical theories through topos-theoretic `bridges' (Q2825457) (← links)
- Syntactic characterizations of properties of classifying toposes (Q2884477) (← links)
- Yoneda representations of flat functors and classifying toposes (Q2919776) (← links)
- Krull dimension of types in a class of first-order theories (Q3008277) (← links)
- Forcing and classifying topoi (Q3320376) (← links)
- (Q3532317) (← links)
- Bases for first-order theories and subtheories (Q3843604) (← links)
- A SYNTACTIC CHARACTERIZATION OF MORITA EQUIVALENCE (Q4600451) (← links)
- An elementary definability theorem for first order logic (Q4934027) (← links)
- Theories of presheaf type (Q5311762) (← links)
- INFINITARY GENERALIZATIONS OF DELIGNE’S COMPLETENESS THEOREM (Q5855752) (← links)
- A topos for continuous logic (Q5868039) (← links)
