Fixed-point lemma for normal functions
http://dbpedia.org/resource/Fixed-point_lemma_for_normal_functions an entity of type: WikicatLemmas
The fixed-point lemma for normal functions is a basic result in axiomatic set theory stating that any normal function has arbitrarily large fixed points (Levy 1979: p. 117). It was first proved by Oswald Veblen in 1908.
rdf:langString
El lema del punto fijo para funciones normales o teorema del punto fijo de Veblen es un teorema básico de la teoría axiomática de conjuntos que afirma cualquier tiene una cantidad arbitrariamente grande puntos fijos, demostrado por Oswald Veblen en 1908.
rdf:langString
rdf:langString
Lema del punto fijo para funciones normales
rdf:langString
Fixed-point lemma for normal functions
xsd:integer
404343
xsd:integer
1062550874
rdf:langString
The fixed-point lemma for normal functions is a basic result in axiomatic set theory stating that any normal function has arbitrarily large fixed points (Levy 1979: p. 117). It was first proved by Oswald Veblen in 1908.
rdf:langString
El lema del punto fijo para funciones normales o teorema del punto fijo de Veblen es un teorema básico de la teoría axiomática de conjuntos que afirma cualquier tiene una cantidad arbitrariamente grande puntos fijos, demostrado por Oswald Veblen en 1908.
xsd:nonNegativeInteger
4152