 If formula_3 is a model of Kripke–Platek set theory then formula_1 is an admissible ordinal.In what follows formula_1 is considered to be fixed.The objects of study in formula_1 recursion are subsets of formula_1.