Needed reals and recursion in generic reals

Authors
Citation
A. Blass, Needed reals and recursion in generic reals, ANN PUR APP, 109(1-2), 2001, pp. 77-88
Citations number
11
Categorie Soggetti
Mathematics
Journal title
ANNALS OF PURE AND APPLIED LOGIC
ISSN journal
01680072 → ACNP
Volume
109
Issue
1-2
Year of publication
2001
Pages
77 - 88
Database
ISI
SICI code
0168-0072(20010515)109:1-2<77:NRARIG>2.0.ZU;2-C
Abstract
We consider sets of reals that are "adequate" in various senses, for exampl e dominating or unbounded or splitting or non-meager. Call a real x "needed " (in any of these senses) if every adequate set contains a real in which x is recursive. We characterize the needed reals for numerous senses of "ade quate." We also consider, for various notions of forcing that add reals, th e problem of characterizing the ground-model reals that are recursive in ge neric reals. (C) 2001 Elsevier Science B.V. All rights reserved.