Talk:Kripke–Platek set theory

KPM
> Similarly, KPM is KP asserting "the class of all ordinals is recursively Mahlo".

Is there a source stating that KPM is actually equivalent to KP asserting "the class of all ordinals is recursively Mahlo"?

p-adic 14:19, October 14, 2018 (UTC)