Results 1 
3 of
3
Ramsey's theorem and the pigeonhole principle in intuitionistic mathematics
 University of Utrecht, Dept of Philosophy
, 1992
"... At first sight, the argument which F. P. Ramsey gave for (the infinite case of) his famous theorem from 1927, is hopelessly unconstructive. If suitably reformulated, the theorem is true intuitionistically as well as classically: we offer a proof which should convince both the classical and the intui ..."
Abstract

Cited by 16 (2 self)
 Add to MetaCart
At first sight, the argument which F. P. Ramsey gave for (the infinite case of) his famous theorem from 1927, is hopelessly unconstructive. If suitably reformulated, the theorem is true intuitionistically as well as classically: we offer a proof which should convince both the classical and the intuitionistic reader. 1.
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 space with t ..."
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.
3584 CS Utrecht The NetherlandsRAMSEY'S THEOREM: AND THE PIGEONHOLE PRINCIPLE IN INTUITIONISTIC MATHEMATICS
, 1992
"... Department of PhilosophyUtrecht University Ramsey's theorem and the pigeonhole principle in intuitio flistjc mathematics ..."
Abstract
 Add to MetaCart
Department of PhilosophyUtrecht University Ramsey's theorem and the pigeonhole principle in intuitio flistjc mathematics