Topos Theory in Montréal in the 1970s: My Personal Involvement
From MaRDI portal
Publication:5208240
DOI10.1080/01445340.2018.1554471zbMath1427.03008OpenAlexW2912929253WikidataQ115443948 ScholiaQ115443948MaRDI QIDQ5208240
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
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