Maria Emilia Maietti

A look into the connection between W-types and formal topology in mathematics.

Examining the interplay of constructive mathematics and classical predicative mathematics.

A new approach to the foundations of mathematics focusing on clarity and structure.