CORDIS Project
Funding breakdown and partner intelligence are Premium
Sign in and upgrade to Premium for EU contribution totals, consortium analytics, OpenAlex research context, and AI summaries. · 0 consortium intelligence fields visible of 1
Start free • Cancel anytime • 14-day refund guarantee
This project applies advanced concepts from topos theory to predicative mathematics, focusing on the construction of mathematical theories. It aims to establish formal connections between predicative and impredicative frameworks, exploring the computational aspects of mathematical definitions and theorems.
This project aims at applying the most recent results and techniques of topos theory to predicative Mathematics.
The theoretical and applicative objectives it addresses, can be achieved by using in a substantial new way Grothendieck toposes and their theory, a possibility arisen in 2009 after the discoveries of O.
Caramello.Predicative Mathematics is the branch of pure Mathematics that considers (well-founded) construction as the unique paradigm for its development, at any level of granularity:…
UNIVERSITY OF LEEDS
Partner organizations (coordinator is shown above), with normalized type and CORDIS activity type. Guests see up to 4 partners.
Similar projects, consortium collaboration history, frequent partners, and OpenAlex research context.
Guests see up to 5 EuroSciVoc fields.
Guests see up to 5 topics.
