Constructive Definition of Certain Analytic Sets of Numbers

&
Journal of Symbolic Logic 33 (2):295-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: 92,758

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

Constructive definition of certain analytic sets of numbers.P. Lorenzen & J. Myhill - 1959 - Journal of Symbolic Logic 24 (1):37-49.
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.
The natural numbers in constructive set theory.Michael Rathjen - 2008 - Mathematical Logic Quarterly 54 (1):83-97.
Inductive Inference and Stability.Peter David Turney - 1988 - Dissertation, University of Toronto (Canada)
Impure Sets Are Not Located: A Fregean Argument.Roy T. Cook - 2012 - Thought: A Journal of Philosophy 1 (3):219-229.
Λ-scales, κ-souslin sets and a new definition of analytic sets.Douglas R. Busch - 1976 - Journal of Symbolic Logic 41 (2):373-378.
$lambda$-Scales, $kappa$-Souslin Sets and a New Definition of Analytic Sets.Douglas R. Busch - 1976 - Journal of Symbolic Logic 41 (2):373-378.
The continuum as a formal space.Sara Negri & Daniele Soravia - 1999 - Archive for Mathematical Logic 38 (7):423-447.
Monotone inductive definitions in a constructive theory of functions and classes.Shuzo Takahashi - 1989 - Annals of Pure and Applied Logic 42 (3):255-297.
Constructive complements of unions of two closed sets.Douglas S. Bridges - 2004 - Mathematical Logic Quarterly 50 (3):293.
A Difficulty with the Frege-Russell Definition of Number.Robert Hambourger - 1977 - Journal of Philosophy 74 (7):409-414.
Constructive completions of ordered sets, groups and fields.Erik Palmgren - 2005 - Annals of Pure and Applied Logic 135 (1-3):243-262.
On the formal points of the formal topology of the binary tree.Silvio Valentini - 2002 - Archive for Mathematical Logic 41 (7):603-618.
Kant's theory of definition.Lewis White Beck - 1956 - Philosophical Review 65 (2):179-191.
Kant's Theory of Definition.Lewis Beck - 2013 - Eidos: Revista de Filosofía de la Universidad Del Norte 18:178-197.

Analytics

Added to PP
2017-02-21

Downloads
5 (#1,556,420)

6 months
1 (#1,507,095)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Predicativity.Solomon Feferman - 2005 - In Stewart Shapiro (ed.), Oxford Handbook of Philosophy of Mathematics and Logic. Oxford: Oxford University Press. pp. 590-624.
Paradoxes.John Myhill - 1984 - Synthese 60 (1):129 - 143.
Levels of Truth.Andrea Cantini - 1995 - Notre Dame Journal of Formal Logic 36 (2):185-213.
Abstraction in Fitch's Basic Logic.Eric Thomas Updike - 2012 - History and Philosophy of Logic 33 (3):215-243.

Add more citations

References found in this work

No references found.

Add more references