Browse using
OpenLink Faceted Browser
OpenLink Structured Data Editor
LodLive Browser
Formats
RDF:
N-Triples
N3
Turtle
JSON
XML
OData:
Atom
JSON
Microdata:
JSON
HTML
Embedded:
JSON
Turtle
Other:
CSV
JSON-LD
Faceted Browser
Sparql Endpoint
About:
Veblen function
An Entity of Type:
Thing
,
from Named Graph:
http://dbpedia.org
,
within Data Space:
dbpedia.org
Hierarchy of normal functions
Property
Value
dbo:
description
Hiersrchie von normalen Funktionen
(de)
hierarchy of normal functions
(en)
dbo:
wikiPageExternalLink
http://www.cs.fsu.edu/~levitz/ords.ps
https://archive.org/details/prooftheoryintro0000pohl
dbo:
wikiPageWikiLink
dbr
:Ordinal_arithmetic
dbr
:Normal_function
dbr
:Oswald_Veblen
dbr
:Fixed_point_(mathematics)
dbr
:PostScript
dbc
:Proof_theory
dbr
:Function_(mathematics)
dbr
:Cofinality
dbr
:Mathematics
dbc
:Ordinal_numbers
dbr
:Ordinal_number
dbr
:Regular_cardinal
dbr
:Ackermann_ordinal
dbr
:Feferman–Schütte_ordinal
dbc
:Hierarchy_of_functions
dbr
:Small_Veblen_ordinal
dbr
:Continuous_function_(set_theory)
dbr
:Large_Veblen_ordinal
dbr
:Path_ordering_(term_rewriting)
dbr
:Epsilon_numbers_(mathematics)
dbr
:Strictly_increasing_function
dbr
:Feferman-Schutte_ordinal
dbp:
wikiPageUsesTemplate
dbt
:Reflist
dbt
:Citation
dbt
:Harvtxt
dbt
:Unsourced_section
dbt
:Short_description
dct:
subject
dbc
:Proof_theory
dbc
:Ordinal_numbers
dbc
:Hierarchy_of_functions
gold:
hypernym
dbr
:Hierarchy
rdfs:
label
Veblen function
(en)
Fonction de Veblen
(fr)
ヴェブレン階層
(ja)
Функция Веблена
(ru)
owl:
sameAs
freebase
:Veblen function
yago-res
:Veblen function
wikidata
:Veblen function
dbpedia-fr
:Veblen function
dbpedia-ja
:Veblen function
dbpedia-ru
:Veblen function
dbpedia-global
:Veblen function
prov:
wasDerivedFrom
wikipedia-en
:Veblen_function?oldid=1290570050&ns=0
foaf:
isPrimaryTopicOf
wikipedia-en
:Veblen_function
is
dbo:
knownFor
of
dbr
:Oswald_Veblen
is
dbo:
wikiPageRedirects
of
dbr
:Fundamental_sequence_(ordinals)
dbr
:Veblen_functions
dbr
:Veblen_hierarchy
is
dbo:
wikiPageWikiLink
of
dbr
:Ordinal_arithmetic
dbr
:Normal_function
dbr
:Oswald_Veblen
dbr
:Phi
dbr
:Von_Neumann_cardinal_assignment
dbr
:Epsilon_number
dbr
:Fast-growing_hierarchy
dbr
:Greek_letters_used_in_mathematics,_science,_and_engineering
dbr
:Ackermann_ordinal
dbr
:Glossary_of_set_theory
dbr
:Large_countable_ordinal
dbr
:Feferman–Schütte_ordinal
dbr
:Ordinal_collapsing_function
dbr
:Wadge_hierarchy
dbr
:Small_Veblen_ordinal
dbr
:Fundamental_sequence_(ordinals)
dbr
:Large_Veblen_ordinal
dbr
:Bachmann–Howard_ordinal
dbr
:Path_ordering_(term_rewriting)
dbr
:Veblen_ordinal
dbr
:Veblen_functions
dbr
:Veblen_hierarchy
is
dbp:
knownFor
of
dbr
:Oswald_Veblen
is
foaf:
primaryTopic
of
wikipedia-en
:Veblen_function
This content was extracted from
Wikipedia
and is licensed under the
Creative Commons Attribution-ShareAlike 4.0 International