Skip to main content
    • Aa
    • Aa
  • Get access
    Check if you have access via personal or institutional login
  • Cited by 8
  • Cited by
    This article has been cited by the following publications. This list is generated based on data provided by CrossRef.

    Dean, W. 2015. Arithmetical Reflection and the Provability of Soundness. Philosophia Mathematica, Vol. 23, Issue. 1, p. 31.

    Chao, Wei-Lun Liu, Jun-Zuo and Ding, Jian-Jiun 2013. Facial age estimation based on label-sensitive learning and age-oriented regression. Pattern Recognition, Vol. 46, Issue. 3, p. 628.

    Kotlarski, Henryk Piekart, Bożena and Weiermann, Andreas 2007. More on lower bounds for partitioning <mml:math altimg="si1.gif" display="inline" overflow="scroll" xmlns:xocs="" xmlns:xs="" xmlns:xsi="" xmlns="" xmlns:ja="" xmlns:mml="" xmlns:tb="" xmlns:sb="" xmlns:ce="" xmlns:xlink="" xmlns:cals=""><mml:mi>α</mml:mi></mml:math>-large sets. Annals of Pure and Applied Logic, Vol. 147, Issue. 3, p. 113.

    Kotlarski, Henryk and Piekart, Bożena 2005. Some variations of the Hardy hierarchy. MLQ, Vol. 51, Issue. 4, p. 417.

    Беклемишев, Лев Дмитриевич and Beklemishev, Lev Dmitrievich 2005. Схемы рефлексии и алгебры доказуемости в формальной арифметике. Успехи математических наук, Vol. 60, Issue. 2, p. 3.

    Avigad, Jeremy 2002. Saturated models of universal theories. Annals of Pure and Applied Logic, Vol. 118, Issue. 3, p. 219.

    Buss, Samuel R. 1998. Handbook of Proof Theory.

    Fairtlough, Matt and Wainer, Stanley S. 1998. Handbook of Proof Theory.


A Model-Theoretic Approach to Ordinal Analysis

  • Jeremy Avigad (a1) and Richard Sommer (a2)
  • DOI:
  • Published online: 15 January 2014

We describe a model-theoretic approach to ordinal analysis via the finite combinatorial notion of an α-large set of natural numbers. In contrast to syntactic approaches that use cut elimination, this approach involves constructing finite sets of numbers with combinatorial properties that, in nonstandard instances, give rise to models of the theory being analyzed. This method is applied to obtain ordinal analyses of a number of interesting subsystems of first- and second-order arithmetic.

Linked references
Hide All

This list contains references from the content that can be linked to their source. For a full set of references and notes please see the PDF or HTML where available.

[2]Jeremy Avigad , Formalizing forcing arguments in subsystems of second-order arithmetic, Annals of Pure and Applied Logic, vol. 82 (1996), pp. 165191.

[5]Jon Barwise , The handbook of mathematical logic, North-Holland, 1977.

[7]Solomon Feferman , Iterated inductive fixed-point theories: Application to Hancock's conjecture, Patras logic symposium (G. Metakides , editor), North-Holland, 1982.

[9]Harvey Friedman , Kenneth McAloon , and Stephen Simpson , A finite combinatorial principle which is equivalent to the 1-consistency of predicative analysis, Patras logic symposium (G. Metakides , editor), North-Holland, 1982, pp. 197230.

[12]Jussi Ketonen and Robert Solovay , Rapidly growing Ramsey functions, Annals of Mathematics, vol. 113 (1981), pp. 267314.

[14]H. Kotlarski and Z. Ratajczyk , Inductive full satisfaction classes, Annals of Pure and Applied Logic, vol. 47 (1990), pp. 199223.

[15]Jeff B. Paris , A hierarchy of cuts in models of arithmetic, Springer-Verlag Lecture Notes in Mathematics, vol. 834, 1980, pp. 312337.

[17]Wolfram Pohlers , Proof theory: An introduction, Springer-Verlag Lecture Notes in Mathematics, vol. 1407, 1989.

[18]Wolfram Pohlers , A short course in ordinal analysis, Proof theory (Aczel et al., editors), Cambridge University Press, 1993.

[19]Zygmunt Ratatczyk , Subsystems of true arithmetic and hierarchies of functions, Annals of Pure and Applied Logic, vol. 64 (1993), pp. 95152.

[21]Michael Rathjen , Proof theory of reflection, Annals of Pure and Applied Logic, vol. 68 (1994), pp. 181224.

[24]Kurt Schütte , Proof theory, Springer-Verlag, 1977.

[29]Rick Smith , The consistency strengths of some finite forms of the Higman and Kruskal theorems, Harvey Friedman's research on the foundations of mathematics (Leo Harrington et al., editors), North-Holland, 1985, pp. 119135.

[32]Richard Sommer , Transfinite induction within Peano arithmetic, Annals of Pure and Applied Logic, vol. 76 (1995), pp. 231289.

[33]S. S. Wainer , A classification of the ordinal recursive functions, Archiv für mathematische Logik, vol. 13 (1970), pp. 136153.

Recommend this journal

Email your librarian or administrator to recommend adding this journal to your organisation's collection.

Bulletin of Symbolic Logic
  • ISSN: 1079-8986
  • EISSN: 1943-5894
  • URL: /core/journals/bulletin-of-symbolic-logic
Please enter your name
Please enter a valid email address
Who would you like to send this to? *