[FOM] intuitionistic theories

[praatika@mappi.helsinki.fi]

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
Finland

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

E-mail: panu.raatikainen at helsinki.fi
 
http://www.helsinki.fi/collegium/eng/Raatikainen/raatikainen.htm