1. Inductive definitions and their closure ordinals;Aanderaa,1974
2. Uncountable Gandy ordinals;Abramson;J. Lond. Math. Soc.,1976
3. An introduction to feedback Turing computability;Ackerman;J. Log. Comput.,2020
4. Inductive definitions and reflecting properties of admissible ordinals;Aczel,1974
5. The order of reflection;Aguilera;J. Symb. Log.,2021