Sets, Topoi and Intuitionism

Philosophia Mathematica 6 (2):169-177 (1998)
  Copy   BIBTEX

Abstract

This paper aims to give an informal introduction to the ways in which a topos can be viewed as an intuitionistic universe of sets. In particular, it is explained how infinitesimal real numbers and various types of ordinal numbers arise in this context

Categories

Keywords

Reprint years

DOI

10.1093/philmat/6.2.169

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 101,636

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

On the ordered Dedekind real numbers in toposes.Marcelo E. Coniglio & Luís A. Sbardellini - 2015 - In Edward H. Haeusler, Wagner Sanz & Bruno Lopes (eds.), Why is this a Proof? Festschrift for Luiz Carlos Pereira. College Publications. pp. 87-105.
Dummett's Argument for the Indefinite Extensibility of Set and Real Number.Peter Clark - 1998 - Grazer Philosophische Studien 55 (1):51-63.
Dummett's Argument for the Indefinite Extensibility of Set and Real Number.Peter Clark - 1998 - Grazer Philosophische Studien 55 (1):51-63.
In Defense of Benacerraf’s Multiple-Reductions Argument.Michele Ginammi - 2019 - Philosophia Mathematica 27 (2):276-288.
Finite Sets and Natural Numbers in Intuitionistic TT.Daniel Dzierzgowski - 1996 - Notre Dame Journal of Formal Logic 37 (4):585-601.
A new applied approach for executing computations with infinite and infinitesimal quantities.Yaroslav D. Sergeyev - 2008 - Informatica 19 (4):567-596.
Idealist and Realist Elements in Cantor's Approach to Set Theory.I. Jane - 2010 - Philosophia Mathematica 18 (2):193-226.
Vieri Benci and Mauro Di Nasso. How to Measure the Infinite: Mathematics with Infinite and Infinitesimal Numbers.Sylvia Wenmackers - 2022 - Philosophia Mathematica 30 (1):130-137.
Continuity and logical completeness: an application of sheaf theory and topoi.Steve Awodey - 2006 - In Johan van Benthem, Gerhard Heinzman, M. Rebushi & H. Visser (eds.), The Age of Alternative Logics: Assessing Philosophy of Logic and Mathematics Today. Dordrecht, Netherland: Springer. pp. 139--149.
Numbers.Penelope Maddy - 1990 - In Realism in mathematics. New York: Oxford University Prress.

Analytics

Added to PP
2012-04-07

Downloads
67 (#316,920)

6 months
14 (#236,708)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Category theory.Jean-Pierre Marquis - 2008 - Stanford Encyclopedia of Philosophy.

Add more citations

References found in this work

No references found.

Add more references