9781470467319 - milliken's tree theorem and its applications: a computability-theoretic perspective: volume: 293 number: 1457 (memoirs of the american mathematical society) de d'auriac, paul-elliot angles; cholak, peter a.; dzhafarov, damir d.; monin, benoit; patey, ludovic (12 resultados)
- Tapa blanda
Librería: Brook Bookstore On Demand, Napoli, NA, ItaliaBrook Bookstore On Demand
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 74,26
Envío por EUR 5,50Se envía de Italia a Estados Unidos de AmericaCantidad disponible: 4 disponibles
Condición: new.
- Tapa blanda
Librería: PBShop.store UK, Fairford, GLOS, Reino UnidoPBShop.store UK
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 79,53
Envío por EUR 3,83Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: 4 disponibles
PAP. Condición: New. New Book. Shipped from UK. Established seller since 2000.
Milliken's Tree Theorem and Its Applications: a Computability-Theoretic Perspective
Paul-Elliot Angles D'Auriac, Peter A. Cholak, Damir D. Dzhafarov, Benoit Monin, Ludovic Patey
- Tapa blanda
Librería: Rarewaves.com USA, London, LONDO, Reino UnidoRarewaves.com USA
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 83,87
Gastos de envío gratisSe envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: 2 disponibles
Paperback. Condición: New. Milliken's tree theorem is a deep result in combinatorics that generalizes a vast number of other results in the subject, most notably Ramsey's theorem and its many variants and consequences. In this sense, Milliken's tree theorem is paradigmatic of structural Ramsey theory, which seeks to identify the… common combinatorial and logical features of partition results in general. Its investigation in this area has consequently been extensive.Motivated by a question of Dobrinen, we initiate the study of Milliken's tree theorem from the point of view of computability theory. The goal is to understand how close it is to being algorithmically solvable, and how computationally complex are the constructions needed to prove it. This kind of examination enjoys a long and rich history, and continues to be a highly active endeavor. Applied to combinatorial principles, particularly Ramsey's theorem, it constitutes one of the most fruitful research programs in computability theory as a whole. The challenge to studying Milliken's tree theorem using this framework is its unusually intricate proof, and more specifically, the proof of the Halpern-La¨uchli theorem, which is a key ingredient.Our advance here stems from a careful analysis of the Halpern-Läuchli theorem which shows that it can be carried out effectively (i.e., that it is computably true). We use this as the basis of a new inductive proof of Milliken's tree theorem that permits us to gauge its effectivity in turn. The key combinatorial tool we develop for the inductive step is a fast-growing computable function that can be used to obtain a finitary, or localized, version of Milliken's tree theorem. This enables us to build solutions to the full Milliken's tree theorem using effective forcing. The principal result of this is a full classification of the computable content of Milliken's tree theorem in terms of the jump hierarchy, stratified by the size of instance. As usual, this also translates into the parlance of reverse mathematics, yielding a complete understanding of the fragment of second-order arithmetic required to prove Milliken's tree theorem.We apply our analysis also to several well-known applications of Milliken's tree theorem, namely Devlin's theorem, a partition theorem for Rado graphs, and a generalized version of the so-called tree theorem of Chubb, Hirst, and McNicholl. These are all certain kinds of extensions of Ramsey's theorem for different structures, namely the rational numbers, the Rado graph, and perfect binary trees, respectively. We obtain a number of new results about how these principles relate to Milliken's tree theorem and to each other, in terms of both their computability-theoretic and combinatorial aspects. In particular, we establish new structural Ramsey-theoretic properties of the Rado graph theorem and the generalized Chubb-Hirst-McNicholl tree theorem using Zucker's notion of big Ramsey structure.
- Tapa blanda
Librería: Kennys Bookshop and Art Galleries Ltd., Galway, GY, IrlandaKennys Bookshop and Art Galleries Ltd.
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 79,57
Envío por EUR 9,50Se envía de Irlanda a Estados Unidos de AmericaCantidad disponible: 1 disponibles
Condición: New.
Milliken's Tree Theorem and Its Applications: A Computability-Theoretic Perspective: Volume: 293 Number: 1457 (Memoirs of the American Mathematical Society)
D'Auriac, Paul-Elliot Angles/ Cholak, Peter A./ Dzhafarov, Damir D./ Monin, Benoit/ Patey, Ludovic
- Tapa blanda
Librería: Revaluation Books, Exeter, Reino UnidoRevaluation Books
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 88,57
Envío por EUR 11,64Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: 2 disponibles
Paperback. Condición: Brand New. 118 pages. In Stock.
- Tapa blanda
Librería: Kennys Bookstore, Olney, MD, Estados Unidos de AmericaKennys Bookstore
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 101,15
Envío por EUR 9,04Se envía dentro de Estados Unidos de AmericaCantidad disponible: 1 disponibles
Condición: New.
Milliken's Tree Theorem and Its Applications: a Computability-Theoretic Perspective (Memoirs of the American Mathematical Society)
D'Auriac Paul-Elliot, Angles, A. Cholak Peter D. Dzhafarov Damir u. a.:
- Tapa blanda
Librería: Studibuch, Stuttgart, AlemaniaStudibuch
Contactar con el vendedorVendedor de 5 estrellasCondición: Usado - Excelente
EUR 31,87
Envío por EUR 80,70Se envía de Alemania a Estados Unidos de AmericaCantidad disponible: 1 disponibles
paperback. Condición: Sehr gut. 118 Seiten; 9781470467319.2 Gewicht in Gramm: 500.
- Tapa blanda
Librería: THE SAINT BOOKSTORE, Southport, Reino UnidoTHE SAINT BOOKSTORE
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 100,88
Envío por EUR 15,68Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: 4 disponibles
Paperback / softback. Condición: New. New copy - Usually dispatched within 4 working days.
Milliken's Tree Theorem and Its Applications: a Computability-Theoretic Perspective
Paul-Elliot Angles D'Auriac, Peter A. Cholak, Damir D. Dzhafarov, Benoit Monin, Ludovic Patey
- Tapa blanda
Librería: Rarewaves.com UK, London, Reino UnidoRarewaves.com UK
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 81,13
Envío por EUR 75,65Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: 2 disponibles
Paperback. Condición: New. Milliken's tree theorem is a deep result in combinatorics that generalizes a vast number of other results in the subject, most notably Ramsey's theorem and its many variants and consequences. In this sense, Milliken's tree theorem is paradigmatic of structural Ramsey theory, which seeks to identify the… common combinatorial and logical features of partition results in general. Its investigation in this area has consequently been extensive.Motivated by a question of Dobrinen, we initiate the study of Milliken's tree theorem from the point of view of computability theory. The goal is to understand how close it is to being algorithmically solvable, and how computationally complex are the constructions needed to prove it. This kind of examination enjoys a long and rich history, and continues to be a highly active endeavor. Applied to combinatorial principles, particularly Ramsey's theorem, it constitutes one of the most fruitful research programs in computability theory as a whole. The challenge to studying Milliken's tree theorem using this framework is its unusually intricate proof, and more specifically, the proof of the Halpern-La¨uchli theorem, which is a key ingredient.Our advance here stems from a careful analysis of the Halpern-Läuchli theorem which shows that it can be carried out effectively (i.e., that it is computably true). We use this as the basis of a new inductive proof of Milliken's tree theorem that permits us to gauge its effectivity in turn. The key combinatorial tool we develop for the inductive step is a fast-growing computable function that can be used to obtain a finitary, or localized, version of Milliken's tree theorem. This enables us to build solutions to the full Milliken's tree theorem using effective forcing. The principal result of this is a full classification of the computable content of Milliken's tree theorem in terms of the jump hierarchy, stratified by the size of instance. As usual, this also translates into the parlance of reverse mathematics, yielding a complete understanding of the fragment of second-order arithmetic required to prove Milliken's tree theorem.We apply our analysis also to several well-known applications of Milliken's tree theorem, namely Devlin's theorem, a partition theorem for Rado graphs, and a generalized version of the so-called tree theorem of Chubb, Hirst, and McNicholl. These are all certain kinds of extensions of Ramsey's theorem for different structures, namely the rational numbers, the Rado graph, and perfect binary trees, respectively. We obtain a number of new results about how these principles relate to Milliken's tree theorem and to each other, in terms of both their computability-theoretic and combinatorial aspects. In particular, we establish new structural Ramsey-theoretic properties of the Rado graph theorem and the generalized Chubb-Hirst-McNicholl tree theorem using Zucker's notion of big Ramsey structure.
Idioma: Inglés
- Tapa blanda
Librería: Majestic Books, Hounslow, Reino UnidoMajestic Books
Contactar con el vendedorVendedor de 4 estrellasCondición: Nuevo
EUR 101,79
Envío por EUR 7,56Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: 3 disponibles
Condición: New.
Idioma: Inglés
- Tapa blanda
Librería: Books Puddle, New York, NY, Estados Unidos de AmericaBooks Puddle
Contactar con el vendedorVendedor de 4 estrellasCondición: Nuevo
EUR 113,61
Envío por EUR 3,44Se envía dentro de Estados Unidos de AmericaCantidad disponible: 3 disponibles
Condición: New.
Idioma: Inglés
- Tapa blanda
Librería: Ria Christie Collections, Uxbridge, Reino UnidoRia Christie Collections
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 117,68
Envío por EUR 13,94Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: 4 disponibles
Condición: New. In English.
