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 investigates the concept of definability in Mathematical Logic, focusing on the relative definability of real numbers. It explores the spectrum of definability between subsets of natural numbers, particularly the relationship between Turing and Enumeration degrees, aiming to clarify important open question…
One of the principal threads in Mathematical Logic is to give a mathematical analysis of the notion of definability.
Of particular interest is the relative definability of reals.
Based on the fineness of ingredients that come into a particular definability notion, we obtain a whole spectrum of relative definability: effective translation (many-one reducibility), computation (Turing reducibility), existential definability (enumeration reducibility), number theoretic definability (arithmetic redu…
SOFIA UNIVERSITY ST KLIMENT OHRIDSKI
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.
