On the Compatibility of Constructive Predicative Mathematics with Weyl's Classical Predicativity

Michele Contente, Maria Emilia Maietti

It is well known that most constructive and predicative foundations aiming to develop Bishop's constructive analysis are incompatible with a classical predicative development of an…