|
|||||
|
|
A model of intuitionistic analysis in which ‐definable discrete sets are subcountable |
|
| Authors: | Philip Scowcroft |
| Institution: | Department of Mathematics and Computer Science, Wesleyan University, Middletown, CT, United States of America |
| Abstract: | There is a model, for a system of intuitionistic analysis including Brouwer's principle for numbers and Kripke's schema, in which  ‐definable discrete sets of choice sequences are subcountable. |
| Keywords: | |