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
C-FORS aims to advance the understanding of construction in mathematics and formal sciences by applying a novel constructional approach to intensional entities like propositions and properties. This project seeks to bridge gaps in existing theories and provide new insights across philosophy, mathematics, and formal ont…
The notion of construction figures centrally in mathematics and other formal sciences.
An idealized, infinitary constructional approach is successfully applied to set theory, which provides the foundation for contemporary mathematics. C-FORS aims to develop new, similarly groundbreaking applications of the constructional approach.
This will be the largest concerted effort to date to develop a foundation for the study of intensional entities, e.g. propositions and properties, where a variety of p…
UNIVERSITETET I OSLO
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.
Guests see up to 5 keywords.
