Epsilon Substitution Method for [image] -FIX

Journal of Symbolic Logic 71 (4):1155 - 1188 (2006)
  Copy   BIBTEX

Abstract

In this paper we formulate epsilon substitution method for a theory $\Pi _{2}^{0}$-FIX for non-monotonic $\Pi _{2}^{0}$ inductive definitions. Then we give a termination proof of the H-processes based on Ackermann [1]

Categories

Keywords

Reprint years

DOI

10.2178/jsl/1164060450

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,202

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Epsilon Substitution Method for $\Pi _{2}^{0}$ -FIX.Toshiyasu Arai - 2006 - Journal of Symbolic Logic 71 (4):1155 - 1188.
Strong termination for the epsilon substitution method.Grigori Mints - 1996 - Journal of Symbolic Logic 61 (4):1193-1205.
Hilbert's 'Verunglückter Beweis', the first epsilon theorem, and consistency proofs.Richard Zach - 2004 - History and Philosophy of Logic 25 (2):79-94.
Update Procedures and the 1-Consistency of Arithmetic.Jeremy Avigad - 2002 - Mathematical Logic Quarterly 48 (1):3-13.
Epsilon-ergodicity and the success of equilibrium statistical mechanics.Peter B. M. Vranas - 1998 - Philosophy of Science 65 (4):688-708.
Epsilon calculi.Hartley Slater - 2001 - Internet Encyclopedia of Philosophy.
The simple substitution property of the intermediate propositional logics on finite slices.Katsumi Sasaki - 1993 - Studia Logica 52 (1):41 - 62.
Seneca’s ninetieth letter. [REVIEW]Costas Panayotakis - 2004 - The Classical Review 54 (01):103-.
Reichenbach's epsilon definition of simultaneity in historical and philosophical perspective.Robert Rynasiewicz - unknown
Greco-Roman Political Thought Ioannes G. Taifacos: σ[upsilon, accent]γκρισις πoλιτει[omega, accent]ν στ[omicron, accent] De Re Publica τo[upsilon, accent]κικ[epsilon, accent]ρ[omega]νoς. ' H ρ[omega]μα[iota, dieresis]κ[eta, accent] [epsilon, accent]Φαρμoγ[eta, accent] μι[alpha, accent]ς [epsilon, accent]λληνικ[eta, accent]ς με[theta][omicron, accent]δoυ. Pp. 254. Athens: D.Papademas, 1996. ISBN: 960-206-387-4. Ioannes G. Taifacos: Φαντασ[iota, accent]α πoλιτε[iota, accent]ας ισoν[omicron, accent]μoν. μελετηματα στ[eta, accent] διαλκ[eta, accent] τ[eta, accent]ς[epsilon, accent]λληνoρ[omega]μα[iota, dieresis]κ[eta, accent]ς πoλιτικ[eta, accent]ς σκ[epsilon, accent][psi]ης. Pp.175 Athens: D.Papademas, 1995. ISBN: 960-206-386-. [REVIEW]J. G. F. Powell - 2001 - The Classical Review 51 (01):106-.
The substitution method.W. W. Tait - 1965 - Journal of Symbolic Logic 30 (2):175-192.
The simple substitution property of gödel's intermediate propositional logics sn's.Katsumi Sasaki - 1990 - Studia Logica 49 (4):471 - 481.

Analytics

Added to PP
2010-08-24

Downloads
26 (#574,431)

6 months
5 (#526,961)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Proof theory of weak compactness.Toshiyasu Arai - 2013 - Journal of Mathematical Logic 13 (1):1350003.
A Sneak Preview of Proof Theory of Ordinals.Toshiyasu Arai - 2012 - Annals of the Japan Association for Philosophy of Science 20:29-47.
Epsilon substitution for $$\textit{ID}_1$$ ID 1 via cut-elimination.Henry Towsner - 2018 - Archive for Mathematical Logic 57 (5-6):497-531.
Exact bounds on epsilon processes.Toshiyasu Arai - 2011 - Archive for Mathematical Logic 50 (3-4):445-458.

Add more citations

References found in this work

Epsilon substitution method for ID1.Toshiyasu Arai - 2003 - Annals of Pure and Applied Logic 121 (2-3):163-208.
Epsilon substitution method for theories of jump hierarchies.Toshiyasu Arai - 2002 - Archive for Mathematical Logic 41 (2):123-153.
Proof theory for theories of ordinals II: Π3-reflection.Toshiyasu Arai - 2004 - Annals of Pure and Applied Logic 129 (1-3):39-92.
Ideas in the epsilon substitution method for -FIX.Toshiyasu Arai - 2005 - Annals of Pure and Applied Logic 136 (1-2):3-21.
Epsilon substitution for transfinite induction.Henry Towsner - 2005 - Archive for Mathematical Logic 44 (4):397-412.

View all 6 references / Add more references