Projectdetail - FWF

Grant DOI 10.55776/PIN1878224
Funding program Principal Investigator Projects International
Status ongoing
Start June 1, 2025
End May 31, 2029
Funding amount € 635,790
E-mail

Weave: Österreich - Belgien - Deutschland - Luxemburg - Polen - Schweiz - Slowenien - Tschechien

Disciplines

Mathematics (100%)

Keywords

Scott analysis, Computable Structure Theory, Foundations Of Mathematics, Nonstandard Models Of Arithmetic, Infinitary Logic

Research institution(s)

Technische Universität Wien - 100%

Project participants

Ekaterina Fokina, Technische Universität Wien , national collaboration partner

International project participants

Leszek Aleksander Kolodziejczyk, University of Warsaw - Poland
Mateusz Lelyk, University of Warsaw - Poland, international project partner
Ali Enayat, University of Gothenburg - Sweden
Antonio Montalban, University of California Berkeley - USA
Theodore A. Slaman, University of California Berkeley - USA
Steffen Lempp, University of Wisconsin - USA
Uri Andrews, University of Wisconsin-Madison - USA