Hi Phil!
I may be dead wrong, but I thought that Intuitionists do not accept at all actual infinite in proving theorems: the only kind of infinite they would accept is the potential one (like in Euclid axioms: the line is not infinite, it may be prolonged at wish). Is it true, or constructivism is only a subsect of intuitionism?