Recursive in a generic real

Authors
Shinoda, J Slaman, TA
Citation
J. Shinoda et Ta. Slaman, Recursive in a generic real, J SYMB LOG, 65(1), 2000, pp. 164-172
Citations number
2
Categorie Soggetti
Mathematics
Journal title
JOURNAL OF SYMBOLIC LOGIC
ISSN journal
00224812 → ACNP
Volume
65
Issue
1
Year of publication
2000
Pages
164 - 172
Database
ISI
SICI code
0022-4812(200003)65:1<164:RIAGR>2.0.ZU;2-Y
Abstract
There is a comeager set C contained in the set of 1-generic reals and a fir st order structure M such that for any real number X, there is an element o f C which is recursive in X if and only if there is a presentation of M whi ch is recursive in X.