Projections of lawless sequences

&
In A. Kino, John Myhill & Richard Eugene Vesley (eds.), Intuitionism and proof theory. Amsterdam,: North-Holland Pub. Co. (1970)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

Links

PhilArchive



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

External links

  • This entry has no external links. Add one.
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

Relative lawlessness in intuitionistic analysis.Joan Rand Moschovakis - 1987 - Journal of Symbolic Logic 52 (1):68-88.
Choice sequences and informal rigour.A. S. Troelstra - 1985 - Synthese 62 (2):217 - 227.
Spreads or choice sequences?H. C. M. De Swart - 1992 - History and Philosophy of Logic 13 (2):203-213.
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.
Negationless intuitionism.Enrico Martino - 1998 - Journal of Philosophical Logic 27 (2):165-177.
Decidability in the Constructive Theory of Reals as an Ordered ℚ‐vectorspace.Miklós Erdélyi-Szabó - 1997 - Mathematical Logic Quarterly 43 (3):343-354.
General random sequences and learnable sequences.C. P. Schnorr & P. Fuchs - 1977 - Journal of Symbolic Logic 42 (3):329-340.
Economy of structure in ot.Jane Grimshaw - manuscript
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.
How does the body get into the mind?Wolff-Michael Roth & Daniel V. Lawless - 2002 - Human Studies 25 (3):333-358.
Van Gogh and His Doctors: Projections and Counter-Projections.Milly Heyd - 2011 - The European Legacy 16 (3):355-362.
MAD families of projections on l2 and real-valued functions on ω.Tristan Bice - 2011 - Archive for Mathematical Logic 50 (7-8):791-801.
Relative Kolmogorov complexity and geometry.Stephen Binns - 2011 - Journal of Symbolic Logic 76 (4):1211-1239.

Analytics

Added to PP
2014-01-28

Downloads
0

6 months
0

Historical graph of downloads

Sorry, there are not enough data points to plot this chart.
How can I increase my downloads?

Author Profiles

Anne Troelstra
Last affiliation: University of Amsterdam
Dirk Van Dalen
Utrecht University

Citations of this work

Analysing choice sequences.A. S. Troelstra - 1983 - Journal of Philosophical Logic 12 (2):197 - 260.
Hermann Weyl's intuitionistic mathematics.Dirk van Dalen - 1995 - Bulletin of Symbolic Logic 1 (2):145-169.
Brouwer's constructivism.Carl J. Posy - 1974 - Synthese 27 (1-2):125 - 159.
Arguments for the continuity principle.Mark van Atten & Dirk van Dalen - 2002 - Bulletin of Symbolic Logic 8 (3):329-347.
Realizing Brouwer's sequences.Richard E. Vesley - 1996 - Annals of Pure and Applied Logic 81 (1-3):25-74.

View all 7 citations / Add more citations

References found in this work

No references found.

Add more references