Parameter-free uniformisation

DOI10.1090/S0002-9939-08-09275-7zbMath1145.03030OpenAlexW2047964762MaRDI QIDQ3522334

Sy-David Friedman

Publication date: 1 September 2008

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

Full work available at URL: https://doi.org/10.1090/s0002-9939-08-09275-7

zbMATH Keywords

large cardinalsdescriptive set theoryinner models

Mathematics Subject Classification ID

Descriptive set theory (03E15) Consistency and independence results (03E35) Inner models, including constructibility, ordinal definability, and core models (03E45) Large cardinals (03E55) Turing machines and related notions (03D10)

Related Items (4)

Determinacy and monotone inductive definitions ⋮ Weak systems of determinacy and arithmetical quasi-inductive definitions ⋮ Hypermachines ⋮ Characteristics of discrete transfinite time Turing machine models: Halting times, stabilization times, and normal form theorems

Cites Work

• Fine structure and class forcing
• Eventually infinite time Turing machine degrees: infinite time decidable reals
• The fine structure of the constructible hierarchy

This page was built for publication: Parameter-free uniformisation