Ordinal collapsing function (original) (raw)
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) In mathematical logic and set theory, an ordinal collapsing function (or projection function) is a technique for defining (notations for) certain recursive large countable ordinals, whose principle is to give names to certain ordinals much larger than the one being defined, perhaps even large cardinals (though they can be replaced with recursively large ordinals at the cost of extra technical difficulty), and then "collapse" them down to a system of notations for the sought-after ordinal. For this reason, ordinal collapsing functions are described as an impredicative manner of naming ordinals. The details of the definition of ordinal collapsing functions vary, and get more complicated as greater ordinals are being defined, but the typical idea is that whenever the notation system "runs out of fuel" and cannot name a certain ordinal, a much larger ordinal is brought "from above" to give a name to that critical point. An example of how this works will be detailed below, for an ordinal collapsing function defining the Bachmann–Howard ordinal (i.e., defining a system of notations up to the Bachmann–Howard ordinal). The use and definition of ordinal collapsing functions is inextricably intertwined with the theory of ordinal analysis, since the large countable ordinals defined and denoted by a given collapse are used to describe the ordinal-theoretic strength of certain formal systems, typically subsystems of analysis (such as those seen in the light of reverse mathematics), extensions of Kripke–Platek set theory, Bishop-style systems of constructive mathematics or Martin-Löf-style systems of intuitionistic type theory.(psi)(1) Ordinal collapsing functions are typically denoted using some variation of either the Greek letter (psi) or (theta). (en) |
| dbo:wikiPageExternalLink | 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://epub.ub.uni-muenchen.de/3841/ 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 |
| dbo:wikiPageID | 16968563 (xsd:integer) |
| dbo:wikiPageLength | 68943 (xsd:nonNegativeInteger) |
| dbo:wikiPageRevisionID | 1123338600 (xsd:integer) |
| dbo:wikiPageWikiLink | dbr:Monotonic_function dbr:Peano_arithmetic dbr:Peano_axioms dbr:Per_Martin-Löf dbr:Reverse_mathematics dbr:Indescribable_cardinal dbr:Intuitionistic_type_theory dbr:Continuous_function dbr:Mathematical_logic dbr:Noriko_H._Arai dbr:Church–Kleene_ordinal dbr:Epsilon_numbers_(mathematics) dbr:Theta dbr:Ordinal_analysis dbr:Ordinal_arithmetic dbr:Ordinal_notation dbr:Feferman–Schütte_ordinal dbr:Kripke–Platek_set_theory dbr:Kruskal's_tree_theorem dbr:Mahlo_cardinal dbr:Well-founded_relation dbr:Large_Veblen_ordinal dbr:Large_countable_ordinal dbr:Errett_Bishop dbr:Bar_induction dbr:Nonrecursive_ordinal dbr:Formal_system dbr:Goodstein's_theorem dbr:Reflection_principle dbr:Bachmann–Howard_ordinal dbr:Ackermann_function dbr:Ackermann_ordinal dbc:Ordinal_numbers dbr:Cofinality dbr:Weakly_compact_cardinal dbr:Constructivism_(mathematics) dbr:Impredicativity dbr:Inaccessible_cardinal dbr:Buchholz's_ordinal dbr:Cantor's_diagonal_argument dbr:Recursive_ordinal dbr:Set_theory dbr:Small_Veblen_ordinal dbr:Second-order_arithmetic dbr:Existential_quantification dbr:First_uncountable_ordinal dbr:Psi_(letter) dbr:Veblen_function dbr:Cantor_normal_form_theorem dbr:Takeuti–Feferman–Buchholz_ordinal dbr:Large_cardinal_property dbr:Countable_ordinal |
| dbp:wikiPageUsesTemplate | dbt:Cite_journal dbt:Cite_web dbt:Main dbt:Pi dbt:When dbt:No_citations dbt:Countable_ordinals |
| dcterms:subject | dbc:Ordinal_numbers |
| rdf:type | yago:WikicatOrdinalNumbers yago:Abstraction100002137 yago:DefiniteQuantity113576101 yago:Measure100033615 yago:Number113582013 yago:OrdinalNumber113597280 |
| 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) In mathematical logic and set theory, an ordinal collapsing function (or projection function) is a technique for defining (notations for) certain recursive large countable ordinals, whose principle is to give names to certain ordinals much larger than the one being defined, perhaps even large cardinals (though they can be replaced with recursively large ordinals at the cost of extra technical difficulty), and then "collapse" them down to a system of notations for the sought-after ordinal. For this reason, ordinal collapsing functions are described as an impredicative manner of naming ordinals. (en) |
| rdfs:label | Fonction d'effondrement ordinale (fr) Ordinal collapsing function (en) |
| owl:sameAs | freebase:Ordinal collapsing function yago-res:Ordinal collapsing function wikidata:Ordinal collapsing function dbpedia-fr:Ordinal collapsing function https://global.dbpedia.org/id/4scJp |
| prov:wasDerivedFrom | wikipedia-en:Ordinal_collapsing_function?oldid=1123338600&ns=0 |
| foaf:isPrimaryTopicOf | wikipedia-en:Ordinal_collapsing_function |
| is dbo:notableIdea of | dbr:Solomon_Feferman |
| is dbo:wikiPageDisambiguates of | dbr:OCF |
| is dbo:wikiPageRedirects of | dbr:Arai_psi_function dbr:Arai_ψ_function dbr:Ordinal_collapsing_functions dbr:Collapsing_function |
| is dbo:wikiPageWikiLink of | dbr:List_of_forcing_notions dbr:Kurepa_tree dbr:OCF dbr:Theta dbr:Arai_psi_function dbr:Arai_ψ_function dbr:Feferman–Schütte_ordinal dbr:Psi_(Greek) dbr:Heinz_Bachmann dbr:Large_countable_ordinal dbr:Nonrecursive_ordinal dbr:Psi_function dbr:Bachmann–Howard_ordinal dbr:Solomon_Feferman dbr:Rathjen's_psi_function dbr:Takeuti–Feferman–Buchholz_ordinal dbr:Ordinal_collapsing_functions dbr:Collapsing_function |
| is dbp:notableIdeas of | dbr:Solomon_Feferman |
| is foaf:primaryTopic of | wikipedia-en:Ordinal_collapsing_function |