Ordinal de Feferman-Schütte
From Wikipedia, the free encyclopedia
En teoría de conjuntos, el ordinal de Feferman-Schütte Γ0 es un ordinal grande que puede definirse como el ordinal más pequeño que no puede ser obtenido a partir del ordinal ' usando las operaciones usuales de la aritmética ordinal y las funciones de Veblen φα(β). Es decir, es el ordinal α más pequeño que satisface la relación φα(0) = α. Recibe su nombre de Solomon Feferman y Kurt Schütte.
