Choice sequences and informal rigour

Synthese 62 (2):217 - 227 (1985)
  Copy   BIBTEX

Abstract

In this paper we discuss a particular example of the passage from the informal, but rigorous description of a concept to the axiomatic formulation of principles holding for the concept; in particular, we look at the principles of continuity and lawlike choice in the theory of lawless sequences. Our discussion also leads to a better understanding of the rôle of the so-called density axiom for lawless sequences.

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,386

External links

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

Through your library

Similar books and articles

Analytics

Added to PP
2009-01-28

Downloads
60 (#262,432)

6 months
4 (#790,687)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Anne Troelstra
Last affiliation: University of Amsterdam

Citations of this work

Analysing choice sequences.A. S. Troelstra - 1983 - Journal of Philosophical Logic 12 (2):197 - 260.
Arguments for the continuity principle.Mark van Atten & Dirk van Dalen - 2002 - Bulletin of Symbolic Logic 8 (3):329-347.
Arguments for the Continuity Principle.Mark Van Atten & Dirk Van Dalen - 2002 - Bulletin of Symbolic Logic 8 (3):329 - 347.
Arguments for the Continuity Principle. [REVIEW]Mark van Atten & Dirk van Dalen - 2002 - Bulletin of Symbolic Logic 8 (3):329-347.

Add more citations

References found in this work

The iterative conception of set.George Boolos - 1971 - Journal of Philosophy 68 (8):215-231.
What is Cantor's Continuum Problem?Kurt Gödel - 1947 - The American Mathematical Monthly 54 (9):515--525.
What is Cantor's Continuum Problem?Kurt Gödel - 1983 - In Paul Benacerraf & Hilary Putnam (eds.), Philosophy of Mathematics: Selected Readings (2nd Edition). Cambridge: Cambridge University Press. pp. 470-485.

View all 12 references / Add more references