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é.

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
  • 13512741 (xsd:integer)
dbo:wikiPageLength
  • 40571 (xsd:nonNegativeInteger)
dbo:wikiPageRevisionID
  • 190853104 (xsd:integer)
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
  • 2007-06-12 (xsd:date)
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
  • 10.100000 (xsd:double)
prop-fr:consultéLe
  • 2008-04-17 (xsd:date)
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
  • 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)
  • 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
  • en (fr)
  • en (fr)
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