More download options

Analysing choice sequences

A. S. Troelstra

Journal of Philosophical Logic 12 (2):197 - 260 (1983) Copy BIBT_EX

Abstract

This article has no associated abstract. (fix it)

Cite

Plain text

BibTeX

Formatted text

Reference Manager

RefWorks

Options

Mark as duplicate

Find it on Scholar

Request removal from index

Revision history

Author's Profile

Last affiliation: University of Amsterdam

Categories

Logic and Philosophy of Logic

Keywords

Reprint years

DOI

10.1007/bf00247189

Links

PhilArchive

Upload a copy of this work Papers currently archived: 92,227

External links

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

Through your library

Sign in / register and customize your OpenURL resolver
Configure custom resolver

My notes

Sign in to use this feature

Similar books and articles

Dynamic Choice Mechanisms.Ludwig von Auer - 1999 - Theory and Decision 46 (3):295-312.

Relative lawlessness in intuitionistic analysis.Joan Rand Moschovakis - 1987 - Journal of Symbolic Logic 52 (1):68-88.

Brouwer meets Husserl: on the phenomenology of choice sequences.Markus Sebastiaan Paul Rogier van Atten - 2007 - Dordrecht: Springer.

Busy choice sequences refraining formulas and modalities.Ming Xu - 1995 - Studia Logica 54 (3):267 - 301.

Informal theory of choice sequences.A. S. Troelstra - 1969 - Studia Logica 25 (1):31 - 54.

Brouwer and Weyl: The phenomenology and mathematics of the intuitive continuumt.Mark van Atten, Dirk van Dalen & Richard Tieszen - 2002 - Philosophia Mathematica 10 (2):203-226.

Choice sequences: a chapter of intuitionistic mathematics.Anne Sjerp Troelstra - 1977 - Oxford [Eng.]: Clarendon Press.

General random sequences and learnable sequences.C. P. Schnorr & P. Fuchs - 1977 - Journal of Symbolic Logic 42 (3):329-340.

Spreads or choice sequences?H. C. M. De Swart - 1992 - History and Philosophy of Logic 13 (2):203-213.

Choice sequences and informal rigour.A. S. Troelstra - 1985 - Synthese 62 (2):217 - 227.

Analytics

Added to PP
2009-01-28

Downloads
56 (#287,207)

6 months
12 (#220,085)

Historical graph of downloads

How can I increase my downloads?

Author's Profile

Last affiliation: University of Amsterdam

Citations of this work

Brouwer and Weyl: The Phenomenology and Mathematics of the Intuitive Continuum.Mark van Atten, Dirk van Dalen & Richard Tieszen - 2002 - Philosophia Mathematica 10 (2):203-226.

Labyrinth of Continua.Patrick Reeder - 2018 - Philosophia Mathematica 26 (1):1-39.

Arguments for the continuity principle.Mark van Atten & Dirk van Dalen - 2002 - Bulletin of Symbolic Logic 8 (3):329-347.

Existence Assumptions and Logical Principles: Choice Operators in Intuitionistic Logic.Corey Edward Mulvihill - 2015 - Dissertation, University of Waterloo

Brouwer's Conception of Truth.Casper Storm Hansen - 2016 - Philosophia Mathematica 24 (3):379-400.

View all 12 citations / Add more citations

References found in this work

Elements of Intuitionism.Michael Dummett - 1977 - New York: Oxford University Press. Edited by Roberto Minio.

Metamathematical investigation of intuitionistic arithmetic and analysis.Anne S. Troelstra - 1973 - New York,: Springer.

Informal Rigour and Completeness Proofs.Georg Kreisel - 1967 - In Imre Lakatos (ed.), Problems in the Philosophy of Mathematics. North-Holland. pp. 138--157.

The Type Theoretic Interpretation of Constructive Set Theory.Peter Aczel, Angus Macintyre, Leszek Pacholski & Jeff Paris - 1984 - Journal of Symbolic Logic 49 (1):313-314.

Choice sequences: a chapter of intuitionistic mathematics.Anne Sjerp Troelstra - 1977 - Oxford [Eng.]: Clarendon Press.

View all 25 references / Add more references