ℹ️
🇬🇧
Search
Search for people relevant for "Lériho"
Lériho
Person
Class
Person
Publication
Programmes
Export current view
Mgr. Šárka Stejskalová Ph.D.
Academic staff at Faculty of Arts
3 study programmes
10 classes
25 publications
Study programmes
programme
Logic
🇨🇿 Bc. |
Faculty of Arts
programme
Logic with double curriculum study Chinese Studies
🇨🇿 Bc. |
Faculty of Arts
programme
Logic with double curriculum study General Linguistics
🇨🇿 Bc. |
Faculty of Arts
Classes
class
Algebras and structures in logic
ALG119005 |
Faculty of Arts
class
Logic exercise I
ALG119009 |
Faculty of Arts
class
Logic exercise II
ALG119010 |
Faculty of Arts
class
Propositional and predicate logic I
ALG119011 |
Faculty of Arts
class
Propositional and predicate logic II
ALG119012 |
Faculty of Arts
class
Mathematical Seminar
ALGV00035 |
Faculty of Arts
class
Introduction to finite and infinite combinatorics
ALGV19003 |
Faculty of Arts
class
Set Theory I+
ALGV19011 |
Faculty of Arts
class
Introduction to group and ring theory
ALGV19012 |
Faculty of Arts
class
Infinite trees
ALGV19014 |
Faculty of Arts
Publications
publication
Small u(kappa) at singular kappa with compactness at kappa(++)
2022 |
Faculty of Arts
publication
TREES AND STATIONARY REFLECTION AT DOUBLE SUCCESSORS OF REGULAR CARDINALS
2022 |
Faculty of Arts
publication
Easton's theorem for the tree property below aleph_omega
2021 |
Faculty of Arts
publication
Small u(kappa) at singular kappa with compactness at kappa++
2021 |
Faculty of Arts
publication
INDESTRUCTIBILITY OF THE TREE PROPERTY
2020 |
Faculty of Arts
publication
The tree property at the double successor of a singular cardinal with a larger gap
2018 |
Faculty of Arts
publication
Grigorieff forcing and the tree property
2017 |
Faculty of Arts
publication
On some axioms deciding the Continuum Hypothesis
2017 |
Faculty of Arts
publication
The tree property below aleph_omega
2017 |
Faculty of Arts
publication
The tree property at aleph_{omega+2} with a finite gap
2017 |
Faculty of Arts
Load more publications (15)
Loading network view...