About: Veblen function

Facets (new session)
Description
Metadata
Settings
- owl:sameAs
- Inference Rule:

About: Veblen function Goto Sponge NotDistinct Permalink

An Entity of Type : owl:Thing, within Data Space : prod-dbpedia.inria.fr associated with source document(s)

Attributes	Values
rdfs:label	Fonction de Veblen (fr) Veblen function (en)
rdfs:comment	En mathématiques, et plus précisément en théorie des ensembles, les fonctions de Veblen forment une suite de fonctions définies sur les ordinaux, introduite en 1908 par Oswald Veblen. (fr)
sameAs	Veblen function Veblen function Veblen function Veblen function Veblen function Veblen function
Wikipage page ID	5867323 (xsd:integer)
Wikipage revision ID	179307087 (xsd:integer)
dbo:wikiPageWikiLink	category-fr:Nombre_ordinal Axiom of choice category-fr:Théorie_des_ordres dbpedia-fr:Cofinalité dbpedia-fr:Continuité_(mathématiques) Fast-growing hierarchy dbpedia-fr:Nombre_ordinal Feferman–Schütte ordinal Limit ordinal dbpedia-fr:Oswald_Veblen dbpedia-fr:Point_fixe dbpedia-fr:PostScript dbpedia-fr:Théorie_des_ensembles Order topology dbpedia-fr:Mathématiques
Link from a Wikipage to an external page	http://www.springerlink.com/content/jn235530n57t2384/fulltext.pdf http://www.ams.org/journals/tran/1908-009-03/S0002-9947-1908-1500814-9/S0002-9947-1908-1500814-9.pdf http://www.cs.fsu.edu/~levitz/ords.ps http://xavier.toonywood.org/popularization/mathpark/recursif.pdf https://books.google.com/books%3Fid=t1RdLqU9T-wC&printsec=frontcover
page length (characters) of wiki page	9319 (xsd:nonNegativeInteger)
dct:subject	category-fr:Nombre_ordinal category-fr:Théorie_des_ordres
prop-fr:wikiPageUsesTemplate	dbpedia-fr:Modèle:Article dbpedia-fr:Modèle:En dbpedia-fr:Modèle:Lien dbpedia-fr:Modèle:Ouvrage dbpedia-fr:Modèle:Pdf dbpedia-fr:Modèle:Portail dbpedia-fr:Modèle:Traduction/Référence
prov:wasDerivedFrom	wikipedia-fr:Fonction_de_Veblen?oldid=179307087&ns=0
prop-fr:année	1908 (xsd:integer) 1976 (xsd:integer) 1977 (xsd:integer) 1982 (xsd:integer) 1987 (xsd:integer) 1989 (xsd:integer)
prop-fr:doi	10 (xsd:double)
prop-fr:fr	fonction normale (fr) petit ordinal de Veblen (fr)
prop-fr:isbn	0 (xsd:integer) 3 (xsd:integer)
prop-fr:journal	Transactions of the American Mathematical Society (fr) The Journal of Symbolic Logic (fr)
prop-fr:langue	en (fr)
prop-fr:lienAuteur	Kurt Schütte (fr)
prop-fr:lireEnLigne	http://www.springerlink.com/content/jn235530n57t2384/fulltext.pdf https://books.google.com/books%3Fid=t1RdLqU9T-wC&printsec=frontcover
prop-fr:nom	Miller (fr) Smorynski (fr) Veblen (fr) Schütte (fr) Pohlers (fr) Takeuti (fr)
prop-fr:numéro	2 (xsd:integer) 3 (xsd:integer)
prop-fr:pages	280 (xsd:integer) 439 (xsd:integer)
prop-fr:pagesTotales	213 (xsd:integer) 490 (xsd:integer)
prop-fr:passage	182 (xsd:integer) xii+299 (fr)
prop-fr:prénom	C. (fr) Kurt (fr) Wolfram (fr) Oswald (fr) Larry W. (fr) Gaisi (fr)
prop-fr:sousTitre	An Introduction (fr)
prop-fr:série	Grundlehren der Mathematischen Wissenschaften (fr) Lecture Notes in Mathematics (fr) Studies in Logic and the Foundations of Mathematics (fr)
prop-fr:titre	Continuous Increasing Functions of Finite and Transfinite Ordinals (fr) Proof theory (fr) The varieties of arboreal experience (fr) Normal Functions and Constructive Ordinal Notations (fr)
prop-fr:trad	normal function (fr) small Veblen ordinal (fr)
prop-fr:url	http://www.ams.org/journals/tran/1908-009-03/S0002-9947-1908-1500814-9/S0002-9947-1908-1500814-9.pdf
prop-fr:volume	4 (xsd:integer) 9 (xsd:integer) 41 (xsd:integer) 81 (xsd:integer) 225 (xsd:integer) 1407 (xsd:integer)
prop-fr:éditeur	Springer-Verlag (fr) North-Holland Publishing Co. (fr)
prop-fr:jstor	2272243 (xsd:integer)
foaf:isPrimaryTopicOf	wikipedia-fr:Fonction_de_Veblen

Faceted Search & Find service v1.16.111 as of Oct 19 2022

Alternative Linked Data Documents: ODE Content Formats:

RDF

ODATA

Microdata

About

OpenLink Virtuoso version 07.20.3234 as of May 18 2022, on Linux (x86_64-ubuntu_bionic-linux-gnu), Single-Server Edition (39 GB total memory, 5 GB memory in use)
Data on this page belongs to its respective rights holders.
Virtuoso Faceted Browser Copyright © 2009-2024 OpenLink Software