On the Recursivity of Finite Sets

Mathematical Logic Quarterly 7 (7-10):136-140 (1961)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Links

PhilArchive



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

External links

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

Through your library

Similar books and articles

On the Recursivity of Finite Sets.Ronald Harrop - 1961 - Mathematical Logic Quarterly 7 (7‐10):136-140.
The ordertype of β-r.E. Sets.Klaus Sutner - 1990 - Journal of Symbolic Logic 55 (2):573-576.
Index sets in the arithmetical Hierarchy.Ulrike Brandt - 1988 - Annals of Pure and Applied Logic 37 (2):101-110.
The First-Order Structure of Weakly Dedekind-Finite Sets.A. C. Walczak-Typke - 2005 - Journal of Symbolic Logic 70 (4):1161 - 1170.
Sets and Point-Sets: Five Grades of Set-Theoretic Involvement in Geometry.John P. Burgess - 1988 - PSA: Proceedings of the Biennial Meeting of the Philosophy of Science Association 1988:456 - 463.
A hierarchy of hereditarily finite sets.Laurence Kirby - 2008 - Archive for Mathematical Logic 47 (2):143-157.
Approximate decidability in euclidean spaces.Armin Hemmerling - 2003 - Mathematical Logic Quarterly 49 (1):34-56.
Powers of 2.Kyriakos Keremedis & Horst Herrlich - 1999 - Notre Dame Journal of Formal Logic 40 (3):346-351.
Powers of.Kyriakos Keremedis & Horst Herrlich - 1999 - Notre Dame Journal of Formal Logic 40 (3):346-351.
Topological complexity of locally finite ω-languages.Olivier Finkel - 2008 - Archive for Mathematical Logic 47 (6):625-651.
Finite Contractions on Infinite Belief Sets.Sven Ove Hansson - 2012 - Studia Logica 100 (5):907-920.
Odd-sized partitions of Russell-sets.Horst Herrlich & Eleftherios Tachtsis - 2010 - Mathematical Logic Quarterly 56 (2):185-190.

Analytics

Added to PP
2016-02-04

Downloads
16 (#905,800)

6 months
2 (#1,196,523)

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

Theory of Recursive Functions and Effective Computability.Hartley Rogers - 1971 - Journal of Symbolic Logic 36 (1):141-146.

Add more references