Topos Theory in Montréal in the 1970s: My Personal Involvement

DOI10.1080/01445340.2018.1554471zbMath1427.03008OpenAlexW2912929253WikidataQ115443948 ScholiaQ115443948MaRDI QIDQ5208240

Gonzalo E. Reyes

Publication date: 15 January 2020

Published in: History and Philosophy of Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1080/01445340.2018.1554471

Mathematics Subject Classification ID

History of mathematics in the 20th century (01A60) Biographies, obituaries, personalia, bibliographies (01A70) Categorical logic, topoi (03G30) History of mathematical logic and foundations (03-03)

Cites Work

• Constructivism in mathematics. An introduction. Volume II
• Sheaves in geometry and logic: a first introduction to topos theory
• Toposes without points
• First order categorical logic. Model-theoretical methods in the theory of topoi and related categories
• Théorie des modeles et faisceaux
• Completeness results for intuitionistic and modal logic in a categorical setting
• La logique des topos
• Adjointness in Foundations
• A note on tangent bundles in a category with a ring object.
• Synthetic Differential Topology
• The completeness theorem for infinitary logic
• FUNCTORIAL SEMANTICS OF ALGEBRAIC THEORIES
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Topos Theory in Montréal in the 1970s: My Personal Involvement