Arithmetical Analogues of Productive and Universal Sets

Mathematical Logic Quarterly 28 (14-18):203-210 (1982)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1002/malq.19820281403

Links

PhilArchive



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

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

Arithmetical Sets and Retracing Functions.C. E. M. Yates - 1967 - Mathematical Logic Quarterly 13 (13-14):193-204.
On contraproductive sets which are not productive.T. G. McLagughlin - 1964 - Mathematical Logic Quarterly 10 (4):49-52.
An Isomorphism Type of Arithmetically Productive Sets.Bruce M. Horowitz - 1982 - Mathematical Logic Quarterly 28 (14-18):211-214.
Index Sets Universal for Differences of Arithmetic Sets.Louise Hay - 1974 - Mathematical Logic Quarterly 20 (13‐18):239-254.
Universal and complete sets in martingale theory.Dominique Lecomte & Miroslav Zelený - 2018 - Mathematical Logic Quarterly 64 (4-5):312-335.
Universal Decision Elements in m‐Valued Logic.John Loader - 1972 - Mathematical Logic Quarterly 18 (13‐15):205-216.
An alternative concept of the universal decision element in m -valued logic.John Loader - 1975 - Mathematical Logic Quarterly 21 (1):369-375.
On two complete sets in the analytical and the arithmetical hierarchies.Shlomo Vinner - 1975 - Archive for Mathematical Logic 17 (3-4):81-84.
Arithmetical Reducibilities II.Alan L. Selman - 1972 - Mathematical Logic Quarterly 18 (4‐6):83-92.
On the existence of universal numberings for finite families of d.c.e. sets.Kuanysh Abeshev - 2014 - Mathematical Logic Quarterly 60 (3):161-167.

Analytics

Added to PP
2014-01-16

Downloads
21 (#762,344)

6 months
1 (#1,516,021)

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.
Theory of Formal Systems.Raymond M. Smullyan - 1965 - Journal of Symbolic Logic 30 (1):88-90.

Add more references