About: dbpedia-fr:Grand_ordinal

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

About: dbpedia-fr:Grand_ordinal_dénombrable Goto Sponge NotDistinct Permalink

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

Attributes	Values
rdfs:label	Grand ordinal dénombrable (fr) Grandes ordinais contáveis (pt)
rdfs:comment	En mathématiques, et plus particulièrement en théorie des ensembles, il existe de nombreuses méthodes de description des ordinaux dénombrables. Les plus petits (jusqu'à ) peuvent être exprimés (de façon utile et non circulaire) à l'aide de leur forme normale de Cantor. Au-delà, on parle de grands ordinaux dénombrables ; de nombreux grands ordinaux (le plus souvent en rapport avec la théorie de la démonstration) possèdent des notations ordinales calculables. Cependant, il n'est pas possible en général de décider si une notation ordinale potentielle en est effectivement une, pour des raisons analogues à celles rendant insoluble le problème de l'arrêt. (fr)
sameAs	dbr:Large_countable_ordinal wikidata:Q3114739 dbpedia-pt:Grandes_ordinais_contáveis http://g.co/kg/m/0bzzzn http://ma-graph.org/entity/2776244007
Wikipage page ID	5891977 (xsd:integer)
Wikipage revision ID	174889540 (xsd:integer)
dbo:wikiPageWikiLink	category-fr:Théorie_de_la_démonstration category-fr:Nombre_ordinal Peano axioms Infimum and supremum First-order logic category-fr:Théorie_des_ordres Well-order Countable set Ordinal collapsing function Veblen function Gerald Sacks dbpedia-fr:Grand_cardinal dbpedia-fr:Imprédicativité dbpedia-fr:Kurt_Schütte dbpedia-fr:Logique_d'ordre_supérieur Turing machine dbpedia-fr:Nombre_ordinal Oracle machine Feferman–Schütte ordinal Limit ordinal dbpedia-fr:PostScript First uncountable ordinal dbpedia-fr:Problème_de_l'arrêt dbpedia-fr:Récurrence_transfinie dbpedia-fr:Springer_Science+Business_Media dbpedia-fr:Stephen_Cole_Kleene dbpedia-fr:Système_formel dbpedia-fr:Théorie_de_la_calculabilité dbpedia-fr:Théorie_de_la_démonstration dbpedia-fr:Théorie_des_ensembles dbpedia-fr:Théorie_des_ensembles_de_Kripke-Platek dbpedia-fr:Théorie_des_ensembles_de_Zermelo dbpedia-fr:Théorie_des_ensembles_de_Zermelo-Fraenkel dbpedia-fr:Théorème_de_Goodstein Gödel's incompleteness theorems Constructible universe dbpedia-fr:Mathématiques dbpedia-fr:Craig_Smorynski dbpedia-fr:Herman_Ruge_Jervell dbpedia-fr:Hilbert_Levitz dbpedia-fr:Larry_W._Miller dbpedia-fr:Michael_Rathjen dbpedia-fr:Wolfram_Pohlers
Link from a Wikipage to an external page	http://www.cs.fsu.edu/~levitz/ords.ps http://folk.uio.no/herman/incompleteness.pdf http://www.maths.leeds.ac.uk/~rathjen/srealm.ps
page length (characters) of wiki page	24258 (xsd:nonNegativeInteger)
dct:subject	category-fr:Théorie_de_la_démonstration category-fr:Nombre_ordinal category-fr:Théorie_des_ordres
prop-fr:wikiPageUsesTemplate	dbpedia-fr:Modèle:Article_détaillé dbpedia-fr:Modèle:Date- dbpedia-fr:Modèle:En dbpedia-fr:Modèle:ISBN 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 dbpedia-fr:Modèle:Référence_souhaitée dbpedia-fr:Modèle:Article_principal
prov:wasDerivedFrom	wikipedia-fr:Grand_ordinal_dénombrable?oldid=174889540&ns=0
prop-fr:année	1976 (xsd:integer) 1978 (xsd:integer)
prop-fr:fr	cardinal Mahlo (fr) Gaisi Takeuti (fr) analyse ordinale (fr) ordinal d'Ackermann (fr) ordinal de Bachmann-Howard (fr) Hartley Rogers, Jr. (fr) théorème de cohérence de l'arithmétique de Gentzen (fr) modèle transitif (fr) notation de Kleene (fr) ordinaux de Veblen (fr) récurrence transfinie arithmétique (fr)
prop-fr:isbn	3 (xsd:integer)
prop-fr:langue	en (fr)
prop-fr:lienAuteur	Jon Barwise (fr)
prop-fr:lieu	Berlin/Heidelberg/New York (fr)
prop-fr:nom	Hinman (fr) Barwise (fr)
prop-fr:pagesTotales	394 (xsd:integer)
prop-fr:prénom	Jon (fr) Peter G. (fr)
prop-fr:sousTitre	an Approach to Definability Theory (fr)
prop-fr:série	Perspectives in Mathematical Logic (fr)
prop-fr:texte	force démonstrative (fr) notations de Kleene (fr)
prop-fr:titre	Admissible Sets and Structures (fr) Recursion-theoretic hierarchies (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, 9 GB memory in use)
Data on this page belongs to its respective rights holders.
Virtuoso Faceted Browser Copyright © 2009-2024 OpenLink Software