Sets, Topoi and Intuitionism

DOI10.1093/philmat/6.2.169zbMath0913.18003OpenAlexW2153946988MaRDI QIDQ4224765

Ieke Moerdijk

Publication date: 31 May 1999

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

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

zbMATH Keywords

synthetic differential geometryelementary topos

Mathematics Subject Classification ID

Categorical logic, topoi (03G30) Topoi (18B25) Intuitionistic mathematics (03F55) Synthetic differential geometry (51K10) Topos-theoretic approach to differentiable manifolds (58A03)

This page was built for publication: Sets, Topoi and Intuitionism