Reals n-Generic Relative to Some Perfect Tree

Journal of Symbolic Logic 73 (2):401 - 411 (2008)

We say that a real X is n-generic relative to a perfect tree T if X is a path through T and for all $\Sigma _{n}^{0}(T)$ sets S, there exists a number k such that either X|k ∈ S or for all σ ∈ T extending X|k we have σ ∉ S. A real X is n-generic relative to some perfect tree if there exists such a T. We first show that for every number n all but countably many reals are n-generic relative to some perfect tree. Second, we show that proving this statement requires ZFC− + "∃ infinitely many iterates of the power set of ω". Third, we prove that every finite iterate of the hyperjump. ${\cal O}^{(n)}$ , is not 2-generic relative to any perfect tree and for every ordinal α below the least λ such that supβ<i (βth admissible) = λ, the iterated hyperjump ${\cal O}^{(\alpha)}$ is not 5-generic relative to any perfect tree. Finally, we demonstrate some necessary conditions for reals to be 1-generic relative to some perfect tree
Keywords No keywords specified (fix it)
Categories (categorize this paper)
DOI 10.2178/jsl/1208359051
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

Our Archive

Upload a copy of this paper     Check publisher's policy     Papers currently archived: 47,182
Through your library

References found in this work BETA

Add more references

Citations of this work BETA

No citations found.

Add more citations

Similar books and articles

Subclasses of the Weakly Random Reals.Johanna N. Y. Franklin - 2010 - Notre Dame Journal of Formal Logic 51 (4):417-426.
On Non-Wellfounded Iterations of the Perfect Set Forcing.Vladimir Kanovei - 1999 - Journal of Symbolic Logic 64 (2):551-574.
Mapping a Set of Reals Onto the Reals.Arnold W. Miller - 1983 - Journal of Symbolic Logic 48 (3):575-584.
Relative Randomness and Real Closed Fields.Alexander Raichev - 2005 - Journal of Symbolic Logic 70 (1):319 - 330.
Relative Randomness and Cardinality.George Barmpalias - 2010 - Notre Dame Journal of Formal Logic 51 (2):195-205.
Coding with Ladders a Well Ordering of the Reals.Uri Abraham & Saharon Shelah - 2002 - Journal of Symbolic Logic 67 (2):579-597.
Cohen Reals From Small Forcings.Janusz Pawlikowski - 2001 - Journal of Symbolic Logic 66 (1):318-324.
Recursive in a Generic Real.Juichi Shinoda & Theodore A. Slaman - 2000 - Journal of Symbolic Logic 65 (1):164-172.
Generic Trees.Otmar Spinas - 1995 - Journal of Symbolic Logic 60 (3):705-726.


Added to PP index

Total views
15 ( #597,012 of 2,289,504 )

Recent downloads (6 months)
4 ( #307,373 of 2,289,504 )

How can I increase my downloads?


My notes

Sign in to use this feature