Wellfoundedness proofs by means of non-monotonic inductive definitions I: Π₂⁰-operators
Journal of Symbolic Logic 69 (3):830-850 (2004)
| Abstract | In this paper, we prove the wellfoundedness of recursive notation systems for reflecting ordinals up to Π₃-reflection by relevant inductive definitions | |||||||||
| Keywords | No keywords specified (fix it) | |||||||||
| Categories | ||||||||||
| Options |
|
|||||||||
Download options| PhilPapers Archive |
Upload a copy of this paper Check publisher's policy on self-archival Papers currently archived: 5,679 |
| External links |
  Try with proxy. |
| Through your library | Configure |
Similar books and articlesThomas Forster (2006). Permutations and Wellfoundedness: The True Meaning of the Bizarre Arithmetic of Quine's NF. Journal of Symbolic Logic 71 (1):227 - 240.
Peter Dybjer (2000). A General Formulation of Simultaneous Inductive-Recursive Definitions in Type Theory. Journal of Symbolic Logic 65 (2):525-549.
Maricarmen Martinez (2001). Some Closure Properties of Finite Definitions. Studia Logica 68 (1):43-68.
Peter Aczel (1975). Quantifiers, Games and Inductive Definitions. In Stig Kanger (ed.), Proceedings of the Third Scandinavian Logic Symposium. Elsevier.
Gerhard Jäger (2001). First Order Theories for Nonmonotone Inductive Definitions: Recursively Inaccessible and Mahlo. Journal of Symbolic Logic 66 (3):1073-1089.
Klaus Aehlig (2005). Induction and Inductive Definitions in Fragments of Second Order Arithmetic. Journal of Symbolic Logic 70 (4):1087 - 1107.
Christoph Kreitz & Brigitte Pientka (2001). Connection-Driven Inductive Theorem Proving. Studia Logica 69 (2):293-326.
Kai-Uwe Küdhnberger, Benedikt Löwe, Michael Möllerfeld & Philip Welch (2005). Comparing Inductive and Circular Definitions: Parameters, Complexity and Games. Studia Logica 81 (1):79 - 98.
Toshiyasu Arai (2006). Epsilon Substitution Method for $\Pi _{2}^{0}$ -FIX. Journal of Symbolic Logic 71 (4):1155 - 1188.
Analytics
Monthly downloads
Sorry, there are not enough data points to plot this chart.
|
Added to index2009-02-05Total downloads0Recent downloads (6 months)0How can I increase my downloads? |
My notes
Discussion
