On Choice Sequences Determined by Spreads

&
Journal of Symbolic Logic 49 (3):908 - 916 (1984)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2274144

Links

PhilArchive



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

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 choice sequences determined by spreads.Gerritder Hoeven & Ieke Moerdijk - 1984 - Journal of Symbolic Logic 49 (3):908 - 916.
Spreads or choice sequences?H. C. M. De Swart - 1992 - History and Philosophy of Logic 13 (2):203-213.
Brouwer meets Husserl: on the phenomenology of choice sequences.Markus Sebastiaan Paul Rogier van Atten - 2007 - Dordrecht: Springer.
Choice sequences and informal rigour.A. S. Troelstra - 1985 - Synthese 62 (2):217 - 227.
Busy choice sequences refraining formulas and modalities.Ming Xu - 1995 - Studia Logica 54 (3):267 - 301.
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.
Relative lawlessness in intuitionistic analysis.Joan Rand Moschovakis - 1987 - Journal of Symbolic Logic 52 (1):68-88.
Psychic determinism: Leibniz and Freud.A. Gombay - 1991 - International Studies in the Philosophy of Science 5 (3):205 – 213.
The act of choice.Richard Holton - 2006 - Philosophers' Imprint 6:1-15.
General random sequences and learnable sequences.C. P. Schnorr & P. Fuchs - 1977 - Journal of Symbolic Logic 42 (3):329-340.
Extending OpenMath with Sequences.Fulya Horozal, Florian Rabe & Michael Kohlhase - unknown
Incomplete descriptions and (reverse) Sobel sequences.Mirja Annalena Holst - 2013 - Analysis 73 (1):26-32.

Analytics

Added to PP
2009-01-28

Downloads
40 (#397,334)

6 months
3 (#969,763)

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

Formal systems for some branches of intuitionistic analysis.G. Kreisel - 1970 - Annals of Mathematical Logic 1 (3):229.

Add more references