Modern set-theoretic techniques applied to classic problems concerning Lindelof sp...
DOMINATION, DECOMPOSITIONS AND TOPOLOGICAL GAMES IN Cp-THEORY
Topological methods and rigorous numerics for bifurcations of dynamical systems
Set-oriented rigorous topological-numerical approach to the analysis of chaotic It...