The Theory of Choice Sequences

Journal of Symbolic Logic 38 (2):332-332 (1973)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 90,616

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

Choice sequences and informal rigour.A. S. Troelstra - 1985 - Synthese 62 (2):217 - 227.
Relative lawlessness in intuitionistic analysis.Joan Rand Moschovakis - 1987 - Journal of Symbolic Logic 52 (1):68-88.
Cofinally Invariant Sequences and Revision.Edoardo Rivello - 2015 - Studia Logica 103 (3):599-622.
Informal theory of choice sequences.A. S. Troelstra - 1969 - Studia Logica 25 (1):31 - 54.
Analysing choice sequences.A. S. Troelstra - 1983 - Journal of Philosophical Logic 12 (2):197 - 260.
On the Cauchy completeness of the constructive Cauchy reals.Robert S. Lubarsky - 2007 - Mathematical Logic Quarterly 53 (4‐5):396-414.

Analytics

Added to PP
2015-02-05

Downloads
6 (#1,269,502)

6 months
2 (#668,348)

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.
Brouwer's constructivism.Carl J. Posy - 1974 - Synthese 27 (1-2):125 - 159.
The knowing mathematician.Nicolas D. Goodman - 1984 - Synthese 60 (1):21 - 38.

Add more citations

References found in this work

No references found.

Add more references