This HTML5 document contains 66 embedded RDF statements represented using HTML+Microdata notation.

The embedded RDF content will be recognized by any processor of HTML5 Microdata.

Namespace Prefixes

PrefixIRI
dctermshttp://purl.org/dc/terms/
yago-reshttp://yago-knowledge.org/resource/
dbohttp://dbpedia.org/ontology/
foafhttp://xmlns.com/foaf/0.1/
dbpedia-eshttp://es.dbpedia.org/resource/
n18https://global.dbpedia.org/id/
yagohttp://dbpedia.org/class/yago/
dbthttp://dbpedia.org/resource/Template:
rdfshttp://www.w3.org/2000/01/rdf-schema#
n19https://www.jstor.org/stable/
freebasehttp://rdf.freebase.com/ns/
rdfhttp://www.w3.org/1999/02/22-rdf-syntax-ns#
owlhttp://www.w3.org/2002/07/owl#
n16https://archive.org/details/
wikipedia-enhttp://en.wikipedia.org/wiki/
dbphttp://dbpedia.org/property/
dbchttp://dbpedia.org/resource/Category:
provhttp://www.w3.org/ns/prov#
xsdhhttp://www.w3.org/2001/XMLSchema#
goldhttp://purl.org/linguistics/gold/
wikidatahttp://www.wikidata.org/entity/
dbrhttp://dbpedia.org/resource/

Statements

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