Sheaves and concepts : a model-theoretic interpretation of Grothendieck topoi
Gonzalo E. Reyes (1977)
Cahiers de Topologie et Géométrie Différentielle Catégoriques
Similarity:
The search session has expired. Please query the service again.
The search session has expired. Please query the service again.
Displaying similar documents to “The internal and external aspect of logic and set theory in elementary topoi”
Sheaves and concepts : a model-theoretic interpretation of Grothendieck topoi
Lawvere's elementary theories and polyadic and cylindric algebras
Aubert Daigenault (1970)
Fundamenta Mathematicae
Similarity:
Exploring the gap between linear and classical logic.
Lamarche, François (2007)
Theory and Applications of Categories [electronic only]
Similarity:
Upsetting the foundations for mathematics
Lawrence Neff Stout (2005)
Philosophia Scientiae
Similarity:
Starting with a review of the kinds of questions a foundation for mathematics should address, this paper provides a critique of set theoretical foundations, a proposal that multiple interconnected categorical foundations would be an improvement, and a way of recovering set theory within a categorical approach.
Words, free algebras, and coequalizers
Andreas Blass (1983)
Fundamenta Mathematicae
Similarity:
Bicategories of partial maps
A. Carboni (1987)
Cahiers de Topologie et Géométrie Différentielle Catégoriques
Similarity:
Interpreting set theory in the endomorphism semi-group of a free algebra or in a category
Saharon Shelah (1976)
Annales scientifiques de l'Université de Clermont. Mathématiques
Similarity:
Coherent euclidean geometry
Rosanna Succi Cruciani (1985)
Cahiers de Topologie et Géométrie Différentielle Catégoriques
Similarity: