Parameter-free uniformisation
Sy‐David Friedman · Proceedings of the American Mathematical Society · 2008
This article was motivated by two questions, one in the theory of infinite-time Turing machines and the other a fine-structural question posed by Wayne Richter. The answers to both turn on a question of parameter-free uniformisation, which I prove for all locally countable, limit initial segments of L L .