Pages that link to "Item:Q2825457"

The following pages link to Theories, sites, toposes. Relating and studying mathematical theories through topos-theoretic `bridges' (Q2825457):

Displaying 29 items.

• A characterization theorem for geometric logic (Q638496) (← links)
• Gabriel-Ulmer duality for topoi and its relation with site presentations (Q831310) (← links)
• A topological completeness theorem (Q1283128) (← links)
• Classifying toposes for first-order theories (Q1382183) (← links)
• Mathematical logic: proof theory, constructive mathematics. Abstracts from the workshop held November 5--11, 2017 (Q1731963) (← links)
• Some invariant skeletons for \(\ell\)-u groups and MV-algebras (Q1732804) (← links)
• Syntactic categories for Nori motives (Q1783984) (← links)
• Monoid properties as invariants of toposes of monoid actions (Q2044554) (← links)
• Exploring mathematical objects from custom-tailored mathematical universes (Q2080581) (← links)
• Grothendieck toposes as unifying `bridges': a mathematical morphogenesis (Q2080586) (← links)
• Isotropy of algebraic theories (Q2134819) (← links)
• General affine adjunctions, Nullstellensätze, and dualities (Q2196331) (← links)
• Block generalized locally Toeplitz sequences: theory and applications in the unidimensional case (Q2303349) (← links)
• Block generalized locally Toeplitz sequences: theory and applications in the multidimensional case (Q2303350) (← links)
• On the geometric theory of local MV-algebras (Q2400339) (← links)
• Some aspects of topological Galois theory (Q2422449) (← links)
• Site characterizations for geometric invariants of toposes (Q2847340) (← links)
• Syntactic characterizations of properties of classifying toposes (Q2884477) (← links)
• Yoneda representations of flat functors and classifying toposes (Q2919776) (← links)
• Topological representation of geometric theories (Q3144866) (← links)
• Quantum GestART: identifying and applying correlations between mathematics, art, and perceptual organization (Q5152280) (← links)
• On Supercompactly and Compactly Generated Toposes (Q5163480) (← links)
• Categories, Musical Instruments, and Drawings: A Unification Dream (Q5237257) (← links)
• Theories of presheaf type (Q5311762) (← links)
• LATTICE-ORDERED ABELIAN GROUPS AND PERFECT MV-ALGEBRAS: A TOPOS-THEORETIC PERSPECTIVE (Q5346693) (← links)
• Sheaves of structures, Heyting‐valued structures, and a generalization of Łoś's theorem (Q6094124) (← links)
• The over-topos at a model (Q6161784) (← links)
• Formal model theory and higher topology (Q6561655) (← links)
• Some properties of internal locale morphisms externalised (Q6634611) (← links)