Cohesive Toposes and Cantor's 'lauter Einsen'

DOI10.1093/PHILMAT/2.1.5zbMATH Open0801.18005OpenAlexW2109667066MaRDI QIDQ4282801FDOQ4282801

Authors: F. William Lawvere 

Publication date: 10 April 1994

Published in: Philosophia Mathematica (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1093/philmat/2.1.5

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
• 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

zbMATH Keywords

topoicardinalitycardinal number

Mathematics Subject Classification ID

Categorical logic, topoi (03G30) Topoi (18B25) Ordinal and cardinal numbers (03E10)

Cited In (17)

• The unity and identity of decidable objects and double-negation sheaves
• Gödel's argument for Cantorian cardinality
• Title not available (Why is that?)
• Sobriety for equilogical spaces
• Topological quantum gates in homotopy type theory
• Univalence as a principle of logic
• AN ABSTRACT ELEMENTARY CLASS NONAXIOMATIZABLE IN
• Foundations and Applications: Axiomatization and Education
• On exponentiating exponentiation
• Spreads and the symmetric topos
• Title not available (Why is that?)
• 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)