What is the world of mathematics?

DOI10.1016/J.APAL.2003.10.014zbMath1076.03044OpenAlexW2033086528MaRDI QIDQ598279

No author found.

Publication date: 6 August 2004

Published in: Annals of Pure and Applied Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.apal.2003.10.014

zbMATH Keywords

category of setsintuitionistic type theoryelementary mathematicsfree toposlanguage of mathematicslocal toposes

Mathematics Subject Classification ID

Categorical logic, topoi (03G30) Topoi (18B25) Axiomatics of classical set theory and its fragments (03E30) Intuitionistic mathematics (03F55)

Related Items (4)

The future of mathematics in economics: a philosophically grounded proposal ⋮ Sheaf representation of monoidal categories ⋮ The scope of Gödel's first incompleteness theorem ⋮ Sheaf Representations and Duality in Logic

Cites Work

• Are the traditional philosophies of mathematics really incompatible?
• Sheaf representation for topoi
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: What is the world of mathematics?