Hostname: page-component-78c5997874-mlc7c Total loading time: 0 Render date: 2024-11-12T19:42:36.798Z Has data issue: false hasContentIssue false

Autonomous progression and transfinite iteration of self-applicable truth

Published online by Cambridge University Press:  12 March 2014

Kentaro Fujimoto*
Affiliation:
Merton College, Oxford, Ox1 4JD, UK, E-mail: [email protected]

Abstract

This paper studies several systems of the transfinite iteration and autonomous progression of self-applicable truth and determines their proof-theoretic strength.

Type
Research Article
Copyright
Copyright © Association for Symbolic Logic 2011

Access options

Get access to the full version of this content by using one of the access options below. (Log in options will check for institutional or personal access. Content may require purchase if you do not have access.)

References

REFERENCES

[1]Buchholz, Wilfried and Pohlers, Wolfram, Provable wellorderings offormal theories for trans-finitely iterated inductive definitions, this Journal, vol. 43 (1978), pp. 118125.Google Scholar
[2]Cantini, Andrea, A note on predicatively reducible theory of iterated elementary induction, Bollet-tino Unione Mathematica Italiana, vol. 4-B 6 (1985), pp. 413430.Google Scholar
[3]Cantini, Andrea, Notes on formal theories of truth, Zeitschrift für Mathematische Logik und Grundlagen der Mathematik, vol. 35 (1989), pp. 97130.CrossRefGoogle Scholar
[4]Cantini, Andrea, A theory offormal truth arithmetically equivalent to ID1, this Journal, vol. 55 (1990), pp. 244259.Google Scholar
[5]Cantini, Andrea, Logicalframeworks for truth and abstraction, Elsevier, Amsterdam, 1996.Google Scholar
[6]Feferman, Solomon, Formal theories for transfinite iteration of generalized inductive definitions and some subsystems of analysis, Intuitionism and proof theory (Kino, Akiko, Myhill, John, and Vesley, Richard, editors), North-Holland, Amsterdam, 1970, pp. 303326.Google Scholar
[7]Feferman, Solomon, Reflecting on incompleteness, this Journal, vol. 56 (1991), pp. 149.Google Scholar
[8]Feferman, Solomon, Axioms for determinateness and truth, The Review of Symbolic Logic, vol. 1 (2008), pp. 204217.CrossRefGoogle Scholar
[9]Friedman, Harvey and Sheard, Michael, An axiomatic approach to self-referential truth. Annals of Pure and Applied Logic, vol. 33 (1987), pp. 121.CrossRefGoogle Scholar
[10]Fujimoto, Kentaro, Relative truth definability of axiomatic theories of truth, The Bulletin of Symbolic Logic, vol. 16 (2010), pp. 305344.CrossRefGoogle Scholar
[11]Halbach, Volker, Axiomatic theories of truth, Stanford encyclopedia of philosophy (Edward Zalta, editor), URL: http://plato.stanford.edu/entries/truth-axiomatic.Google Scholar
[12]Halbach, Volker, Reducing compositional to disquotational truth, The Review of Symbolic Logic, vol. 2 (2009), pp. 786798.CrossRefGoogle Scholar
[13]Jäger, Gerhard, Kahle, Reinhard, Setzer, Anton, and Strahm, Thomas, The proof-theoretic analysis of transfinitely iteratedfixedpoint theories, this Journal, vol. 64 (1999), pp. 5367.Google Scholar
[14]Kahle, Reinhard, Truth in applicative theories, Studio Logica, vol. 68 (2001), pp. 103128.CrossRefGoogle Scholar
[15]Kahle, Reinhard, Universes over Frege structures, Annals of Pure and Applied Logic, vol. 119 (2003), pp. 191223.CrossRefGoogle Scholar
[16]Kripke, Saul, Outline of a theory of truth, Journal of Philosophy, vol. 72 (1975), pp. 690716.CrossRefGoogle Scholar
[17] Pohlers, Wolfram, Subsystems of set theory and second order number theory, Handbook of proof theory (Buss, Samuel, editor), Elsevier, Amsterdam, 1998, pp. 209336.CrossRefGoogle Scholar
[18]Strahm, Thomas, Autonomous fixed point progressions andfixed point transfinite recursion. Logic colloquium '98(Buss, Samuel, editor), Lecture Notes in Logic, vol. 13, A K Peters, 2000, pp. 449464.Google Scholar