Results 1 
3 of
3
Classical And Constructive Hierarchies In Extended Intuitionistic Analysis
"... This paper introduces an extension 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 sp ..."
Abstract

Cited by 4 (3 self)
 Add to MetaCart
This paper introduces an extension 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 coincide with the stable relations (those equivalent in to their double negations), while every relation R(#) is equivalent in #) for some stable A(#, #) (which belongs to the classical analytical hierarchy). The logic of is intuitionistic. The axioms of 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.
The Logic of Brouwer and Heyting
, 2007
"... Intuitionistic logic consists of the principles of reasoning which were used informally by ..."
Abstract
 Add to MetaCart
(Show Context)
Intuitionistic logic consists of the principles of reasoning which were used informally by