Journal of Symbolic Logic 31 (4):573-574 (1966)

In this note is proved the following:Theorem.Iƒ A × B is universal and one oƒ A, B is r.e. then one of A, B is universal.Letα, τbe 1-argument recursive functions such thatxgoes to, τ) is a map of the natural numbers onto all ordered pairs of natural numbers. A set A of natural numbers is calleduniversalif every r.e. set is reducible to A; A × B is calleduniversalif the set.
Keywords No keywords specified (fix it)
Categories (categorize this paper)
DOI 10.2307/2269692
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

PhilArchive copy

Upload a copy of this paper     Check publisher's policy     Papers currently archived: 71,512
Through your library

References found in this work BETA

Theory of Formal Systems.Raymond M. Smullyan - 1965 - Journal of Symbolic Logic 30 (1):88-90.

Add more references

Citations of this work BETA

Bounded Immunity and Btt‐Reductions.Stephen Fenner & Marcus Schaefer - 1999 - Mathematical Logic Quarterly 45 (1):3-21.
Cuppability of Simple and Hypersimple Sets.Martin Kummer & Marcus Schaefer - 2007 - Notre Dame Journal of Formal Logic 48 (3):349-369.
Classes Bounded by Incomplete Sets.Kejia Ho & Frank Stephan - 2002 - Annals of Pure and Applied Logic 116 (1-3):273-295.

Add more citations

Similar books and articles

On Subcreative Sets and S-Reducibility.John T. Gill Iii & Paul H. Morris - 1974 - Journal of Symbolic Logic 39 (4):669 - 677.
Axiomatizing Universal Properties of Quantifiers.Kees Doets - 1991 - Journal of Symbolic Logic 56 (3):901-905.
Quantifier Elimination for Neocompact Sets.H. Jerome Keisler - 1998 - Journal of Symbolic Logic 63 (4):1442-1472.
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.


Added to PP index

Total views
18 ( #611,438 of 2,520,895 )

Recent downloads (6 months)
1 ( #405,457 of 2,520,895 )

How can I increase my downloads?


My notes