Objectif "This proposed research is in mathematical logic and foundations of mathematics, more specifically in set theory. It is motivated by the interplay between regularity properties and definability for subsets of real numbers. By ""regularity properties"" we are referring to certain desirable properties of sets, and by ""definability"" to the logical description of such sets, in the sense of Descriptive Set Theory.The study of such questions goes back to classical issues in topology, analysis and related fields of mathematics, raised by the great pioneers of abstract mathematics of the late 19th and early 20th century, such as Georg Cantor, Emile Borel, Henri Lebesgue and others. These mathematicians were faced with seemingly insurmountable challenges which could only be resolved later with the advent of logical and meta-mathematical methods, developed by Kurt Gödel in 1938 and by Paul Cohen in 1964.Since that time, the study of Regularity Properties has continued to hold a central position in the foundations of mathematics. Many mathematicians and logicians of high status and prestige have contributed to this area, among them W. Hugh Woodin (winner of the Hausdorff Medal 2013), Stevo Todorčević (winner of the CRM-Fields-PIMS prize 2012) and Saharon Shelah (winner of numerous awards, among them the Erdös Prize 1977 and the Karp Prize 1983).We propose to contribute to this line of research in a number of interrelated directions, such as: studying new regularity properties (relevant to other fields of mathematics), developing abstract frameworks for such properties, studying higher complexity classes, and generalising results to spaces other than the classical real numbers. Several technical results involving the method of ""forcing"" needed to construct models of set theory, will also be worked out along the way." Champ scientifique natural sciencesmathematicspure mathematicsdiscrete mathematicsmathematical logicnatural sciencesmathematicspure mathematicstopologynatural sciencesmathematicspure mathematicsdiscrete mathematicscombinatorics Programme(s) H2020-EU.1.3. - EXCELLENT SCIENCE - Marie Skłodowska-Curie Actions Main Programme H2020-EU.1.3.2. - Nurturing excellence by means of cross-border and cross-sector mobility Thème(s) MSCA-IF-2015-EF - Marie Skłodowska-Curie Individual Fellowships (IF-EF) Appel à propositions H2020-MSCA-IF-2015 Voir d’autres projets de cet appel Régime de financement MSCA-IF-EF-ST - Standard EF Coordinateur UNIVERSITAET HAMBURG Contribution nette de l'UE € 171 460,80 Adresse MITTELWEG 177 20148 Hamburg Allemagne Voir sur la carte Région Hamburg Hamburg Hamburg Type d’activité Higher or Secondary Education Establishments Liens Contacter l’organisation Opens in new window Site web Opens in new window Participation aux programmes de R&I de l'UE Opens in new window Réseau de collaboration HORIZON Opens in new window Coût total € 171 460,80