Projective sets, intuitionistically

Abstract: We study `definable' subsets of Baire space

m a t h c a l N

. The logic of our arguments is intuitionistic and we use L.E.J.~Brouwer's Thesis on bars in

m a t h c a l N

and his continuity axioms. We avoid the operation of taking the complement of a subset of

m a t h c a l N

. A subset of

m a t h c a l N

is

m a t h b f {S i g m a}_{1}^{1}

or: analytic if it is the projection of a closed subset of

m a t h c a l N

. Important

m a t h b f {S i g m a}_{1}^{1}

set are the set of the codes of all closed and located subsets of

m a t h c a l N

that are positively uncountable and the set of the codes of all located and closed subsets of

m a t h c a l N

containing at least one member coding a (positively) infinite subset of

m a t h b b N

. A subset of

m a t h c a l N

is strictly analytic if it is the projection of a closed and located subset of

m a t h c a l N

. Brouwer's Thesis on bars in

m a t h c a l N

proves separation and boundedness theorems for strictly analytic subsets of

m a t h c a l N

. A subset of

m a t h c a l N

is

m a t h b f {P i}_{1}^{1}

or: co-analytic if it is the co-projection of an open subset of

m a t h c a l N i m e s m a t h c a l N = m a t h c a l N

. There is no symmetry between analytic and co-analytic sets like in classical descriptive set theory. An important

m a t h b f {P i}_{1}^{1}

set is the set of the codes of all closed and located subsets of

m a t h c a l N

all of whose members code an almost-finite subset of

m a t h b b N

. The set of the codes of closed and located subsets of

m a t h c a l N

that are almost-countable, or, equivalently, {reducible in Cantor's sense, is treated at some length. This set is probably not

m a t h b f {P i}_{1}^{1}

. The projective hierarchy collapses: every (positively) projective set is

m a t h b f {S i g m a}_{2}^{1}

: the projection of a co-analytic subset of

m a t h c a l N

.

Recommendations

Cites work

Cited in

(10)

This page was built for publication: Projective sets, intuitionistically