borel hierarchy
Recently Published Documents


TOTAL DOCUMENTS

27
(FIVE YEARS 1)

H-INDEX

6
(FIVE YEARS 0)

2020 ◽  
Vol 21 (01) ◽  
pp. 2050025
Author(s):  
Francesco Mangraviti ◽  
Luca Motto Ros

Answering one of the main questions of [S.-D. Friedman, T. Hyttinen and V. Kulikov, Generalized descriptive set theory and classification theory, Mem. Amer. Math. Soc. 230(1081) (2014) 80, Chap. 7], we show that there is a tight connection between the depth of a classifiable shallow theory [Formula: see text] and the Borel rank of the isomorphism relation [Formula: see text] on its models of size [Formula: see text], for [Formula: see text] any cardinal satisfying [Formula: see text]. This is achieved by establishing a link between said rank and the [Formula: see text]-Scott height of the [Formula: see text]-sized models of [Formula: see text], and yields to the following descriptive set-theoretical analog of Shelah’s Main Gap Theorem: Given a countable complete first-order theory [Formula: see text], either [Formula: see text] is Borel with a countable Borel rank (i.e. very simple, given that the length of the relevant Borel hierarchy is [Formula: see text]), or it is not Borel at all. The dividing line between the two situations is the same as in Shelah’s theorem, namely that of classifiable shallow theories. We also provide a Borel reducibility version of the above theorem, discuss some limitations to the possible (Borel) complexities of [Formula: see text], and provide a characterization of categoricity of [Formula: see text] in terms of the descriptive set-theoretical complexity of [Formula: see text].


2017 ◽  
Vol 82 (4) ◽  
pp. 1278-1316 ◽  
Author(s):  
VASCO BRATTKA ◽  
TAHINA RAKOTONIAINA

AbstractWe study the uniform computational content of Ramsey’s theorem in the Weihrauch lattice. Our central results provide information on how Ramsey’s theorem behaves under product, parallelization, and jumps. From these results we can derive a number of important properties of Ramsey’s theorem. For one, the parallelization of Ramsey’s theorem for cardinalityn≥ 1 and an arbitrary finite number of colorsk≥ 2 is equivalent to then-th jump of weak Kőnig’s lemma. In particular, Ramsey’s theorem for cardinalityn≥ 1 is${\bf{\Sigma }}_{n + 2}^0$-measurable in the effective Borel hierarchy, but not${\bf{\Sigma }}_{n + 1}^0$-measurable. Secondly, we obtain interesting lower bounds, for instance then-th jump of weak Kőnig’s lemma is Weihrauch reducible to (the stable version of) Ramsey’s theorem of cardinalityn+ 2 forn≥ 2. We prove that with strictly increasing numbers of colors Ramsey’s theorem forms a strictly increasing chain in the Weihrauch lattice. Our study of jumps also shows that certain uniform variants of Ramsey’s theorem that are indistinguishable from a nonuniform perspective play an important role. For instance, the colored version of Ramsey’s theorem explicitly includes the color of the homogeneous set as output information, and the jump of this problem (but not the uncolored variant) is equivalent to the stable version of Ramsey’s theorem of the next greater cardinality. Finally, we briefly discuss the particular case of Ramsey’s theorem for pairs, and we provide some new separation techniques for problems that involve jumps in this context. In particular, we study uniform results regarding the relation of boundedness and induction problems to Ramsey’s theorem, and we show that there are some significant differences with the nonuniform situation in reverse mathematics.


2017 ◽  
Vol 82 (2) ◽  
pp. 510-548 ◽  
Author(s):  
SHERWOOD HACHTMAN

AbstractWe analyze the set-theoretic strength of determinacy for levels of the Borel hierarchy of the form$\Sigma _{1 + \alpha + 3}^0 $, forα<ω1. Well-known results of H. Friedman and D.A. Martin have shown this determinacy to requireα+ 1 iterations of the Power Set Axiom, but we ask what additional ambient set theory is strictly necessary. To this end, we isolate a family of weak reflection principles, Π1-RAPα, whose consistency strength corresponds exactly to the logical strength of${\rm{\Sigma }}_{1 + \alpha + 3}^0 $determinacy, for$\alpha < \omega _1^{CK} $. This yields a characterization of the levels ofLby or at which winning strategies in these games must be constructed. Whenα= 0, we have the following concise result: The leastθso that all winning strategies in${\rm{\Sigma }}_4^0 $games belong toLθ+1is the least so that$L_\theta \models {\rm{``}}{\cal P}\left( \omega \right)$exists, and all wellfounded trees are ranked”.


Author(s):  
Arnold W. Miller
Keyword(s):  

2014 ◽  
Vol 560 ◽  
pp. 219-234 ◽  
Author(s):  
Daniel Neider ◽  
Roman Rabinovich ◽  
Martin Zimmermann
Keyword(s):  

2014 ◽  
Vol 226 (1) ◽  
pp. 63-77 ◽  
Author(s):  
Verónica Becher ◽  
Pablo Ariel Heiber ◽  
Theodore A. Slaman

Sign in / Sign up

Export Citation Format

Share Document