It is necessary to activate JavaScript to navigate this site.


Grants





South Eastern Logic Symposium (NSF DMS 362273)
from 01/01/2015
to 01/01/2018 investigator

A grant to organize an annual weekend conference at University of Florida on the connections between set theory and computability.



Ideals and Equivalence Relations (NSF DMS 1161078)
from 10/10/2012
to 10/10/2015 investigator



Set theory and its applications (MEB051006)
from 01/01/2010
to 31/12/2011 main investigator

Programme type: MOBILITY  Polsko
Objectives:
Cooperation in the subject of descriptive set theory and forcing. Finishing the book "Ideals and Equivalences", coothored by Jindřich Zapletal and Marcin Sabok. Organizing bilateral conferences in Prague and Hejnice on the subject of infinite games, set theory, and forcing. Lectures of Jindřich Zapletal at the Institute of Mathematics in Wroclaw.



Set theory and its applications (MEB060909)
from 01/01/2009
to 31/12/2010 main investigator

Programme type: MOBILITY  Austria
Objectives:
Exploring the interaction between set theory on one hand, and abstract analysis and combinatorics on the the other.



Mathematical logic, complexity, and algorithms (IAA100190902)
from 01/01/2009
to 31/12/2013 investigator

Objectives:
Project of basic research in mathematical logic and theoretical computer science. We focus on bounded arithmetic and proof complexity, set theory, computational complexity theory, and the theory of algorithms. The topics range from foundational areas of mathematics to algorithmic problems motivated by applied research. The results of the project will be published in high quality international scientific journals and in the proceedings of selective conferences.
