Property |
Value |
dbo:abstract
|
- 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)
- 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)
|
dbo:wikiPageExternalLink
| |
dbo:wikiPageID
| |
dbo:wikiPageLength
|
- 40571 (xsd:nonNegativeInteger)
|
dbo:wikiPageRevisionID
| |
dbo:wikiPageWikiLink
| |
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:archiveDate
| |
prop-fr:archiveUrl
| |
prop-fr:art
|
- Ordinal collapsing function (fr)
- Ordinal collapsing function (fr)
|
prop-fr:auteur
|
- Pohlers, Wolfram (fr)
- Pohlers, Wolfram (fr)
|
prop-fr:citeseerx
| |
prop-fr:consultéLe
| |
prop-fr:date
|
- August 2005 (fr)
- August 2005 (fr)
|
prop-fr:doi
|
- 10.100700 (xsd:double)
- 10.101600 (xsd:double)
- 10.102300 (xsd:double)
- 10.230700 (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)
- 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
| |
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)
- 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:jstor
|
- 421132 (xsd:integer)
- 1970691 (xsd:integer)
|
prop-fr:lang
| |
prop-fr:langue
|
- de (fr)
- en (fr)
- de (fr)
- en (fr)
|
prop-fr:lienAuteur
|
- Gaisi Takeuti (fr)
- Gaisi Takeuti (fr)
|
prop-fr:nom
|
- Jäger (fr)
- Buchholz (fr)
- Kahle (fr)
- Rathjen (fr)
- Takeuti (fr)
- 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)
- Reinhard (fr)
- Wilfried (fr)
- Gaisi (fr)
- Michael (fr)
- Gerhard (fr)
- Reinhard (fr)
- Wilfried (fr)
- Gaisi (fr)
|
prop-fr:texte
|
- -compréhension (fr)
- principes de réflexion (fr)
- -compréhension (fr)
- principes de réflexion (fr)
|
prop-fr:titre
|
- Eine beweistheoretische Untersuchung von + und verwandter Systeme (fr)
- A New System of Proof-Theoretic Ordinal Functions (fr)
- An ordinal analysis of stability (fr)
- Recent Advances in Ordinal Analysis: -CA and Related Systems (fr)
- Proof Theory: Part III, Kripke–Platek Set Theory (fr)
- Proof theory of reflection (fr)
- Proof-theoretic analysis of KPM (fr)
- Consistency proofs of subsystems of classical analysis (fr)
- Mathematical proof theory in the light of ordinal analysis (fr)
- Eine beweistheoretische Untersuchung von + und verwandter Systeme (fr)
- A New System of Proof-Theoretic Ordinal Functions (fr)
- An ordinal analysis of stability (fr)
- Recent Advances in Ordinal Analysis: -CA and Related Systems (fr)
- Proof Theory: Part III, Kripke–Platek Set Theory (fr)
- Proof theory of reflection (fr)
- Proof-theoretic analysis of KPM (fr)
- Consistency proofs of subsystems of classical analysis (fr)
- Mathematical proof theory in the light of ordinal analysis (fr)
|
prop-fr:trad
|
- Ackermann ordinal (fr)
- Bachmann–Howard ordinal (fr)
- Second-order arithmetic#Stronger systems (fr)
- large Veblen ordinal (fr)
- ordinal analysis (fr)
- reflection principle (fr)
- small Veblen ordinal (fr)
- Ackermann ordinal (fr)
- Bachmann–Howard ordinal (fr)
- Second-order arithmetic#Stronger systems (fr)
- large Veblen ordinal (fr)
- ordinal analysis (fr)
- reflection principle (fr)
- small Veblen ordinal (fr)
|
prop-fr:url
| |
prop-fr:volume
|
- 1 (xsd:integer)
- 30 (xsd:integer)
- 32 (xsd:integer)
- 44 (xsd:integer)
- 68 (xsd:integer)
- 86 (xsd:integer)
- 133 (xsd:integer)
- 1982 (xsd:integer)
|
prop-fr:wikiPageUsesTemplate
| |
dct:subject
| |
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)
- 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)
|
rdfs:label
|
- Fonction d'effondrement ordinale (fr)
- Ordinal collapsing function (en)
|
owl:sameAs
| |
prov:wasDerivedFrom
| |
foaf:isPrimaryTopicOf
| |
is dbo:wikiPageWikiLink
of | |
is oa:hasTarget
of | |
is foaf:primaryTopic
of | |