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.

Other Versions

No versions found

Links

PhilArchive



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

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

Relative lawlessness in intuitionistic analysis.Joan Rand Moschovakis - 1987 - Journal of Symbolic Logic 52 (1):68-88.
Spreads or choice sequences?H. C. M. De Swart - 1992 - History and Philosophy of Logic 13 (2):203-213.
A Classical Modal Theory of Lawless Sequences.Ethan Brauer - 2023 - Bulletin of Symbolic Logic 29 (3):406-452.
More about relatively lawless sequences.Joan Rand Moschovakis - 1994 - Journal of Symbolic Logic 59 (3):813-829.
Concepts and Axioms.A. S. Troelstra - 1998 - Philosophia Mathematica 6 (2):195-208.
Realizing Brouwer's sequences.Richard E. Vesley - 1996 - Annals of Pure and Applied Logic 81 (1-3):25-74.
Informal theory of choice sequences.A. S. Troelstra - 1969 - Studia Logica 25 (1):31 - 54.
Pigeonhole and Choice Principles.Wolfgang Degen - 2000 - Mathematical Logic Quarterly 46 (3):313-334.
Arguments for the continuity principle.Mark van Atten & Dirk van Dalen - 2002 - Bulletin of Symbolic Logic 8 (3):329-347.
Projections of lawless sequences.D. Van Dalen & A. S. Troelstra - 1970 - In A. Kino, John Myhill & Richard Eugene Vesley (eds.), Intuitionism and proof theory. Amsterdam,: North-Holland Pub. Co..

Analytics

Added to PP
2009-01-28

Downloads
72 (#291,282)

6 months
9 (#482,469)

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.

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 University Press. pp. 470-485.

View all 12 references / Add more references