Relative Lawlessness in Intuitionistic Analysis
Moschovakis, Joan Rand
J. Symbolic Logic, Tome 52 (1987) no. 1, p. 68-88 / Harvested from Project Euclid
This paper introduces, as an alternative to the (absolutely) lawless sequences of Kreisel and Troelstra, a notion of choice sequence lawless with respect to a given class $\mathbb{D}$ of lawlike sequences. For countable $\mathbb{D}$, the class of $\mathbb{D}$-lawless sequences is comeager in the sense of Baire. If a particular well-ordered class $\mathbb{F}$ of sequences, generated by iterating definability over the continuum, is countable then the $\mathbb{F}$-lawless, sequences satisfy the axiom of open data and the continuity principle for functions from lawless to lawlike sequences, but fail to satisfy Troelstra's extension principle. Classical reasoning is used.
Publié le : 1987-03-14
Classification: 
@article{1183742311,
     author = {Moschovakis, Joan Rand},
     title = {Relative Lawlessness in Intuitionistic Analysis},
     journal = {J. Symbolic Logic},
     volume = {52},
     number = {1},
     year = {1987},
     pages = { 68-88},
     language = {en},
     url = {http://dml.mathdoc.fr/item/1183742311}
}
Moschovakis, Joan Rand. Relative Lawlessness in Intuitionistic Analysis. J. Symbolic Logic, Tome 52 (1987) no. 1, pp.  68-88. http://gdmltest.u-ga.fr/item/1183742311/