| dbo:abstract |
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. (en) 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. (es) |
| dbo:wikiPageExternalLink |
https://archive.org/details/basicsettheory00levy_0 https://www.jstor.org/stable/1988605 |
| dbo:wikiPageID |
404343 (xsd:integer) |
| dbo:wikiPageLength |
4152 (xsd:nonNegativeInteger) |
| dbo:wikiPageRevisionID |
1062550874 (xsd:integer) |
| dbo:wikiPageWikiLink |
dbr:Proper_class dbc:Articles_containing_proofs dbr:Normal_function dbr:Ordinal_numbers dbc:Lemmas_in_set_theory dbr:Club_set dbr:Axiomatic_set_theory dbr:Fixed_point_(mathematics) dbr:Oswald_Veblen dbc:Fixed-point_theorems dbc:Ordinal_numbers dbr:Supremum dbr:Initial_ordinal |
| dbp:wikiPageUsesTemplate |
dbt:Cite_book dbt:Cite_journal dbt:Short_description |
| dct:subject |
dbc:Articles_containing_proofs dbc:Lemmas_in_set_theory dbc:Fixed-point_theorems dbc:Ordinal_numbers |
| gold:hypernym |
dbr:Result |
| rdf:type |
yago:WikicatLemmas yago:WikicatOrdinalNumbers yago:Abstraction100002137 yago:Communication100033020 yago:DefiniteQuantity113576101 yago:Lemma106751833 yago:Measure100033615 yago:Message106598915 yago:Number113582013 yago:OrdinalNumber113597280 yago:Proposition106750804 yago:Statement106722453 yago:Theorem106752293 yago:WikicatFixed-pointTheorems |
| rdfs:comment |
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. (en) 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. (es) |
| rdfs:label |
Lema del punto fijo para funciones normales (es) Fixed-point lemma for normal functions (en) |
| owl:sameAs |
freebase:Fixed-point lemma for normal functions yago-res:Fixed-point lemma for normal functions wikidata:Fixed-point lemma for normal functions dbpedia-es:Fixed-point lemma for normal functions https://global.dbpedia.org/id/4jQao |
| prov:wasDerivedFrom |
wikipedia-en:Fixed-point_lemma_for_normal_functions?oldid=1062550874&ns=0 |
| foaf:isPrimaryTopicOf |
wikipedia-en:Fixed-point_lemma_for_normal_functions |
| is dbo:knownFor of |
dbr:Oswald_Veblen |
| is dbo:wikiPageRedirects of |
dbr:Normal_function_lemma dbr:Ordinal_fixed_point_theorem |
| is dbo:wikiPageWikiLink of |
dbr:Normal_function_lemma dbr:List_of_lemmas dbr:Normal_function dbr:Epsilon_number dbr:Aleph_number dbr:Oswald_Veblen dbr:Fixed-point_theorems dbr:Ordinal_fixed_point_theorem |
| is dbp:knownFor of |
dbr:Oswald_Veblen |
| is foaf:primaryTopic of |
wikipedia-en:Fixed-point_lemma_for_normal_functions |