Classical and constructive hierarchies in extended intuitionistic analysis
Journal of Symbolic Logic 68 (3):1015-1043 (2003)
| Abstract | This paper introduces an extension A of Kleene's axiomatization of Brouwer's intuitionistic analysis, in which the classical arithmetical and analytical hierarchies are faithfully represented as hierarchies of the domains of continuity. A domain of continuity is a relation R(α) on Baire space with the property that every constructive partial functional defined on {α : R(α)} is continuous there. The domains of continuity for A coincide with the stable relations (those equivalent in A to their double negations), while every relation R(α) is equivalent in A to ∃αA(α, β) for some stable A(α, β) (which belongs to the classical analytical hierarchy). The logic of A is intuitionistic. The axioms of A include countable comprehension, bar induction, Troelstra's generalized continuous choice, primitive recursive Markov's Principle and a classical axiom of dependent choices proposed by Krauss. Constructive dependent choices, and constructive and classical countable choice, are theorems, A is maximal with respect to classical Kleene function realizability, which establishes its consistency. The usual disjunction and (recursive) existence properties ensure that A preserves the constructive sense of "or" and "there exists." | |||||||||
| 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,882 |
| External links |
  Try with proxy. |
| Through your library | Configure |
Similar books and articlesHajime Ishihara (1992). Continuity Properties in Constructive Mathematics. Journal of Symbolic Logic 57 (2):557-565.
Jonathan Fleischmann (2010). Syntactic Preservation Theorems for Intuitionistic Predicate Logic. Notre Dame Journal of Formal Logic 51 (2):225-245.
Hajime Ishihara & Satoru Yoshida (2002). A Constructive Look at the Completeness of the Space $\Mathcal{D} (\Mathbb{R})$. Journal of Symbolic Logic 67 (4):1511-1519.
Jeffry L. Hirst & Carl Mummert (2010). Reverse Mathematics and Uniformity in Proofs Without Excluded Middle. Notre Dame Journal of Formal Logic 52 (2):149-162.
Yaroslav Shramko (2005). Dual Intuitionistic Logic and a Variety of Negations: The Logic of Scientific Research. Studia Logica 80 (2-3):347 - 367.
Grigori Mints (2006). Notes on Constructive Negation. Synthese 148 (3):701 - 717.
Joan Rand Moschovakis (1987). Relative Lawlessness in Intuitionistic Analysis. Journal of Symbolic Logic 52 (1):68-88.
Joan Rand Moschovakis (1994). More About Relatively Lawless Sequences. Journal of Symbolic Logic 59 (3):813-829.
Torben Braüner (2006). Axioms for Classical, Intuitionistic, and Paraconsistent Hybrid Logic. Journal of Logic, Language and Information 15 (3).
Analytics
Monthly downloads |
Added to index2009-01-28Total downloads3 ( #203,919 of 556,909 )Recent downloads (6 months)1 ( #64,931 of 556,909 )How can I increase my downloads? |
My notes
Discussion
