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
The project investigates two main mathematical directions: the decidability of Monadic Second Order theory concerning Borel sets and the study of countable combinatorial limits in discrete mathematics. It aims to develop new methods in descriptive set theory and finite model theory to address these open questions.
The project will concentrate on two main directions (MD), which are connected through them both relying on Monadic Second Order (MSO) and its variants. (MD 1) Shelah's conjecture.
In his celebrated 1975 paper Shelah proved that the monadic second order theory (MSO) of the real order is undecidable.
He conjectured in his Conjecture 7B that Conjecture:
MSO of the real order where the second order quantifier ranges only over Borel sets, is decidable.
In spite of important efforts on this questi…
CENTRE NATIONAL DE LA RECHERCHE SCIENTIFIQUE CNRS
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.
