Sets which do not have subsets of every higher degree

Journal of Symbolic Logic 43 (1):135-138 (1978)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2271956

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 93,612

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

Sets without Subsets of Higher Many-One Degree.Patrizio Cintioli - 2005 - Notre Dame Journal of Formal Logic 46 (2):207-216.
A note on degrees of subsets.Robert I. Soare - 1969 - Journal of Symbolic Logic 34 (2):256.
Review: Stephen G. Simpson, Subsystems of Second Order Arithmetic. [REVIEW]Peter Cholak - 1999 - Journal of Symbolic Logic 64 (3):1356-1357.
Review: Stephen G. Simpson, Friedman's Research on Subsystems of Second Order Arithmetic. [REVIEW]Wilfried Sieg - 1990 - Journal of Symbolic Logic 55 (2):870-874.
Review: Stephen G. Simpson, Nonprovability of Certain Combinatorial Properties of Finite Trees. [REVIEW]W. Buchholz - 1990 - Journal of Symbolic Logic 55 (2):868-869.
Review: Harvey M. Friedman, Stephen G. Simpson, Rick L. Smith, Countable Algebra and Set Existence Axioms; Harvey M. Friedman, Stephen G. Simpson, Rick L. Smith, Addendum to "Countable Algebra and Set Existence Axioms.". [REVIEW]Peter G. Clote - 1987 - Journal of Symbolic Logic 52 (1):276-278.
Harvey M. Friedman, Stephen G. Simpson, and Rick L. Smith. Countable algebra and set existence axioms. Annals of pure and applied logic, vol. 25 , pp. 141–181. - Harvey M. Friedman, Stephen G. Simpson, and Rick L. Smith. Addendum to “Countable algebra and set existence axioms.” Annals of pure and applied logic, vol. 28 , pp. 319–320. [REVIEW]Peter G. Clote - 1987 - Journal of Symbolic Logic 52 (1):276-278.
Stephen G. Simpson. Subsystems of second order arithmetic. Perspectives in mathematical logic. Springer, Berlin, Heidelberg, New York, etc., 1999, xiv + 445 pp. [REVIEW]Peter Cholak - 1999 - Journal of Symbolic Logic 64 (3):1356-1357.
Stephen G. Simpson. Friedman's research on subsystems of second order arithmetic. Harvey Friedman's research on the foundations of mathematics, edited by L. A. Harrington, M. D. Morley, A. S̆c̆edrov, and S. G. Simpson, Studies in logic and the foundations of mathematics, vol. 117, North-Holland, Amsterdam, New York, and Oxford, 1985, pp. 137–159. [REVIEW]Wilfried Sieg - 1990 - Journal of Symbolic Logic 55 (2):870-874.
Review: Stephen Simpson, Logic and Combinatorics. [REVIEW]P. Clote - 1992 - Journal of Symbolic Logic 57 (4):1491-1497.

Analytics

Added to PP
2009-01-28

Downloads
52 (#100,421)

6 months
17 (#859,272)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

The Galvin-Prikry theorem and set existen axioms.Kazuyuki Tanaka - 1989 - Annals of Pure and Applied Logic 42 (1):81-104.
Low sets without subsets of higher many-one degree.Patrizio Cintioli - 2011 - Mathematical Logic Quarterly 57 (5):517-523.
Sets without Subsets of Higher Many-One Degree.Patrizio Cintioli - 2005 - Notre Dame Journal of Formal Logic 46 (2):207-216.

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.
Annals of Mathematical Logic: Announcement of a New Periodical.[author unknown] - 1969 - Journal of Symbolic Logic 34 (3):532-532.

Add more references