{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,1]],"date-time":"2025-10-01T17:56:22Z","timestamp":1759341382843},"reference-count":9,"publisher":"Cambridge University Press (CUP)","issue":"2","license":[{"start":{"date-parts":[[2014,3,12]],"date-time":"2014-03-12T00:00:00Z","timestamp":1394582400000},"content-version":"unspecified","delay-in-days":14164,"URL":"https:\/\/www.cambridge.org\/core\/terms"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["J. symb. log."],"published-print":{"date-parts":[[1975,6]]},"abstract":"<jats:p>In [2] Bachmann showed how a hierarchy of normal functions on the countable ordinals \u03a9 can be constructed using certain uncountable ordinals together with appropriate fundamental sequences for limit ordinals, as indexing ordinals for the hierarchy. This method, explained in more detail in \u00a71 below, has been generalized by Pfeiffer [6] and Isles [4] to produce larger hierarchies. Using the hierarchies constructed in this way it is possible, as an immediate consequence of the definitions, to assign <jats:italic>\u03c9<\/jats:italic>-sequences \u3008\u03b1<jats:sub><jats:italic>n<\/jats:italic><\/jats:sub>\u3009<jats:sub><jats:italic>n<\/jats:italic>\u2208\u03c9<\/jats:sub> to limit ordinals <jats:italic>\u03b1<\/jats:italic> in an initial segment <jats:italic>I<\/jats:italic> of \u03a9 such that <jats:inline-graphic xmlns:xlink=\"http:\/\/www.w3.org\/1999\/xlink\" mime-subtype=\"gif\" xlink:type=\"simple\" xlink:href=\"S0022481200053731_inline1\" \/>. Indeed this was the motivation for Bachmann's original construction. However the initial segments <jats:italic>I<\/jats:italic> constructed in this way are of interest even without the fundamental sequences because they occur naturally as the proof-theoretic ordinals associated with particular formal theories. The fundamental sequences necessary for the Bachmann method are not intrinsically of interest proof-theoretically and only serve to obscure the definitions of the associated initial segments. Feferman and Weyhrauch [9] suggested an alternative definition for a sequence of functions on the countable ordinals. This definition was generalized by Aczel [1] who showed how the new functions corresponded to those in Bachmann's hierarchy. (Independently, Weyhrauch established the same results for an initial segment of the sequence of Bachmann functions, i.e. those functions indexed by <jats:italic>\u03b1<\/jats:italic> &lt; <jats:italic>\u03b5<\/jats:italic><jats:sub>\u03a9+1<\/jats:sub>.)<\/jats:p>","DOI":"10.2307\/2271898","type":"journal-article","created":{"date-parts":[[2006,5,6]],"date-time":"2006-05-06T17:35:13Z","timestamp":1146936913000},"page":"171-185","source":"Crossref","is-referenced-by-count":21,"title":["A simplification of the Bachmann method for generating large countable ordinals"],"prefix":"10.1017","volume":"40","author":[{"given":"Jane","family":"Bridge","sequence":"first","affiliation":[]}],"member":"56","published-online":{"date-parts":[[2014,3,12]]},"reference":[{"key":"S0022481200053731_ref009","unstructured":"Weyhrauch R. , Relations between some hierarchies of ordinal functions and functionals, Dissertation, Stanford University, 1972."},{"key":"S0022481200053731_ref007","unstructured":"Sch\u00fctte K. , Ein Bezeichnungssystem f\u00fcr Ordinalzahlen (to appear)."},{"key":"S0022481200053731_ref004","first-page":"339","volume-title":"Intmtionism and proof theory","author":"Isles","year":"1970"},{"key":"S0022481200053731_ref002","first-page":"115","article-title":"Die Normalfunktionen und das Problem der ausgezeichneten Folgen von Ordnungszahlen","volume":"95","author":"Bachmann","year":"1950","journal-title":"Vierteljahrsschrift der Naturforschenden Gesellschaft in Z\u00fcrich"},{"key":"S0022481200053731_ref001","unstructured":"Aczel P. , A new approach to the Bachmann method for describing countable ordinals, preliminary summary (mimeographed)."},{"key":"S0022481200053731_ref006","unstructured":"Pfeiffer H. , Ausgezeichnete Folgen f\u00fcr Gewisse Abschnitte der zweiten und weiterer Zahlenklassen, Dissertation, Hannover, 1964."},{"key":"S0022481200053731_ref008","doi-asserted-by":"publisher","DOI":"10.1090\/S0002-9947-1908-1500814-9"},{"key":"S0022481200053731_ref005","first-page":"288","volume":"33","author":"Isles","year":"1971","journal-title":"Natural well orderings"},{"key":"S0022481200053731_ref003","unstructured":"Feferman S. , Recursiveness of ordinals generated by uncountably long hierarchies of ordinal functions, preliminary report (mimeographed)."}],"container-title":["Journal of Symbolic Logic"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.cambridge.org\/core\/services\/aop-cambridge-core\/content\/view\/S0022481200053731","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,29]],"date-time":"2019-05-29T15:40:24Z","timestamp":1559144424000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.cambridge.org\/core\/product\/identifier\/S0022481200053731\/type\/journal_article"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1975,6]]},"references-count":9,"journal-issue":{"issue":"2","published-print":{"date-parts":[[1975,6]]}},"alternative-id":["S0022481200053731"],"URL":"https:\/\/doi.org\/10.2307\/2271898","relation":{},"ISSN":["0022-4812","1943-5886"],"issn-type":[{"value":"0022-4812","type":"print"},{"value":"1943-5886","type":"electronic"}],"subject":[],"published":{"date-parts":[[1975,6]]}}}