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 explores the connections between set theory and computability, focusing on applying inner model theory to study randomness and computable functions. The research aims to enhance understanding of logical theories and their implications in mathematics.
This proposal is in mathematical logic.
It aims to study interactions between set theory and computability.
More specifically, we want to apply techniques from inner model theory to computability and randomness.
The development of modern set theory began with Paul Cohen's solution of Hilbert's first problem in 1964.
Since then, set theory has been used to solve important problems in various areas of mathematics.
Descriptive set theory studies definable sets of reals, for instance Borel and analy…
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.
