Any FIP real computes a 1-generic
Any FIP real computes a 1-generic
About this item
Full title
Author / Creator
Publisher
Providence, Rhode Island: American Mathematical Society
Journal title
Language
English
Formats
Publication information
Publisher
Providence, Rhode Island: American Mathematical Society
Subjects
More information
Scope and Contents
Contents
We construct a computable sequence of computable reals ⟨Xi⟩\langle X_i\rangle such that any real that can compute a subsequence that is maximal with respect to the finite intersection property can also compute a Cohen 1-generic. This is extended to establish the same result with 2IP in place of FIP. This is the first example of a classical theorem...
Alternative Titles
Full title
Any FIP real computes a 1-generic
Authors, Artists and Contributors
Author / Creator
Identifiers
Primary Identifiers
Record Identifier
TN_cdi_crossref_primary_10_1090_tran_6997
Permalink
https://devfeature-collection.sl.nsw.gov.au/record/TN_cdi_crossref_primary_10_1090_tran_6997
Other Identifiers
ISSN
0002-9947
E-ISSN
1088-6850
DOI
10.1090/tran/6997
