STRIDE

The Spectrum of Relative Definability

Coordinatore	SOFIISKI UNIVERSITET SVETI KLIMENT OHRIDSKI    more  Organization address address: Tsar Osvoboditel Blvd. 15 city: SOFIA postcode: 1504 contact info Titolo: Prof. Nome: Hristo Alexandrov Cognome: Ganchev Email: send email Telefono: 35928161500 Fax: 35928687180
Nazionalità Coordinatore	Bulgaria [BG]
Totale costo	233˙465 €
EC contributo	233˙465 €
Programma	FP7-PEOPLE Specific programme "People" implementing the Seventh Framework Programme of the European Community for research, technological development and demonstration activities (2007 to 2013)
Code Call	FP7-PEOPLE-2011-IOF
Funding Scheme	MC-IOF
Anno di inizio	2012
Periodo (anno-mese-giorno)	2012-08-16   -   2015-08-15

 Partecipanti

#	participant	country	role	EC contrib. [€]
1	SOFIISKI UNIVERSITET SVETI KLIMENT OHRIDSKI  Organization address address: Tsar Osvoboditel Blvd. 15 city: SOFIA postcode: 1504 contact info Titolo: Prof. Nome: Hristo Alexandrov Cognome: Ganchev Email: send email Telefono: 35928161500 Fax: 35928687180	BG (SOFIA)	coordinator	233˙465.40

Mappa

 Word cloud

Esplora la "nuvola delle parole (Word Cloud) per avere un'idea di massima del progetto.

 Obiettivo del progetto (Objective)

'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 reducibility), and definability by the Borel operations (hyperarithmetic reducibility). We propose to study the spectrum of relative definability between subsets of the natural numbers. At the two endpoints, many-one and hyperarithmetic, we do have complete accounts and those accounts are completely different. We have only partial understanding of the spectrum between these two extremes and many important open questions. The main objective of this project is to study the to understand where in the spectrum moving from top to bottom the difference occurs. A special focus in this project will be the pair of the Turing and Enumeration degrees which is expected to hold the key for understanding this central question. The proposed project is inter-sectoral in its essence, as it examines the connection between structures that arise from Computability Theory with the structure of Second Order Arithmetic.The methodology used for these investigations place them at the intersecting point between the Computability Theory, Set Theory and Descriptive Set Theory.'