Parameter-free uniformisation
From MaRDI portal
Publication:3522334
DOI10.1090/S0002-9939-08-09275-7zbMath1145.03030MaRDI QIDQ3522334
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
03E15: Descriptive set theory
03E35: Consistency and independence results
03E45: Inner models, including constructibility, ordinal definability, and core models
03E55: Large cardinals
03D10: Turing machines and related notions
Related Items
Characteristics of discrete transfinite time Turing machine models: Halting times, stabilization times, and normal form theorems, Determinacy and monotone inductive definitions, Weak systems of determinacy and arithmetical quasi-inductive definitions, Hypermachines
Cites Work