A Π¹₁-uniformization principle for reals

DOI10.1090/S0002-9947-09-04783-7zbMath1169.03031MaRDI QIDQ5322893

Liang Yu, Chi Tat Chong

Publication date: 23 July 2009

Published in: Transactions of the American Mathematical Society (Search for Journal in Brave)

zbMATH Keywords

chainsconesantichainsTuring degreesuniformization principleaxiom of constructibilityhyperdegrees of realsset-theoretic hypotheses

Mathematics Subject Classification ID

Consistency and independence results (03E35) Inner models, including constructibility, ordinal definability, and core models (03E45) Other Turing degree structures (03D28)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Infinite combinatorics and definability
• Countable admissible ordinals and hyperdegrees
• Borel determinacy
• Perfect subsets of definable sets of real numbers
• A classification of jump operators
• Recursive well-orderings
• Analytic inductive definitions
• Minimal degrees and the jump operator
• Analytic determinacy and 0^#
• Thin Maximal Antichains in the Turing Degrees
• Maximal chains in the Turing degrees
• Degrees of unsolvability of constructible sets of integers
• The fine structure of the constructible hierarchy

This page was built for publication: A Π¹₁-uniformization principle for reals