[FOM] intuitionistic theories

praatika@mappi.helsinki.fi praatika at mappi.helsinki.fi
Sat Mar 4 07:02:08 EST 2006

Two related questions:

1. What is the strongest theory presently known to be intuitionistically 
(or constructivistically) justifiable?

2. Some natural, elementary examples of theorems provable by classical set 
theoretical methods (preferrably as weak as possible) but not in the 
intuitionstically justifiable theory in question?

Best, Panu

Panu Raatikainen
Ph.D., Academy Research Fellow,
Docent in Theoretical Philosophy
Department of Philosophy, 
University of Helsinki

Visiting Fellow, 
Institute of Philosophy,
School of Advanced Studies, 
University of London

E-mail: panu.raatikainen at helsinki.fi

More information about the FOM mailing list