Epsilon Substitution Method for $\Pi _{2}^{0}$ -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].

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 90,616

External links

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

Through your library

Analytics

Added to PP
2011-05-29

Downloads
8 (#1,138,312)

6 months
3 (#445,838)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

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

No references found.

Add more references