Cohesive Toposes and Cantor's 'lauter Einsen'
From MaRDI portal
Publication:4282801
Recommendations
- The canonical intensive quality of a cohesive topos
- scientific article; zbMATH DE number 19495
- Läuchli's completeness theorem from a topos-theoretic perspective
- scientific article; zbMATH DE number 5177126
- Gabriel topologies on coherent quantales
- scientific article; zbMATH DE number 4036693
- On the Bourbaki-Witt principle in toposes
- The Skolem-Löwenheim theorem in toposes
- scientific article; zbMATH DE number 3907317
- scientific article; zbMATH DE number 1799749
Cited in
(17)- The unity and identity of decidable objects and double-negation sheaves
- scientific article; zbMATH DE number 5080413 (Why is no real title available?)
- Gödel's argument for Cantorian cardinality
- Sobriety for equilogical spaces
- Univalence as a principle of logic
- Topological quantum gates in homotopy type theory
- AN ABSTRACT ELEMENTARY CLASS NONAXIOMATIZABLE IN
- Foundations and Applications: Axiomatization and Education
- On exponentiating exponentiation
- Spreads and the symmetric topos
- scientific article; zbMATH DE number 1373519 (Why is no real title available?)
- What we talk about when we talk about numbers
- The construction of \(\pi_0\) in Axiomatic Cohesion
- The symmetric topos
- Unity and identity of opposites in calculus and physics
- Topos theory and Souslin's hypothesis
- Introduction: A personal tribute to Peter Freyd and Bill Lawvere
This page was built for publication: Cohesive Toposes and Cantor's 'lauter Einsen'
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4282801)
