P. Lorenzen and J. Myhill. Constructive definition of certain analytic sets of numbers. The journal of symbolic logic, vol. 24 no. 1 , pp. 37–49

Journal of Symbolic Logic 33 (2):295 (1968)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2269898

Links

PhilArchive



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

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

Review: P. Lorenzen, J. Myhill, Constructive Definition of Certain Analytic Sets of Numbers. [REVIEW]A. Nerode - 1968 - Journal of Symbolic Logic 33 (2):295-295.
Constructive definition of certain analytic sets of numbers.P. Lorenzen & J. Myhill - 1959 - Journal of Symbolic Logic 24 (1):37-49.
Constructive Definition of Certain Analytic Sets of Numbers.P. Lorenzen & J. Myhill - 1968 - Journal of Symbolic Logic 33 (2):295-295.
John Myhill. Constructive set theory. The journal of symbolic logic, vol. 40 , pp. 347–382. - Harvey Friedman. Set theoretic foundations for constructive analysis. Annals of mathematics, ser. 2 vol. 105 , pp. 1–28. [REVIEW]R. J. Grayson - 1981 - Journal of Symbolic Logic 46 (4):868-870.
J. C. E. Dekker and J. Myhill. Retraceable sets. Canadian journal of mathematics, vol. 10 , pp. 357–373. [REVIEW]A. Nerode - 1962 - Journal of Symbolic Logic 27 (1):84-85.
The natural numbers in constructive set theory.Michael Rathjen - 2008 - Mathematical Logic Quarterly 54 (1):83-97.
J. C. E. Dekker and J. Myhill. Retraceable sets. Canadian journal of mathematics, vol. 10 , pp. 357–373.A. Nerode - 1962 - Journal of Symbolic Logic 27 (1):84-85.
Review: Errett Bishop, Foundations of Constructive Analysis; Errett Bishop, A. Kino, J. Myhill, R. E. Vesley, Mathematics as a Numerical Language. [REVIEW]John Myhill - 1972 - Journal of Symbolic Logic 37 (4):744-747.
Λ-scales, κ-souslin sets and a new definition of analytic sets.Douglas R. Busch - 1976 - Journal of Symbolic Logic 41 (2):373-378.
Akademische Gedenkfeier für Paul Lorenzen: am 10. November 1995.Christian Thiel - 1998
Constructive set theory.John Myhill - 1975 - Journal of Symbolic Logic 40 (3):347-382.
$lambda$-Scales, $kappa$-Souslin Sets and a New Definition of Analytic Sets.Douglas R. Busch - 1976 - Journal of Symbolic Logic 41 (2):373-378.
John Myhill. Criteria of construclibility for real numbers. The journal of symbolic logic, vol. 18 , pp. 7–10.Martin Davis - 1955 - Journal of Symbolic Logic 20 (2):178.
Myhill John. Constructive set theory.R. J. Grayson - 1981 - Journal of Symbolic Logic 46 (4):868-870.
Constructive Set Theory.John Myhill & Harvey Friedman - 1981 - Journal of Symbolic Logic 46 (4):868-870.

Analytics

Added to PP
2016-06-30

Downloads
4 (#1,617,803)

6 months
1 (#1,469,469)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references