EXPRO project of excellence in basic research

Abstract Convergence Schemes And Their Complexities

Active members

Wieslaw

Wiesław Kubiś

principal investigator

email: kubis@math.cas.cz

research interest: applications of logic and set theory; universal homogeneous objects in the context of category theory

Adam

Adam Bartoš

postdoc

email: bartos@math.cas.cz

research interest: Fraïssé theory, general topology, category theory

Tristan

Tristan Bice

researcher

email: bice@math.cas.cz

research interest: topology and lattice theory: Stone duality and frame/locale theory; operator algebras and Étale groupoids: groupoid C*-algebras, Steinberg algebras and Weyl groupoids; semigroup theory: inverse semigroups, *-semigroups and ordered groupoids; logic: set theory and model theory

Ivan

Ivan Di Liberti

postdoc

email: diliberti.math@gmail.com

research interest: categorical logic and foundations

doucha

Michal Doucha

researcher

email: doucha@math.cas.cz

research interest: topological and geometric group theory, descriptive set theory, functional analysis

Muller

Vladimir Müller

researcher

email: muller@math.cas.cz

research interest: operator theory

Pech

Christian Pech

researcher

email: pech@math.cas.cz

research interest: model theory, abstract Fraisse theory, homomorphism homogeneity, polymorphism homogeneity, automorphism groups, endomorphism monoids, and polymorphism clones of countable structures.

Paulina

Paulina Radecka

PhD student

email: radecka@math.cas.cz

research interest: evolution systems, generic structures, set theory.

Kostana

Ziemowit Kostana

PhD student - University of Warsaw doctoral programme

email: kostana@math.cas.cz

research interest: set theory and its applications to other parts of mathematics, mainly model theory and topology

Former members

Arnaud

Arnaud Duvieusart

postdoc Jul 2020 - Dec 2020

email: duvieusart@math.cas.cz

research interest: categorical algebra

Mirna

Mirna Džamonja

researcher

email: logiqueconsult@gmail.com

research interest: Logic in all its aspects : mathematical, philosophical and in computer sciences