Journal of Symbolic Logic 31 (4):573-574 (1966)
Abstract |
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 |
Options |
![]() ![]() ![]() ![]() |
Download options
References found in this work BETA
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.
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.
Three Universal Representations of Recursively Enumerable Sets.James P. Jones - 1978 - Journal of Symbolic Logic 43 (2):335-351.
Quantifier Elimination for Neocompact Sets.H. Jerome Keisler - 1998 - Journal of Symbolic Logic 63 (4):1442-1472.
A Note on Partial Postulate Sets for Propositional Logic.Stig Kanger - 1955 - Theoria 21 (2-3):99-104.
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.
Analytics
Added to PP index
2009-01-28
Total views
18 ( #611,438 of 2,520,895 )
Recent downloads (6 months)
1 ( #405,457 of 2,520,895 )
2009-01-28
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?
Downloads