|
|
| Line 1: |
Line 1: |
| In [[mathematical logic]] and [[set theory]], an '''ordinal collapsing function''' (or '''projection function''') is a technique for defining ([[Ordinal notation|notations]] for) certain [[Recursive ordinal|recursive]] [[large countable ordinal]]s, whose principle is to give names to certain ordinals much larger than the one being defined, perhaps even [[Large cardinal property|large cardinals]] (though they can be replaced with [[Large countable ordinal#Beyond admissible ordinals|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 [[Impredicativity|impredicative]] manner of naming ordinals.
| | ңow well your body matches уour needs depеnds upon everything you put in it. To have a much healthier lifestyle, you геаlly positiѵe you consume the proper meals. Incorporate these concepts in your nutrition regimеn. Healthy dietɑгy habits are some of the secrets to a prosperous daily life.<br><br>Yօur daily ԁiet needs to be rich in whole grain products. Once you take in whole grains you actually be a little more healthier then those who eat a lot οf highly processed sugars. Make аn effort to have portions of food items like [http://Support.trainingcomputersolutions.co.uk/entries/35913149-Does-Vigrx-Plus-Really-Works-Straightforward-Ideas-To-Help-You-Consume-Healthier-Each-Day vigrx plus mercadolibre Mexico] whole whеat grains breads and brownish гice, daily. Your digеѕtive system will [http://caribgamer.freshmango.com/groups/vigrx-plus-pics-nourishment-is-important-find-out-the-basics-for-much-better-health/ Vigrx Plus Effects Permanent] be grateful for ingesting grain by performing effeсtively. Ԍraіn in addition provide a steadier energy supply. Ʀefined carbohydrates offer a quick broken of vitality and a increase in blood sugar levels, but this rеally is then a quick decline in power.<br><br>Require a multi-vitamin to supplement your new nutritious diet. This is certainly effective due to the fact, whilst it's a lot better to oƄtain your nutritіonal sսpplemеntѕ frߋm all-natural food items options, finding the 'insuгance' of any multiple-nutritional signifies that, if for reaѕons unknown eventuɑlly you don't get enough of somе supplement from the regսlar diеt program, you're continue to taken care of.<br><br>Stop consuming foods once yߋur entіre body will give you a sense of fullness. This will assist protect ɑgainst unnecessary eating. You happen to be one in сontrol of your meal ingestion.<br><br>Be sure you ɑre eating healthy, nutritioսs food items together with your allotment of energy. Your hеalth will ƅenefit far more from 1,700 energy of good quality proteins and vitamin supplement-packed vegetables, rather than 1,700 energy from birthday cake or cookies. A good diet is centered on good quality of numbeг. Consuming much healthieг iѕ far more important tҺan exactly how much mealѕ you're ingesting.<br><br>Among the finest approaсhes to enhance your meals are to eradicatе microwavable products. This really is eѕsential since thesе microԝavable food items include a big amount of sugars and fats which can be poor. Purchase gгeens and various meats new and cook them yourself to acquire probably the most [http://Meatbabies.com/vigrx-plus-reviews-amazon-helpful-tips-for-any-diet-plan-abundant-in-nourishment/ vigrx plus In dubai price] overall health aɗvantage.<br><br>If you need a excellent soil meat replacement when cooking [http://www.Beautyflames.com/sis%C3%A4lt%C3%B6/eating-properly-simple-when-you-use-these-superb-advice vigrx Plus jelqing] food, think of soil turkey breasts whicɦ іs toned. This may minimize the quantity of energy and saturɑted fats. Be sure to select toned turkey like floor bust as dark poultry meats is virtually as awful as soil beef. Some ground turҟey might have a combination of dim and tyρical beef therefore you won't have all of the benefits of гeducing all thе unhealthy fats.<br><br>Artificiɑl sweeteners еxchanging all of your sugar absorption is an excеllent healthy idea. Cardiovascular system and aϲtual physical concerns can materialize if you ingest a lot of sugaгs throughout the day. Sƿlenda and Stevia are both greаt sugar subѕtitutes. These swееteners rеplicate the taste of suɡars very well that you simply won't haνe the capacity to differеntiate.<br><br>Acquiring juice іs an excellent substitute for folks who tend not to just like thе work that eхplores preρaring vegetables and fruits. Fruit ʝuice is a ցreat way to get essential ѵitamins and minerals without needіng to spend time in cracking, choppіng or food preparatіon. To prevent damaging your tooth, select juicеs without added sugar, and siρ them via a straw.<br><br>You don't have to give up your favorite deep fried foods or sugars to obtain great diet іn maternity, just limit the sum you tɑke in. It is posѕible tо replacement some fruit and vegetables ог almonds for a sugary deal wіth to help you. Tend not to ѕense unheɑlthy for involving at times. Just [http://Photobucket.com/images/remember remember] that healthy alternatives are the most effective for your personal infant all round.<br><br>Fresh beets certainly are a great foods to incorporate in your daily diet, just be certain they aren't those that come from a can. Refrеsɦing beets provides yοu with a lot of vitamins and fiber content, but beets that happen to be processed may offer yoս a lot of salt. Consider quickly steaming somе Ьeet green veggies ɑnd incorpօrating beetroot for your salads.<br><br>Raԝ veggies are extrеmely noսrishing fоr you personally. They'll support resolve іndividuals cravings, help make your feel full, ɑnd proviԁe essential nutrients and vіtamins. They can be hardly more complicated to put togetheг and store than unnɑtural junk food. They can Ƅe even neater than more convenient food items. Uncooked vegetaƄles cаn produce a significantlу-needed equilibrіum in your daily diеt.<br><br>Turning into informeԀ aƄout excellent diet is essential for creating a daily life filled up with healthier ways of eating. Utilizing these gսidelines should be only a initial step, between numerous, in attaining a much ɦealthier life-style. Make an effort to understand all the about nutrients as you possіbly can. Understanding is potential. |
| | |
| 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 system]]s, typically<ref name="Rathjen-survey">Rathjen, 1995 (Bull. Symbolic Logic)</ref><ref name="Kahle">Kahle, 2002 (Synthese)</ref> subsystems of [[second-order arithmetic|analysis]] (such as those seen in the light of [[reverse mathematics]]), extensions of [[Kripke-Platek set theory]], [[Errett Bishop|Bishop]]-style systems of [[Constructivism (mathematics)|constructive mathematics]] or [[Per Martin-Löf|Martin-Löf]]-style systems of [[intuitionistic type theory]].
| |
| | |
| Ordinal collapsing functions are typically denoted using some variation of the Greek letter <math>\psi</math> ([[Psi (letter)|psi]]).
| |
| | |
| == An example leading up to the Bachmann-Howard ordinal ==
| |
| The choice of the ordinal collapsing function given as example below imitates greatly the system introduced by Buchholz<ref name="Buchholz">Buchholz, 1986 (Ann. Pure Appl. Logic)</ref> but is limited to collapsing one cardinal for clarity of exposition. More on the relation between this example and Buchholz's system will be said [[#Going beyond the Bachmann-Howard ordinal|below]].
| |
| | |
| === Definition ===
| |
| Let <math>\Omega</math> stand for the [[first uncountable ordinal]] <math>\omega_1</math>, or, in fact, any ordinal which is (an <math>\varepsilon</math>-number and) guaranteed to be greater than all the [[countable ordinal]]s which will be constructed (for example, the [[Church-Kleene ordinal]] is adequate for our purposes; but we will work with <math>\omega_1</math> because it allows the convenient use of the word ''countable'' in the definitions).
| |
| | |
| We define a function <math>\psi</math> (which will be [[Monotonic function|non-decreasing]] and [[Continuous function|continuous]]), taking an arbitrary ordinal <math>\alpha</math> to a countable ordinal <math>\psi(\alpha)</math>, recursively on <math>\alpha</math>, as follows:
| |
| | |
| :Assume <math>\psi(\beta)</math> has been defined for all <math>\beta<\alpha</math>, and we wish to define <math>\psi(\alpha)</math>.
| |
| | |
| :Let <math>C(\alpha)</math> be the set of ordinals generated starting from <math>0</math>, <math>1</math>, <math>\omega</math> and <math>\Omega</math> by recursively applying the following functions: ordinal [[Ordinal arithmetic|addition, multiplication and exponentiation]] and the function <math>\psi\upharpoonright_\alpha</math>, i.e., the restriction of <math>\psi</math> to ordinals <math>\beta<\alpha</math>. (Formally, we define <math>C(\alpha)_0 = \{0,1,\omega,\Omega\}</math> and inductively <math>C(\alpha)_{n+1} = C(\alpha)_n \cup \{\beta_1+\beta_2,\beta_1\beta_2,{\beta_1}^{\beta_2}: \beta_1,\beta_2\in C(\alpha)_n\} \cup \{\psi(\beta): \beta\in C(\alpha)_n \land \beta<\alpha\}</math> for all natural numbers <math>n</math> and we let <math>C(\alpha)</math> be the union of the <math>C(\alpha)_n</math> for all <math>n</math>.)
| |
| | |
| :Then <math>\psi(\alpha)</math> is defined as the smallest ordinal not belonging to <math>C(\alpha)</math>.
| |
| | |
| In a more concise (although more obscure) way:
| |
| :<math>\psi(\alpha)</math> is the smallest ordinal which cannot be expressed from <math>0</math>, <math>1</math>, <math>\omega</math> and <math>\Omega</math> using sums, products, exponentials, and the <math>\psi</math> function itself (to previously constructed ordinals less than <math>\alpha</math>).
| |
| | |
| Here is an attempt to explain the motivation for the definition of <math>\psi</math> in intuitive terms: since the usual operations of addition, multiplication and exponentiation are not sufficient to designate ordinals very far, we attempt to systematically create new names for ordinals by taking the first one which does not have a name yet, and whenever we run out of names, rather than invent them in an ''ad hoc'' fashion or using [[Cantor's diagonal argument|diagonal schemes]], we seek them in the ordinals far beyond the ones we are constructing (beyond <math>\Omega</math>, that is); so we give names to uncountable ordinals and, since in the end the list of names is necessarily countable, <math>\psi</math> will “collapse” them to countable ordinals.
| |
| | |
| === Computation of values of <math>\psi</math> ===
| |
| To clarify how the function <math>\psi</math> is able to produce notations for certain ordinals, we now compute its first values.
| |
| | |
| ==== Predicative start ====
| |
| First consider <math>C(0)</math>. It contains ordinals <math>0</math>, <math>1</math>, <math>2</math>, <math>3</math>, <math>\omega</math>, <math>\omega+1</math>, <math>\omega+2</math>, <math>\omega2</math>, <math>\omega3</math>, <math>\omega^2</math>, <math>\omega^3</math>, <math>\omega^\omega</math>, <math>\omega^{\omega^\omega}</math> and so on. It also contains such ordinals as <math>\Omega</math>, <math>\Omega+1</math>, <math>\Omega\omega</math>, <math>\Omega^\Omega</math>. The first ordinal which it does not contain is [[Epsilon nought|<math>\varepsilon_0</math>]] (which is the limit of <math>\omega</math>, <math>\omega^\omega</math>, <math>\omega^{\omega^\omega}</math> and so on — less than <math>\Omega</math> by assumption). The upper bound of the ordinals it contains is <math>\varepsilon_{\Omega+1}</math> (the limit of <math>\Omega</math>, <math>\Omega^\Omega</math>, <math>\Omega^{\Omega^\Omega}</math> and so on), but that is not so important. This shows that <math>\psi(0) = \varepsilon_0</math>.
| |
| | |
| Similarly, <math>C(1)</math> contains the ordinals which can be formed from <math>0</math>, <math>1</math>, <math>\omega</math>, <math>\Omega</math> and this time also <math>\varepsilon_0</math>, using addition, multiplication and exponentiation. This contains all the ordinals up to <math>\varepsilon_1</math> but not the latter, so <math>\psi(1) = \varepsilon_1</math>. In this manner, we prove that <math>\psi(\alpha) = \varepsilon_\alpha</math> inductively on <math>\alpha</math>: the proof works, however, only as long as <math>\alpha<\varepsilon_\alpha</math>. We therefore have:
| |
| | |
| :<math>\psi(\alpha) = \varepsilon_\alpha = \phi_1(\alpha)</math> for all <math>\alpha\leq\zeta_0</math>, where <math>\zeta_0 = \phi_2(0)</math> is the smallest fixed point of <math>\alpha \mapsto \varepsilon_\alpha</math>.
| |
| | |
| (Here, the <math>\phi</math> functions are the [[Veblen function]]s defined starting with <math>\phi_1(\alpha) = \varepsilon_\alpha</math>.)
| |
| | |
| Now <math>\psi(\zeta_0) = \zeta_0</math> but <math>\psi(\zeta_0+1)</math> is no larger, since <math>\zeta_0</math> cannot be constructed using finite applications of <math>\phi_1\colon \alpha\mapsto\varepsilon_\alpha</math> and thus never belongs to a <math>C(\alpha)</math> set for <math>\alpha\leq\Omega</math>, and the function <math>\psi</math> remains “stuck” at <math>\zeta_0</math> for some time:
| |
| | |
| :<math>\psi(\alpha) = \zeta_0</math> for all <math>\zeta_0 \leq \alpha \leq \Omega</math>.
| |
| | |
| ==== First impredicative values ====
| |
| Again, <math>\psi(\Omega) = \zeta_0</math>. However, when we come to computing <math>\psi(\Omega+1)</math>, something has changed: since <math>\Omega</math> was (“artificially”) added to all the <math>C(\alpha)</math>, we are permitted to take the value <math>\psi(\Omega) = \zeta_0</math> in the process. So <math>C(\Omega+1)</math> contains all ordinals which can be built from <math>0</math>, <math>1</math>, <math>\omega</math>, <math>\Omega</math>, the <math>\phi_1\colon\alpha\mapsto\varepsilon_\alpha</math> function ''up to <math>\zeta_0</math>'' and this time also <math>\zeta_0</math> itself, using addition, multiplication and exponentiation. The smallest ordinal not in <math>C(\Omega+1)</math> is <math>\varepsilon_{\zeta_0+1}</math> (the smallest <math>\varepsilon</math>-number after <math>\zeta_0</math>).
| |
| | |
| We say that the definition <math>\psi(\Omega) = \zeta_0</math> and the next values of the function <math>\psi</math> such as <math>\psi(\Omega+1) = \varepsilon_{\zeta_0+1}</math> are [[Impredicativity|impredicative]] because they use ordinals (here, <math>\Omega</math>) greater than the ones which are being defined (here, <math>\zeta_0</math>).
| |
| | |
| ==== Values of <math>\psi</math> up to the Feferman-Schütte ordinal ====
| |
| The fact that <math>\psi(\Omega+\alpha) = \varepsilon_{\zeta_0+\alpha}</math> remains true for all <math>\alpha \leq \zeta_1 = \phi_2(1)</math> (note, in particular, that <math>\psi(\Omega+\zeta_0) = \varepsilon_{\zeta_0 2}</math>: but since now the ordinal <math>\zeta_0</math> has been constructed there is nothing to prevent from going beyond this). However, at <math>\zeta_1 = \phi_2(1)</math> (the first fixed point of <math>\alpha\mapsto \varepsilon_\alpha</math> beyond <math>\zeta_0</math>), the construction stops again, because <math>\zeta_1</math> cannot be constructed from smaller ordinals and <math>\zeta_0</math> by finitely applying the <math>\varepsilon</math> function. So we have <math>\psi(\Omega 2) = \zeta_1</math>.
| |
| | |
| The same reasoning shows that <math>\psi(\Omega(1+\alpha)) = \phi_2(\alpha)</math> for all <math>\alpha\leq\phi_3(0)</math>, where <math>\phi_2</math> enumerates the fixed points of <math>\phi_1\colon\alpha\mapsto\varepsilon_\alpha</math> and <math>\phi_3(0)</math> is the first fixed point of <math>\phi_2</math>. We then have <math>\psi(\Omega^2) = \phi_3(0)</math>.
| |
| | |
| Again, we can see that <math>\psi(\Omega^\alpha) = \phi_{1+\alpha}(0)</math> for some time: this remains true until the first fixed point <math>\Gamma_0</math> of <math>\alpha \mapsto \phi_\alpha(0)</math>, which is the [[Feferman-Schütte ordinal]]. Thus, <math>\psi(\Omega^\Omega) = \Gamma_0</math> is the Feferman-Schütte ordinal.
| |
| | |
| ==== Beyond the Feferman-Schütte ordinal ====
| |
| We have <math>\psi(\Omega^\Omega+\Omega^\alpha) = \phi_{\Gamma_0+\alpha}(0)</math> for all <math>\alpha\leq\Gamma_1</math> where <math>\Gamma_1</math> is the next fixed point of <math>\alpha \mapsto \phi_\alpha(0)</math>. So, if <math>\alpha\mapsto\Gamma_\alpha</math> enumerates the fixed points in question (which can also be noted <math>\phi(1,0,\alpha)</math> using the many-valued Veblen functions) we have <math>\psi(\Omega^\Omega(1+\alpha)) = \Gamma_\alpha</math>, until the first fixed point <math>\phi(1,1,0)</math> of the <math>\alpha\mapsto\Gamma_\alpha</math> itself, which will be <math>\psi(\Omega^{\Omega+1})</math> (and the first fixed point <math>\phi(2,0,0)</math> of the <math>\alpha \mapsto \phi(1,\alpha,0)</math> functions will be <math>\psi(\Omega^{\Omega2})</math>). In this manner:
| |
| * <math>\psi(\Omega^{\Omega^2})</math> is the [[Ackermann ordinal]] (the range of the notation <math>\phi(\alpha,\beta,\gamma)</math> defined predicatively),
| |
| * <math>\psi(\Omega^{\Omega^\omega})</math> is the [[small Veblen ordinal|“small” Veblen ordinal]] (the range of the notations <math>\phi(\ldots)</math> predicatively using finitely many variables),
| |
| * <math>\psi(\Omega^{\Omega^\Omega})</math> is the [[large Veblen ordinal|“large” Veblen ordinal]] (the range of the notations <math>\phi(\ldots)</math> predicatively using transfinitely-but-predicatively-many variables),
| |
| * the limit <math>\psi(\varepsilon_{\Omega+1})</math> of <math>\psi(\Omega)</math>, <math>\psi(\Omega^\Omega)</math>, <math>\psi(\Omega^{\Omega^\Omega})</math>, etc., is the [[Bachmann-Howard ordinal]]: after this our function <math>\psi</math> is constant, and we can go no further with the definition we have given.
| |
| | |
| === Ordinal notations up to the Bachmann-Howard ordinal ===
| |
| We now explain more systematically how the <math>\psi</math> function defines notations for ordinals up to the Bachmann-Howard ordinal.
| |
| | |
| ==== A note about base representations ====
| |
| Recall that if <math>\delta</math> is an ordinal which is a power of <math>\omega</math> (for example <math>\omega</math> itself, or <math>\varepsilon_0</math>, or <math>\Omega</math>), any ordinal <math>\alpha</math> can be uniquely expressed in the form <math>\delta^{\beta_1}\gamma_1 + \ldots + \delta^{\beta_k}\gamma_k</math>, where <math>k</math> is a natural number, <math>\gamma_1,\ldots,\gamma_k</math> are non-zero ordinals less than <math>\delta</math>, and <math>\beta_1 > \beta_2 > \cdots > \beta_k</math> are ordinal numbers (we allow <math>\beta_k=0</math>). This “base <math>\delta</math> representation” is an obvious generalization of the [[Ordinal arithmetic#Cantor normal form|Cantor normal form]] (which is the case <math>\delta=\omega</math>). Of course, it may quite well be that the expression is uninteresting, i.e., <math>\alpha = \delta^\alpha</math>, but in any other case the <math>\beta_i</math> must all be less than <math>\alpha</math>; it may also be the case that the expression is trivial (i.e., <math>\alpha<\delta</math>, in which case <math>k\leq 1</math> and <math>\gamma_1 = \alpha</math>).
| |
| | |
| If <math>\alpha</math> is an ordinal less than <math>\varepsilon_{\Omega+1}</math>, then its base <math>\Omega</math> representation has coefficients <math>\gamma_i<\Omega</math> (by definition) and exponents <math>\beta_i<\alpha</math> (because of the assumption <math>\alpha < \varepsilon_{\Omega+1}</math>): hence one can rewrite these exponents in base <math>\Omega</math> and repeat the operation until the process terminates (any decreasing sequence of ordinals is finite). We call the resulting expression the ''iterated base <math>\Omega</math> representation'' of <math>\alpha</math> and the various coefficients involved (including as exponents) the ''pieces'' of the representation (they are all <math><\Omega</math>), or, for short, the <math>\Omega</math>-pieces of <math>\alpha</math>.
| |
| | |
| ==== Some properties of <math>\psi</math> ====
| |
| * The function <math>\psi</math> is non-decreasing and continuous (this is more or less obvious from its definition).
| |
| * If <math>\psi(\alpha) = \psi(\beta)</math> with <math>\beta<\alpha</math> then necessarily <math>C(\alpha) = C(\beta)</math>. Indeed, no ordinal <math>\beta'</math> with <math>\beta\leq\beta'<\alpha</math> can belong to <math>C(\alpha)</math> (otherwise its image by <math>\psi</math>, which is <math>\psi(\alpha)</math> would belong to <math>C(\alpha)</math> — impossible); so <math>C(\beta)</math> is closed by everything under which <math>C(\alpha)</math> is the closure, so they are equal.
| |
| * Any value <math>\gamma=\psi(\alpha)</math> taken by <math>\psi</math> is an <math>\varepsilon</math>-number (i.e., a fixed point of <math>\beta\mapsto\omega^\beta</math>). Indeed, if it were not, then by writing it in [[Ordinal arithmetic#Cantor normal form|Cantor normal form]], it could be expressed using sums, products and exponentiation from elements less than it, hence in <math>C(\alpha)</math>, so it would be in <math>C(\alpha)</math>, a contradiction.
| |
| * Lemma: Assume <math>\delta</math> is an <math>\varepsilon</math>-number and <math>\alpha</math> an ordinal such that <math>\psi(\beta)<\delta</math> for all <math>\beta<\alpha</math>: then the <math>\Omega</math>-pieces (defined [[#A note about base representations|above]]) of any element of <math>C(\alpha)</math> are less than <math>\delta</math>. Indeed, let <math>C'</math> be the set of ordinals all of whose <math>\Omega</math>-pieces are less than <math>\delta</math>. Then <math>C'</math> is closed under addition, multiplication and exponentiation (because <math>\delta</math> is an <math>\varepsilon</math>-number, so ordinals less than it are closed under addition, multiplication and exponentiation). And <math>C'</math> also contains every <math>\psi(\beta)</math> for <math>\beta<\alpha</math> by assumption, and it contains <math>0</math>, <math>1</math>, <math>\omega</math>, <math>\Omega</math>. So <math>C'\supseteq C(\alpha)</math>, which was to be shown.
| |
| * Under the hypothesis of the previous lemma, <math>\psi(\alpha) \leq \delta</math> (indeed, the lemma shows that <math>\delta \not\in C(\alpha)</math>).
| |
| * Any <math>\varepsilon</math>-number less than some element in the range of <math>\psi</math> is itself in the range of <math>\psi</math> (that is, <math>\psi</math> omits no <math>\varepsilon</math>-number). Indeed: if <math>\delta</math> is an <math>\varepsilon</math>-number not greater than the range of <math>\psi</math>, let <math>\alpha</math> be the least upper bound of the <math>\beta</math> such that <math>\psi(\beta)<\delta</math>: then by the above we have <math>\psi(\alpha)\leq\delta</math>, but <math>\psi(\alpha)<\delta</math> would contradict the fact that <math>\alpha</math> is the ''least'' upper bound — so <math>\psi(\alpha)=\delta</math>.
| |
| * Whenever <math>\psi(\alpha) = \delta</math>, the set <math>C(\alpha)</math> consists exactly of those ordinals <math>\gamma</math> (less than <math>\varepsilon_{\Omega+1}</math>) all of whose <math>\Omega</math>-pieces are less than <math>\delta</math>. Indeed, we know that all ordinals less than <math>\delta</math>, hence all ordinals (less than <math>\varepsilon_{\Omega+1}</math>) whose <math>\Omega</math>-pieces are less than <math>\delta</math>, are in <math>C(\alpha)</math>. Conversely, if we assume <math>\psi(\beta) < \delta</math> for all <math>\beta<\alpha</math> (in other words if <math>\alpha</math> is the least possible with <math>\psi(\alpha)=\delta</math>), the lemma gives the desired property. On the other hand, if <math>\psi(\alpha) = \psi(\beta)</math> for some <math>\beta<\alpha</math>, then we have already remarked <math>C(\alpha) = C(\beta)</math> and we can replace <math>\alpha</math> by the least possible with <math>\psi(\alpha)=\delta</math>.
| |
| | |
| ==== The ordinal notation ====
| |
| Using the facts above, we can define a (canonical) ordinal notation for every <math>\gamma</math> less than the Bachmann-Howard ordinal. We do this by induction on <math>\gamma</math>.
| |
| | |
| If <math>\gamma</math> is less than <math>\varepsilon_0</math>, we use the iterated Cantor normal form of <math>\gamma</math>. Otherwise, there exists a largest <math>\varepsilon</math>-number <math>\delta</math> less or equal to <math>\gamma</math> (this is because the set of <math>\varepsilon</math>-numbers is closed): if <math>\delta<\gamma</math> then by induction we have defined a notation for <math>\delta</math> and the base <math>\delta</math> representation of <math>\gamma</math> gives one for <math>\gamma</math>, so we are finished.
| |
| | |
| It remains to deal with the case where <math>\gamma=\delta</math> is an <math>\varepsilon</math>-number: we have argued that, in this case, we can write <math>\delta = \psi(\alpha)</math> for some (possibly uncountable) ordinal <math>\alpha<\varepsilon_{\Omega+1}</math>: let <math>\alpha</math> be the ''greatest'' possible such ordinal (which exists since <math>\psi</math> is continuous). We use the iterated base <math>\Omega</math> representation of <math>\alpha</math>: it remains to show that every piece of this representation is less than <math>\delta</math> (so we have already defined a notation for it). If this is ''not'' the case then, by the properties we have shown, <math>C(\alpha)</math> does not contain <math>\alpha</math>; but then <math>C(\alpha+1)=C(\alpha)</math> (they are closed under the same operations, since the value of <math>\psi</math> at <math>\alpha</math> can never be taken), so <math>\psi(\alpha+1)=\psi(\alpha)=\delta</math>, contradicting the maximality of <math>\alpha</math>.
| |
| | |
| '''Note''': Actually, we have defined canonical notations not just for ordinals below the Bachmann-Howard ordinal but also for certain uncountable ordinals, namely those whose <math>\Omega</math>-pieces are less than the Bachmann-Howard ordinal (viz.: write them in iterated base <math>\Omega</math> representation and use the canonical representation for every piece). This canonical notation is used for arguments of the <math>\psi</math> function (which may be uncountable).
| |
| | |
| ==== Examples ====
| |
| For ordinals less than <math>\varepsilon_0 = \psi(0)</math>, the canonical ordinal notation defined coincides with the iterated Cantor normal form (by definition).
| |
| | |
| For ordinals less than <math>\varepsilon_1 = \psi(1)</math>, the notation coincides with iterated base <math>\varepsilon_0</math> notation (the pieces being themselves written in iterated Cantor normal form): e.g., <math>\omega^{\omega^{\varepsilon_0+\omega}}</math> will be written <math>{\varepsilon_0}^{\omega^\omega}</math>, or, more accurately, <math>\psi(0)^{\omega^\omega}</math>. For ordinals less than <math>\varepsilon_2 = \psi(2)</math>, we similarly write in iterated base <math>\varepsilon_1</math> and then write the pieces in iterated base <math>\varepsilon_0</math> (and write the pieces of ''that'' in iterated Cantor normal form): so <math>\omega^{\omega^{\varepsilon_1+\varepsilon_0+1}}</math> is written <math>{\varepsilon_1}^{\varepsilon_0\omega}</math>, or, more accurately, <math>\psi(1)^{\psi(0)\,\omega}</math>. Thus, up to <math>\zeta_0 = \psi(\Omega)</math>, we always use the largest possible <math>\varepsilon</math>-number base which gives a non-trivial representation.
| |
| | |
| Beyond this, we may need to express ordinals beyond <math>\Omega</math>: this is always done in iterated <math>\Omega</math>-base, and the pieces themselves need to be expressed using the largest possible <math>\varepsilon</math>-number base which gives a non-trivial representation.
| |
| | |
| Note that while <math>\psi(\varepsilon_{\Omega+1})</math> is equal to the Bachmann-Howard ordinal, this is not a “canonical notation” in the sense we have defined (canonical notations are defined only for ordinals ''less'' than the Bachmann-Howard ordinal).
| |
| | |
| ==== Conditions for canonicalness ====
| |
| The notations thus defined have the property that whenever they nest <math>\psi</math> functions, the arguments of the “inner” <math>\psi</math> function are always less than those of the “outer” one (this is a consequence of the fact that the <math>\Omega</math>-pieces of <math>\alpha</math>, where <math>\alpha</math> is the largest possible such that <math>\psi(\alpha)=\delta</math> for some <math>\varepsilon</math>-number <math>\delta</math>, are all less than <math>\delta</math>, as we have shown above). For example, <math>\psi(\psi(\Omega)+1)</math> does not occur as a notation: it is a well-defined expression (and it is equal to <math>\psi(\Omega) = \zeta_0</math> since <math>\psi</math> is constant between <math>\zeta_0</math> and <math>\Omega</math>), but it is not a notation produced by the inductive algorithm we have outlined.
| |
| | |
| Canonicalness can be checked recursively: an expression is canonical if and only if it is either the iterated Cantor normal form of an ordinal less than <math>\varepsilon_0</math>, or an iterated base <math>\delta</math> representation all of whose pieces are canonical, for some <math>\delta=\psi(\alpha)</math> where <math>\alpha</math> is itself written in iterated base <math>\Omega</math> representation all of whose pieces are canonical and less than <math>\delta</math>. The order is checked by lexicographic verification at all levels (keeping in mind that <math>\Omega</math> is greater than any expression obtained by <math>\psi</math>, and for canonical values the greater <math>\psi</math> always trumps the lesser or even arbitrary sums, products and exponentials of the lesser).
| |
| | |
| For example, <math>\psi(\Omega^{\omega+1}\,\psi(\Omega) + \psi(\Omega^\omega)^{\psi(\Omega^2)}42)^{\psi(1729)\,\omega}</math> is a canonical notation for an ordinal which is less than the Feferman-Schütte ordinal: it can be written using the Veblen functions as <math>\phi_1(\phi_{\omega+1}(\phi_2(0)) + \phi_\omega(0)^{\phi_3(0)}42)^{\phi_1(1729)\,\omega}</math>.
| |
| | |
| Concerning the order, one might point out that <math>\psi(\Omega^\Omega)</math> (the Feferman-Schütte ordinal) is much more than <math>\psi(\Omega^{\psi(\Omega)}) = \phi_{\phi_2(0)}(0)</math> (because <math>\Omega</math> is greater than <math>\psi</math> of anything), and <math>\psi(\Omega^{\psi(\Omega)}) = \phi_{\phi_2(0)}(0)</math> is itself much more than <math>\psi(\Omega)^{\psi(\Omega)} = \phi_2(0)^{\phi_2(0)}</math> (because <math>\Omega^{\psi(\Omega)}</math> is greater than <math>\Omega</math>, so any sum-product-or-exponential expression involving <math>\psi(\Omega)</math> and smaller value will remain less than <math>\psi(\Omega^\Omega)</math>). In fact, <math>\psi(\Omega)^{\psi(\Omega)}</math> is already less than <math>\psi(\Omega+1)</math>.
| |
| | |
| === Standard sequences for ordinal notations ===
| |
| {{main|Fundamental sequence (ordinals)}}
| |
| To witness the fact that we have defined notations for ordinals below the Bachmann-Howard ordinal (which are all of countable [[cofinality]]), we might define standard sequences converging to any one of them (provided it is a limit ordinal, of course). Actually we will define canonical sequences for certain uncountable ordinals, too, namely the uncountable ordinals of ''countable'' cofinality (if we are to hope to define a sequence converging to them…) which are representable (that is, all of whose <math>\Omega</math>-pieces are less than the Bachmann-Howard ordinal).
| |
| | |
| The following rules are more or less obvious, except for the last:
| |
| * First, get rid of the (iterated) base <math>\delta</math> representations: to define a standard sequence converging to <math>\alpha = \delta^{\beta_1}\gamma_1 + \cdots + \delta^{\beta_k}\gamma_k</math>, where <math>\delta</math> is either <math>\omega</math> or <math>\psi(\cdots)</math> (or <math>\Omega</math>, but see below):
| |
| ** if <math>k</math> is zero then <math>\alpha=0</math> and there is nothing to be done;
| |
| ** if <math>\beta_k</math> is zero and <math>\gamma_k</math> is successor, then <math>\alpha</math> is successor and there is nothing to be done;
| |
| ** if <math>\gamma_k</math> is limit, take the standard sequence converging to <math>\gamma_k</math> and replace <math>\gamma_k</math> in the expression by the elements of that sequence;
| |
| ** if <math>\gamma_k</math> is successor and <math>\beta_k</math> is limit, rewrite the last term <math>\delta^{\beta_k}\gamma_k</math> as <math>\delta^{\beta_k}(\gamma_k-1) + \delta^{\beta_k}</math> and replace the exponent <math>\beta_k</math> in the last term by the elements of the fundamental sequence converging to it;
| |
| ** if <math>\gamma_k</math> is successor and <math>\beta_k</math> is also, rewrite the last term <math>\delta^{\beta_k}\gamma_k</math> as <math>\delta^{\beta_k}(\gamma_k-1) + \delta^{\beta_k-1}\delta</math> and replace the last <math>\delta</math> in this expression by the elements of the fundamental sequence converging to it.
| |
| * If <math>\delta</math> is <math>\omega</math>, then take the obvious <math>0</math>, <math>1</math>, <math>2</math>, <math>3</math>… as the fundamental sequence for <math>\delta</math>.
| |
| * If <math>\delta = \psi(0)</math> then take as fundamental sequence for <math>\delta</math> the sequence <math>\omega</math>, <math>\omega^\omega</math>, <math>\omega^{\omega^\omega}</math>…
| |
| * If <math>\delta = \psi(\alpha+1)</math> then take as fundamental sequence for <math>\delta</math> the sequence <math>\psi(\alpha)</math>, <math>\psi(\alpha)^{\psi(\alpha)}</math>, <math>\psi(\alpha)^{\psi(\alpha)^{\psi(\alpha)}}</math>…
| |
| * If <math>\delta = \psi(\alpha)</math> where <math>\alpha</math> is a limit ordinal of ''countable'' cofinality, define the standard sequence for <math>\delta</math> to be obtained by applying <math>\psi</math> to the standard sequence for <math>\alpha</math> (recall that <math>\psi</math> is continuous, here).
| |
| * It remains to handle the case where <math>\delta = \psi(\alpha)</math> with <math>\alpha</math> an ordinal of ''uncountable'' cofinality (e.g., <math>\Omega</math> itself). Obviously it doesn't make sense to define a sequence converging to <math>\alpha</math> in this case; however, what we can define is a sequence converging to some <math>\rho<\alpha</math> with countable cofinality and such that <math>\psi</math> is constant between <math>\rho</math> and <math>\alpha</math>. This <math>\rho</math> will be the first fixed point of a certain (continuous and non-decreasing) function <math>\xi\mapsto h(\psi(\xi))</math>. To find it, apply the same rules (from the base <math>\Omega</math> representation of <math>\alpha</math>) as to find the canonical sequence of <math>\alpha</math>, except that whenever a sequence converging to <math>\Omega</math> is called for (something which cannot exist), replace the <math>\Omega</math> in question, in the expression of <math>\alpha = h(\Omega)</math>, by a <math>\psi(\xi)</math> (where <math>\xi</math> is a variable) and perform a repeated iteration (starting from <math>0</math>, say) of the function <math>\xi\mapsto h(\psi(\xi))</math>: this gives a sequence <math>0</math>, <math>h(\psi(0))</math>, <math>h(\psi(h(\psi(0))))</math>… tending to <math>\rho</math>, and the canonical sequence for <math>\psi(\alpha) = \psi(\rho)</math> is <math>\psi(0)</math>, <math>\psi(h(\psi(0)))</math>, <math>\psi(h(\psi(h(\psi(0)))))</math>… (The examples below should make this clearer.)
| |
| | |
| Here are some examples for the last (and most interesting) case:
| |
| * The canonical sequence for <math>\psi(\Omega)</math> is: <math>\psi(0)</math>, <math>\psi(\psi(0))</math>, <math>\psi(\psi(\psi(0)))</math>… This indeed converges to <math>\rho = \psi(\Omega) = \zeta_0</math> after which <math>\psi</math> is constant until <math>\Omega</math>.
| |
| * The canonical sequence for <math>\psi(\Omega 2)</math> is: <math>\psi(0)</math>, <math>\psi(\Omega+\psi(0))</math>, <math>\psi(\Omega+\psi(\Omega+\psi(0)))</math>… This indeed converges to the value of <math>\psi</math> at <math>\rho = \Omega + \psi(\Omega 2) = \Omega + \zeta_1</math> after which <math>\psi</math> is constant until <math>\Omega 2</math>.
| |
| * The canonical sequence for <math>\psi(\Omega^2)</math> is: <math>\psi(0)</math>, <math>\psi(\Omega\psi(0))</math>, <math>\psi(\Omega\psi(\Omega\psi(0)))</math>… This converges to the value of <math>\psi</math> at <math>\rho = \Omega \psi(\Omega^2)</math>.
| |
| * The canonical sequence for <math>\psi(\Omega^2 3 + \Omega)</math> is <math>\psi(0)</math>, <math>\psi(\Omega^2 3 + \psi(0))</math>, <math>\psi(\Omega^2 3 + \psi(\Omega^2 3 + \psi(0)))</math>… This converges to the value of <math>\psi</math> at <math>\rho = \Omega^2 3 + \psi(\Omega^2 3 + \Omega)</math>.
| |
| * The canonical sequence for <math>\psi(\Omega^\Omega)</math> is: <math>\psi(0)</math>, <math>\psi(\Omega^{\psi(0)})</math>, <math>\psi(\Omega^{\psi(\Omega^{\psi(0)})})</math>… This converges to the value of <math>\psi</math> at <math>\rho = \Omega^{\psi(\Omega^\Omega)}</math>.
| |
| * The canonical sequence for <math>\psi(\Omega^\Omega 3)</math> is: <math>\psi(0)</math>, <math>\psi(\Omega^\Omega 2+\Omega^{\psi(0)})</math>, <math>\psi(\Omega^\Omega 2+\Omega^{\psi(\Omega^\Omega 2+\Omega^{\psi(0)})})</math>… This converges to the value of <math>\psi</math> at <math>\rho = \Omega^\Omega 2 + \Omega^{\psi(\Omega^\Omega 3)}</math>.
| |
| * The canonical sequence for <math>\psi(\Omega^{\Omega+1})</math> is: <math>\psi(0)</math>, <math>\psi(\Omega^\Omega \psi(0))</math>, <math>\psi(\Omega^\Omega \psi(\Omega^\Omega \psi(0)))</math>… This converges to the value of <math>\psi</math> at <math>\rho = \Omega^\Omega \psi(\Omega^{\Omega+1})</math>.
| |
| * The canonical sequence for <math>\psi(\Omega^{\Omega^2+\Omega 3})</math> is: <math>\psi(0)</math>, <math>\psi(\Omega^{\Omega^2+\Omega 2+\psi(0)})</math>, <math>\psi(\Omega^{\Omega^2+\Omega 2+\psi(\Omega^{\Omega^2+\Omega 2+\psi(0)})})</math>…
| |
| | |
| Here are some examples of the other cases:
| |
| * The canonical sequence for <math>\omega^2</math> is: <math>0</math>, <math>\omega</math>, <math>\omega 2</math>, <math>\omega 3</math>…
| |
| * The canonical sequence for <math>\psi(\omega^\omega)</math> is: <math>\psi(1)</math>, <math>\psi(\omega)</math>, <math>\psi(\omega^2)</math>, <math>\psi(\omega^3)</math>…
| |
| * The canonical sequence for <math>\psi(\Omega)^\omega</math> is: <math>1</math>, <math>\psi(\Omega)</math>, <math>\psi(\Omega)^2</math>, <math>\psi(\Omega)^3</math>…
| |
| * The canonical sequence for <math>\psi(\Omega+1)</math> is: <math>\psi(\Omega)</math>, <math>\psi(\Omega)^{\psi(\Omega)}</math>, <math>\psi(\Omega)^{\psi(\Omega)^{\psi(\Omega)}}</math>…
| |
| * The canonical sequence for <math>\psi(\Omega+\omega)</math> is: <math>\psi(\Omega)</math>, <math>\psi(\Omega+1)</math>, <math>\psi(\Omega+2)</math>, <math>\psi(\Omega+3)</math>…
| |
| * The canonical sequence for <math>\psi(\Omega\omega)</math> is: <math>\psi(0)</math>, <math>\psi(\Omega)</math>, <math>\psi(\Omega 2)</math>, <math>\psi(\Omega 3)</math>…
| |
| * The canonical sequence for <math>\psi(\Omega^\omega)</math> is: <math>\psi(1)</math>, <math>\psi(\Omega)</math>, <math>\psi(\Omega^2)</math>, <math>\psi(\Omega^3)</math>…
| |
| * The canonical sequence for <math>\psi(\Omega^{\psi(0)})</math> is: <math>\psi(\Omega^\omega)</math>, <math>\psi(\Omega^{\omega^\omega})</math>, <math>\psi(\Omega^{\omega^{\omega^\omega}})</math>… (this is derived from the fundamental sequence for <math>\psi(0)</math>).
| |
| * The canonical sequence for <math>\psi(\Omega^{\psi(\Omega)})</math> is: <math>\psi(\Omega^{\psi(0)})</math>, <math>\psi(\Omega^{\psi(\psi(0))})</math>, <math>\psi(\Omega^{\psi(\psi(\psi(0)))})</math>… (this is derived from the fundamental sequence for <math>\psi(\Omega)</math>, which was given above).
| |
| | |
| Even though the Bachmann-Howard ordinal <math>\psi(\varepsilon_{\Omega+1})</math> itself has no canonical notation, it is also useful to define a canonical sequence for it: this is <math>\psi(\Omega)</math>, <math>\psi(\Omega^\Omega)</math>, <math>\psi(\Omega^{\Omega^\Omega})</math>…
| |
| | |
| === A terminating process ===
| |
| Start with any ordinal less or equal to the Bachmann-Howard ordinal, and repeat the following process so long as it is not zero:
| |
| * if the ordinal is a successor, subtract one (that is, replace it with its predecessor),
| |
| * if it is a limit, replace it by some element of the canonical sequence defined for it.
| |
| Then it is true that this process always terminates (as any decreasing sequence of ordinals is finite); however, like (but even more so than for) the [[Goodstein's theorem|hydra game]]:
| |
| # it can take a ''very'' long time to terminate,
| |
| # the proof of termination may be out of reach of certain weak systems of arithmetic.
| |
| | |
| To give some flavor of what the process feels like, here are some steps of it: starting from <math>\psi(\Omega^{\Omega^\omega})</math> (the small Veblen ordinal), we might go down to <math>\psi(\Omega^{\Omega^3})</math>, from there down to <math>\psi(\Omega^{\Omega^2 \psi(0)})</math>, then <math>\psi(\Omega^{\Omega^2 \omega^\omega})</math> then <math>\psi(\Omega^{\Omega^2 \omega^3})</math> then <math>\psi(\Omega^{\Omega^2 \omega^2 7})</math> then <math>\psi(\Omega^{\Omega^2 (\omega^2 6 + \omega)})</math> then <math>\psi(\Omega^{\Omega^2 (\omega^2 6 + 1)})</math> then <math>\psi(\Omega^{\Omega^2 \omega^2 6 + \Omega \psi(\Omega^{\Omega^2 \omega^2 6 + \Omega \psi(0)})})</math> and so on. It appears as though the expressions are getting more and more complicated whereas, in fact, the ordinals always decrease.
| |
| | |
| Concerning the first statement, one could introduce, for any ordinal <math>\alpha</math> less or equal to the Bachmann-Howard ordinal <math>\psi(\varepsilon_{\Omega+1})</math>, the integer function <math>f_\alpha(n)</math> which counts the number of steps of the process before termination if one always selects the <math>n</math>'th element from the canonical sequence. Then <math>f_\alpha</math> can be a very fast growing function: already <math>f_{\omega^\omega}(n)</math> is essentially <math>n^n</math>, the function <math>f_{\psi(\Omega^\omega)}(n)</math> is comparable with the [[Ackermann function]] <math>A(n,n)</math>, and <math>f_{\psi(\varepsilon_{\Omega+1})}(n)</math> is quite unimaginable.
| |
| | |
| Concerning the second statement, a precise version is given by [[ordinal analysis]]: for example, [[Kripke-Platek set theory]] can prove<ref name="Rathjen-slides-part3">Rathjen, 2005 (Fischbachau slides)</ref> that the process terminates for any given <math>\alpha</math> less than the Bachmann-Howard ordinal, but it cannot do this uniformly, i.e., it cannot prove the termination starting from the Bachmann-Howard ordinal. Some theories like [[Peano arithmetic]] are limited by much smaller ordinals (<math>\varepsilon_0</math> in the case of Peano arithmetic).
| |
| | |
| == Variations on the example ==
| |
| | |
| === Making the function ''less'' powerful ===
| |
| It is instructive (although not exactly useful) to make <math>\psi</math> less powerful.
| |
| | |
| If we alter the definition of <math>\psi</math> above to omit exponentiation from the repertoire from which <math>C(\alpha)</math> is constructed, then we get <math>\psi(0) = \omega^\omega</math> (as this is the smallest ordinal which cannot be constructed from <math>0</math>, <math>1</math> and <math>\omega</math> using addition and multiplication only), then <math>\psi(1) = \omega^{\omega^2}</math> and similarly <math>\psi(\omega) = \omega^{\omega^\omega}</math>, <math>\psi(\psi(0)) = \omega^{\omega^{\omega^\omega}}</math> until we come to a fixed point which is then our <math>\psi(\Omega) = \varepsilon_0</math>. We then have <math>\psi(\Omega+1) = {\varepsilon_0}^\omega</math> and so on until <math>\psi(\Omega 2) = \varepsilon_1</math>. Since multiplication of <math>\Omega</math>'s is permitted, we can still form <math>\psi(\Omega^2) = \phi_2(0)</math> and <math>\psi(\Omega^3) = \phi_3(0)</math> and so on, but our construction ends there as there is no way to get at or beyond <math>\Omega^\omega</math>: so the range of this weakened system of notation is <math>\psi(\Omega^\omega) = \phi_\omega(0)</math> (the value of <math>\psi(\Omega^\omega)</math> is the same in our weaker system as in our original system, except that now we cannot go beyond it). This does not even go as far as the Feferman-Schütte ordinal.
| |
| | |
| If we alter the definition of <math>\psi</math> yet some more to allow only addition as a primitive for construction, we get <math>\psi(0) = \omega^2</math> and <math>\psi(1) = \omega^3</math> and so on until <math>\psi(\psi(0)) = \omega^{\omega^2}</math> and still <math>\psi(\Omega) = \varepsilon_0</math>. This time, <math>\psi(\Omega+1) = \varepsilon_0 \omega</math> and so on until <math>\psi(\Omega 2) = \varepsilon_1</math> and similarly <math>\psi(\Omega 3) = \varepsilon_2</math>. But this time we can go no further: since we can only add <math>\Omega</math>'s, the range of our system is <math>\psi(\Omega\omega) = \varepsilon_\omega = \phi_1(\omega)</math>.
| |
| | |
| In both cases, we find that the limitation on the weakened <math>\psi</math> function comes not so much from the operations allowed on the ''countable'' ordinals as on the ''uncountable'' ordinals we allow ourselves to denote.
| |
| | |
| === Going beyond the Bachmann-Howard ordinal ===
| |
| We know that <math>\psi(\varepsilon_{\Omega+1})</math> is the Bachmann-Howard ordinal. The reason why <math>\psi(\varepsilon_{\Omega+1}+1)</math> is no larger, with our definitions, is that there is no notation for <math>\varepsilon_{\Omega+1}</math> (it does not belong to <math>C(\alpha)</math> for any <math>\alpha</math>, it is always the least upper bound of it). One could try to add the <math>\varepsilon</math> function (or the Veblen functions of so-many-variables) to the allowed primitives beyond addition, multiplication and exponentiation, but that does not get us very far. To create more systematic notations for countable ordinals, we need more systematic notations for uncountable ordinals: we cannot use the <math>\psi</math> function itself because it only yields countable ordinals (e.g., <math>\psi(\Omega+1)</math> is, <math>\varepsilon_{\phi_2(0)+1}</math>, certainly not <math>\varepsilon_{\Omega+1}</math>), so the idea is to mimic its definition as follows:
| |
| | |
| :Let <math>\psi_1(\alpha)</math> be the smallest ordinal which cannot be expressed from all countable ordinals, <math>\Omega</math> and <math>\Omega_2</math> using sums, products, exponentials, and the <math>\psi_1</math> function itself (to previously constructed ordinals less than <math>\alpha</math>).
| |
| | |
| Here, <math>\Omega_2</math> is a new ordinal guaranteed to be greater than all the ordinals which will be constructed using <math>\psi_1</math>: again, letting <math>\Omega = \omega_1</math> and <math>\Omega_2 = \omega_2</math> works.
| |
| | |
| For example, <math>\psi_1(0) = \varepsilon_{\Omega+1}</math>, and more generally <math>\psi_1(\alpha) = \varepsilon_{\Omega+1+\alpha}</math> for all countable ordinals and even beyond (<math>\psi_1(\Omega) = \varepsilon_{\Omega 2}</math> and <math>\psi_1(\psi_1(0)) = \varepsilon_{\Omega+\varepsilon_{\Omega+1}}</math>): this holds up to the first fixed point <math>\zeta_{\Omega+1}</math> beyond <math>\Omega</math> of the <math>\xi\mapsto\varepsilon_\xi</math> function, which is the limit of <math>\psi_1(0)</math>, <math>\psi_1(\psi_1(0))</math> and so forth. Beyond this, we have <math>\psi_1(\alpha) = \zeta_{\Omega+1}</math> and this remains true until <math>\Omega_2</math>: exactly as was the case for <math>\psi(\Omega)</math>, we have <math>\psi_1(\Omega_2) = \zeta_{\Omega+1}</math> and <math>\psi_1(\Omega_2+1) = \varepsilon_{\zeta_{\Omega+1}+1}</math>.
| |
| | |
| The <math>\psi_1</math> function gives us a system of notations (''assuming'' we can somehow write down all countable ordinals!) for the uncountable ordinals below <math>\psi_1(\varepsilon_{\Omega_2+1})</math>, which is the limit of <math>\psi_1(\Omega_2)</math>, <math>\psi_1({\Omega_2}^{\Omega_2})</math> and so forth.
| |
| | |
| Now we can reinject these notations in the original <math>\psi</math> function, modified as follows:
| |
| :<math>\psi(\alpha)</math> is the smallest ordinal which cannot be expressed from <math>0</math>, <math>1</math>, <math>\omega</math>, <math>\Omega</math> and <math>\Omega_2</math> using sums, products, exponentials, the <math>\psi_1</math> function, and the <math>\psi</math> function itself (to previously constructed ordinals less than <math>\alpha</math>).
| |
| | |
| This modified function <math>\psi</math> coincides with the previous one up to (and including) <math>\psi(\psi_1(0))</math> — which is the Bachmann-Howard ordinal. But now we can get beyond this, and <math>\psi(\psi_1(0)+1)</math> is <math>\varepsilon_{\psi(\psi_1(0))+1}</math> (the next <math>\varepsilon</math>-number after the Bachmann-Howard ordinal). We have made our system ''doubly'' impredicative: to create notations for countable ordinals we use notations for certain ordinals between <math>\Omega</math> and <math>\Omega_2</math> which are themselves defined using certain ordinals beyond <math>\Omega_2</math>.
| |
| | |
| A variation on this scheme, which makes little difference when using just two (or finitely many) collapsing functions, but becomes important for infinitely many of them, is to define
| |
| :<math>\psi(\alpha)</math> is the smallest ordinal which cannot be expressed from <math>0</math>, <math>1</math>, <math>\omega</math>, <math>\Omega</math> and <math>\Omega_2</math> using sums, products, exponentials, and the <math>\psi_1</math> and <math>\psi</math> function (to previously constructed ordinals less than <math>\alpha</math>).
| |
| i.e., allow the use of <math>\psi_1</math> only for arguments less than <math>\alpha</math> itself. With this definition, we must write <math>\psi(\Omega_2)</math> instead of <math>\psi(\psi_1(\Omega_2))</math> (although it is still also equal to <math>\psi(\psi_1(\Omega_2)) = \psi(\zeta_{\Omega+1})</math>, of course, but it is now constant until <math>\Omega_2</math>). This change is inessential because, intuitively speaking, the <math>\psi_1</math> function collapses the nameable ordinals beyond <math>\Omega_2</math> below the latter so it matters little whether <math>\psi</math> is invoked directly on the ordinals beyond <math>\Omega_2</math> or on their image by <math>\psi_1</math>. But it makes it possible to define <math>\psi</math> and <math>\psi_1</math> by ''simultaneous'' (rather than “downward”) induction, and this is important if we are to use infinitely many collapsing functions.
| |
| | |
| Indeed, there is no reason to stop at two levels: using <math>\omega+1</math> new cardinals in this way, <math>\Omega_1,\Omega_2,\ldots,\Omega_\omega</math>, we get a system essentially equivalent to that introduced by Buchholz,<ref name="Buchholz"/> the inessential difference being that since Buchholz uses <math>\omega+1</math> ordinals from the start, he does not need to allow multiplication or exponentiation; also, Buchholz does not introduce the numbers <math>1</math> or <math>\omega</math> in the system as they will also be produced by the <math>\psi</math> functions: this makes the entire scheme much more elegant and more concise to define, albeit more difficult to understand. This system is also sensibly equivalent to the earlier (and much more difficult to grasp) “ordinal diagrams” of Takeuti<ref>Takeuti, 1967 (Ann. Math.)</ref> and <math>\theta</math> functions of Feferman: their range is the same (<math>\psi_0(\varepsilon_{\Omega_\omega+1})</math>, which could be called the Takeuti-Feferman-Buchholz ordinal, and which describes the [[ordinal analysis|strength]] of [[Second-order arithmetic#Stronger systems|<math>\Pi^1_1</math>-comprehension]] plus [[bar induction]]).
| |
| | |
| === A "normal" variant ===
| |
| Most definitions of ordinal collapsing functions found in the recent literature differ from the ones we have given in one technical but important way which makes them technically more convenient although intuitively less transparent. We now explain this.
| |
| | |
| The following definition (by induction on <math>\alpha</math>) is completely equivalent to that of the function <math>\psi</math> [[#Definition|above]]:
| |
| | |
| :Let <math>C(\alpha,\beta)</math> be the set of ordinals generated starting from <math>0</math>, <math>1</math>, <math>\omega</math>, <math>\Omega</math> and all ordinals less than <math>\beta</math> by recursively applying the following functions: ordinal addition, multiplication and exponentiation, and the function <math>\psi\upharpoonright_\alpha</math>. Then <math>\psi(\alpha)</math> is defined as the smallest ordinal <math>\rho</math> such that <math>C(\alpha,\rho) \cap \Omega = \rho</math>.
| |
| | |
| (This is equivalent, because if <math>\sigma</math> is the smallest ordinal not in <math>C(\alpha,0)</math>, which is how we originally defined <math>\psi(\alpha)</math>, then it is also the smallest ordinal not in <math>C(\alpha,0) = C(\alpha,\sigma)</math>, and furthermore the properties we described of <math>\psi</math> imply that no ordinal between <math>\sigma</math> inclusive and <math>\Omega</math> exclusive belongs to <math>C(\alpha,\sigma)</math>.)
| |
| | |
| We can now make a change to the definition which makes it subtly different:
| |
| | |
| :Let <math>\tilde C(\alpha,\beta)</math> be the set of ordinals generated starting from <math>0</math>, <math>1</math>, <math>\omega</math>, <math>\Omega</math> and all ordinals less than <math>\beta</math> by recursively applying the following functions: ordinal addition, multiplication and exponentiation, and the function <math>\tilde\psi\upharpoonright_\alpha</math>. Then <math>\tilde\psi(\alpha)</math> is defined as the smallest ordinal <math>\rho</math> such that <math>\tilde C(\alpha,\rho) \cap \Omega = \rho</math> and <math>\alpha \in \tilde C(\alpha,\rho)</math>.
| |
| | |
| The first values of <math>\tilde\psi</math> coincide with those of <math>\psi</math>: namely, for all <math>\alpha<\zeta_0</math> where <math>\zeta_0 = \varphi_2(0)</math>, we have <math>\tilde\psi(\alpha) = \psi(\alpha)</math> because the additional clause <math>\alpha \in \tilde C(\alpha,\rho)</math> is always satisfied. But at this point the functions start to differ: while the function <math>\psi</math> gets “stuck” at <math>\zeta_0</math> for all <math>\zeta_0 \leq \alpha \leq \Omega</math>, the function <math>\tilde\psi</math> satisfies <math>\tilde\psi(\zeta_0) = \varepsilon_{\zeta_0+1}</math> because the new condition <math>\alpha \in \tilde C(\alpha,\rho)</math> imposes <math>\tilde\psi(\zeta_0) > \zeta_0</math>. On the other hand, we still have <math>\tilde\psi(\Omega) = \zeta_0</math> (because <math>\Omega \in C(\alpha,\rho)</math> for all <math>\rho</math> so the extra condition does not come in play). Note in particular that <math>\tilde\psi</math>, unlike <math>\psi</math>, is not monotonic, nor is it continuous.
| |
| | |
| Despite these changes, the <math>\tilde\psi</math> function also defines a system of ordinal notations up to the Bachmann-Howard ordinal: the notations, and the conditions for canonicalness, are slightly different (for example, <math>\psi(\Omega+1+\alpha) = \tilde\psi(\tilde\psi(\Omega)+\alpha)</math> for all <math>\alpha</math> less than the common value <math>\psi(\Omega2) = \tilde\psi(\Omega+1)</math>).
| |
| | |
| == Collapsing large cardinals ==
| |
| As noted in the introduction, the use and definition of ordinal collapsing functions is strongly connected with the theory of [[ordinal analysis]], so the collapse of this or that large cardinal must be mentioned simultaneously with the theory for which it provides a proof-theoretic analysis.
| |
| | |
| * Gerhard Jäger and Wolfram Pohlers<ref>Jäger & Pohlers, 1983 (Bayer. Akad. Wiss. Math.-Natur. Kl. Sitzungsber.)</ref> described the collapse of an [[inaccessible cardinal]] to describe the ordinal-theoretic strength of Kripke-Platek set theory augmented by the recursive inaccessibility of the class of ordinals ('''KPi'''), which is also proof-theoretically equivalent<ref name="Rathjen-survey"/> to <math>\Delta^1_2</math>-comprehension plus [[bar induction]]. Roughly speaking, this collapse can be obtained by adding the <math>\alpha \mapsto \Omega_\alpha</math> function itself to the list of constructions to which the <math>C(\cdot)</math> collapsing system applies.
| |
| * Michael Rathjen<ref>Rathjen, 1991 (Arch. Math. Logic)</ref> then described the collapse of a [[Mahlo cardinal]] to describe the ordinal-theoretic strength of Kripke-Platek set theory augmented by the recursive mahloness of the class of ordinals ('''KPM''').
| |
| * The same author<ref>Rathjen, 1994 (Ann. Pure Appl. Logic)</ref> later described the collapse of a [[weakly compact cardinal]] to describe the ordinal-theoretic strength of Kripke-Platek set theory augmented by certain [[reflection principle]]s (concentrating on the case of <math>\Pi_3</math>-reflection). Very roughly speaking, this proceeds by introducing the first cardinal <math>\Xi(\alpha)</math> which is <math>\alpha</math>-hyper-Mahlo and adding the <math>\alpha \mapsto \Xi(\alpha)</math> function itself to the collapsing system.
| |
| * Even more recently, the same author has begun<ref>Rathjen, 2005 (Arch. Math. Logic)</ref> the investigation of the collapse of yet larger cardinals, with the ultimate goal of achieving an ordinal analysis of <math>\Pi^1_2</math>-comprehension (which is proof-theoretically equivalent to the augmentation of Kripke-Platek by <math>\Sigma_1</math>-separation).
| |
| | |
| == Notes ==
| |
| <references/>
| |
| | |
| == References ==
| |
| * {{cite journal | last=Takeuti | first=Gaisi | authorlink=Gaisi Takeuti | title=Consistency proofs of subsystems of classical analysis | journal=Annals of Mathematics | volume=86 | year=1967 | pages=299–348 | doi=10.2307/1970691 | issue=2 | publisher=Annals of Mathematics | jstor=1970691 }}
| |
| * {{cite journal | last=Jäger | first=Gerhard | coauthors=Pohlers, Wolfram | title=Eine beweistheoretische Untersuchung von (<math>\Delta^1_2</math>-CA)+(BI) und verwandter Systeme | journal=Bayerische Akademie der Wissenschaften. Mathematisch-Naturwissenschaftliche Klasse Sitzungsberichte | volume=1982 | year=1983 | pages=1–28 }}
| |
| * {{cite journal | last=Buchholz | first=Wilfried | title=A New System of Proof-Theoretic Ordinal Notations | journal=Annals of Pure and Applied Logic | volume=32 | year=1986 | pages=195–207 | doi=10.1016/0168-0072(86)90052-7 }}
| |
| * {{cite journal | last=Rathjen | first=Michael | title=Proof-theoretic analysis of KPM | journal=Archive for Mathematical Logic | volume=30 | year=1991 | pages=377–403 | doi=10.1007/BF01621475 | issue=5–6 }}
| |
| * {{cite journal | last=Rathjen | first=Michael | title=Proof theory of reflection | journal=Annals of Pure and Applied Logic | volume=68 | year=1994 | pages=181–224 | url=http://www.maths.leeds.ac.uk/~rathjen/ehab.pdf | doi=10.1016/0168-0072(94)90074-4 | issue=2 }}
| |
| * {{cite journal | last=Rathjen | first=Michael | title=Recent Advances in Ordinal Analysis: <math>\Pi^1_2</math>-CA and Related Systems | journal=The Bulletin of Symbolic Logic | volume=1 | year=1995 | pages=468–485 | url=http://www.math.ucla.edu/~asl/bsl/0104/0104-004.ps | doi=10.2307/421132 | jstor=421132 | issue=4 | publisher=Association for Symbolic Logic}}
| |
| * {{cite journal | last=Kahle | first=Reinhard | title=Mathematical proof theory in the light of ordinal analysis | journal=Synthese | volume=133 | year=2002 | pages=237–255 | doi=10.1023/A:1020892011851 }}
| |
| * {{cite journal | last=Rathjen | first=Michael | title=An ordinal analysis of stability | journal=Archive for Mathematical Logic | volume=44 | year=2005 | pages=1–62 | url=http://www.maths.leeds.ac.uk/~rathjen/NSTAB.ps | doi=10.1007/s00153-004-0226-2 }}
| |
| * {{cite web | url=http://www.mathematik.uni-muenchen.de/~aehlig/EST/rathjen4.pdf | title=Proof Theory: Part III, Kripke-Platek Set Theory | accessdate=2008-04-17 | last=Rathjen | first=Michael | date=August 2005 }} (slides of a talk given at Fischbachau)
| |
| | |
| [[Category:Ordinal numbers]]
| |