Large Cardinals and Higher Degree Theory

DOI10.1142/9789814678001_0012zbMath1432.03104OpenAlexW2493347858MaRDI QIDQ2989972

Xianghui Shi

Publication date: 9 June 2017

Published in: Proceedings of the 13th Asian Logic Conference (Search for Journal in Brave)

Full work available at URL: https://semanticscholar.org/paper/cc37984154cd027b7ab9af2d72aa0b239cd68b96

zbMATH Keywords

minimal degreecore modeljumpcovering lemmalarge cardinalaxiom \(I_0\)Turing degreeinner model operatordegree determinacyhigher degree theoryhyperarithmetic degreeincomparable degreesPosner-Robinson theorem

Mathematics Subject Classification ID

Inner models, including constructibility, ordinal definability, and core models (03E45) Large cardinals (03E55) Other degrees and reducibilities in computability and recursion theory (03D30) Other Turing degree structures (03D28) Determinacy principles (03E60)

This page was built for publication: Large Cardinals and Higher Degree Theory