Pages that link to "Item:Q2884477"
From MaRDI portal
The following pages link to Syntactic characterizations of properties of classifying toposes (Q2884477):
Displaying 16 items.
- The Morita-equivalence between MV-algebras and lattice-ordered abelian groups with strong unit. (Q471915) (← links)
- A characterization theorem for geometric logic (Q638496) (← links)
- Atomic toposes and countable categoricity (Q695312) (← links)
- ``Pathologies'' in two syntactic categories of partial maps (Q1115866) (← links)
- Syntactic characterization of closure under connected limits (Q1210580) (← links)
- General affine adjunctions, Nullstellensätze, and dualities (Q2196331) (← links)
- Fraïssé's construction from a topos-theoretic perspective (Q2254565) (← links)
- On the geometric theory of local MV-algebras (Q2400339) (← links)
- Some aspects of topological Galois theory (Q2422449) (← links)
- Topological Galois theory (Q2634792) (← links)
- Theories, sites, toposes. Relating and studying mathematical theories through topos-theoretic `bridges' (Q2825457) (← links)
- Site characterizations for geometric invariants of toposes (Q2847340) (← links)
- Yoneda representations of flat functors and classifying toposes (Q2919776) (← links)
- A SYNTACTIC CHARACTERIZATION OF MORITA EQUIVALENCE (Q4600451) (← links)
- On Supercompactly and Compactly Generated Toposes (Q5163480) (← links)
- LATTICE-ORDERED ABELIAN GROUPS AND PERFECT MV-ALGEBRAS: A TOPOS-THEORETIC PERSPECTIVE (Q5346693) (← links)