About: Ordinal collapsing function

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

About: Ordinal collapsing 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 d'effondrement ordinale (fr) Ordinal collapsing function (en)
rdfs:comment	En logique mathématique et en théorie des ensembles, une fonction d'effondrement ordinale (en anglais, ordinal collapsing function) est une méthode de définition de notations pour certains grands ordinaux dénombrables, consistant à donner des noms à certains ordinaux beaucoup plus grands que ceux que l'on veut noter, puis à les « effondrer » pour obtenir le système de notations cherché. (fr)
sameAs	Ordinal collapsing function Ordinal collapsing function Ordinal collapsing function Ordinal collapsing function
Wikipage page ID	13512741 (xsd:integer)
Wikipage revision ID	190853104 (xsd:integer)
dbo:wikiPageWikiLink	category-fr:Nombre_ordinal dbpedia-fr:Aleph-un dbpedia-fr:Anglais Peano axioms dbpedia-fr:Cardinal_inaccessible dbpedia-fr:Cofinalité dbpedia-fr:Exponentiation_ensembliste Ackermann function Veblen function Gerhard Gentzen dbpedia-fr:Grand_cardinal dbpedia-fr:Grand_ordinal_dénombrable Fast-growing hierarchy dbpedia-fr:Imprédicativité dbpedia-fr:Logique_mathématique dbpedia-fr:Nombre_ordinal Feferman–Schütte ordinal dbpedia-fr:Récurrence_transfinie dbpedia-fr:Théorie_des_ensembles dbpedia-fr:Théorie_des_ensembles_de_Kripke-Platek dbpedia-fr:Théorie_des_ensembles_de_Zermelo-Fraenkel dbpedia-fr:Théorème_de_Goodstein dbpedia-fr:Epsilon_nought dbpedia-fr:Ordinal_de_Church-Kleene
Link from a Wikipage to an external page	http://www.mathematik.uni-muenchen.de/~aehlig/EST/rathjen4.pdf https://web.archive.org/web/20070612112202/http:/www.mathematik.uni-muenchen.de/~aehlig/EST/rathjen4.pdf https://www.math.ucla.edu/~asl/bsl/0104/0104-004.ps http://www.maths.leeds.ac.uk/~rathjen/NSTAB.ps http://www.maths.leeds.ac.uk/~rathjen/ehab.pdf
page length (characters) of wiki page	40571 (xsd:nonNegativeInteger)
dct:subject	category-fr:Nombre_ordinal
prop-fr:wikiPageUsesTemplate	dbpedia-fr:Modèle:, dbpedia-fr:Modèle:Article dbpedia-fr:Modèle:Article_détaillé dbpedia-fr:Modèle:Lien dbpedia-fr:Modèle:Lien_web dbpedia-fr:Modèle:Note dbpedia-fr:Modèle:Portail dbpedia-fr:Modèle:Traduction/Référence dbpedia-fr:Modèle:Math
prov:wasDerivedFrom	wikipedia-fr:Fonction_d'effondrement_ordinale?oldid=190853104&ns=0
prop-fr:année	1967 (xsd:integer) 1983 (xsd:integer) 1986 (xsd:integer) 1991 (xsd:integer) 1994 (xsd:integer) 1995 (xsd:integer) 2002 (xsd:integer) 2005 (xsd:integer)
prop-fr:art	Ordinal collapsing function (fr)
prop-fr:auteur	Pohlers, Wolfram (fr)
prop-fr:consultéLe	2008-04-17 (xsd:date)
prop-fr:date	August 2005 (fr)
prop-fr:doi	10 (xsd:double) 10 (xsd:double) 10 (xsd:double) 10 (xsd:double)
prop-fr:fr	analyse ordinale (fr) grand ordinal de Veblen (fr) ordinal d'Ackermann (fr) ordinal de Bachmann-Howard (fr) petit ordinal de Veblen (fr) principe de réflexion (fr)
prop-fr:id	953220416 (xsd:integer)
prop-fr:journal	Annals of Mathematics (fr) Annals of Pure and Applied Logic (fr) Archive for Mathematical Logic (fr) Synthese (fr) The Bulletin of Symbolic Logic (fr) Bayerische Akademie der Wissenschaften. Mathematisch-Naturwissenschaftliche Klasse Sitzungsberichte (fr)
prop-fr:lang	en (fr)
prop-fr:langue	de (fr) en (fr)
prop-fr:lienAuteur	Gaisi Takeuti (fr)
prop-fr:nom	Jäger (fr) Buchholz (fr) Kahle (fr) Rathjen (fr) Takeuti (fr)
prop-fr:numéro	2 (xsd:integer) 4 (xsd:integer) 5 (xsd:integer)
prop-fr:pages	1 (xsd:integer) 181 (xsd:integer) 195 (xsd:integer) 237 (xsd:integer) 299 (xsd:integer) 377 (xsd:integer) 468 (xsd:integer)
prop-fr:prénom	Michael (fr) Gerhard (fr)

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, 13 GB memory in use)
Data on this page belongs to its respective rights holders.
Virtuoso Faceted Browser Copyright © 2009-2024 OpenLink Software