Monotone inductive definitions over the continuum
Journal of Symbolic Logic 41 (1):188-198 (1976)
| Abstract | This article has no associated abstract. (fix it) | |||||||||
| 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 |
 |
| Through your library | Configure |
Similar books and articlesDimiter Vakarelov (1985). An Application of Rieger-Nishimura Formulas to the Intuitionistic Modal Logics. Studia Logica 44 (1):79 - 85.
Peter Aczel (1975). Quantifiers, Games and Inductive Definitions. In Stig Kanger (ed.), Proceedings of the Third Scandinavian Logic Symposium. Elsevier.
Jon Williamson (2007). Inductive Influence. British Journal for the Philosophy of Science 58 (4):689 - 708.
Toshiyasu Arai (2004). Wellfoundedness Proofs by Means of Non-Monotonic Inductive Definitions I: Π₂⁰-Operators. Journal of Symbolic Logic 69 (3):830-850.
Ralph Matthes (2002). Tarski's Fixed-Point Theorem and Lambda Calculi with Monotone Inductive Types. Synthese 133 (1-2):107 - 129.
Douglas Cenzer (1984). Monotone Reducibility and the Family of Infinite Sets. Journal of Symbolic Logic 49 (3):774-782.
Douglas Cenzer (1974). Analytic Inductive Definitions. Journal of Symbolic Logic 39 (2):310-312.
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.
Sergei Tupailo (2004). On the Intuitionistic Strength of Monotone Inductive Definitions. Journal of Symbolic Logic 69 (3):790-798.
Michael Rathjen (1996). Monotone Inductive Definitions in Explicit Mathematics. Journal of Symbolic Logic 61 (1):125-146.
Analytics
Monthly downloads
Sorry, there are not enough data points to plot this chart.
|
Added to index2009-01-28Total downloads1 ( #274,651 of 549,070 )Recent downloads (6 months)0How can I increase my downloads? |
My notes
Discussion
