ℹ️
🇬🇧
Search
Search for people relevant for "Proving"
Proving
Person
Class
Person
Publication
Programmes
Export current view
doc. Mgr. Radek Honzík Ph.D.
Academic staff at Faculty of Arts, Faculty of Mathematics and Physics
1 study programme
30 publications
32 classes
Study programme
programme
Logic
🇨🇿 NMgr. |
Faculty of Arts
Publications
publication
Large Cardinals and the Continuum Hypothesis
2013 |
Faculty of Arts
publication
Easton's theorem and large cardinals from the optimal hypothesis
2012 |
Faculty of Arts
publication
Capturing sets of ordinals by normal ultrapowers
2023 |
Faculty of Arts
publication
Small u(kappa) at singular kappa with compactness at kappa(++)
2022 |
Faculty of Arts
publication
Small u(kappa) at singular kappa with compactness at kappa++
2021 |
Faculty of Arts
publication
The tree property at aleph_{omega 2} with a finite gap
2020 |
Faculty of Arts
publication
INDESTRUCTIBILITY OF THE TREE PROPERTY
2020 |
Faculty of Arts
publication
A Laver-like indestructibility for hypermeasurable cardinals
2019 |
Faculty of Arts
publication
The tree property and the continuum function below aleph_omega
2018 |
Faculty of Arts
publication
The tree property at the double successor of a singular cardinal with a larger gap
2018 |
Faculty of Arts
Load more publications (20)
Classes
class
Set theory and mathematics
ALG519023 |
Faculty of Arts
class
History of Modern Mathematics and Logic
ALGV00120 |
Faculty of Arts
class
Interactive theorem proving seminar
ALGV00123 |
Faculty of Arts
class
Algebra
ALG100016 |
Faculty of Arts
class
Introduction to Mathematics
+1
ALG110003 |
Faculty of Arts
class
Set Theory I
+1
ALG110007 |
Faculty of Arts
class
Set Theory II
ALG110009 |
Faculty of Arts
class
Boolean Algebras
+1
ALG110011 |
Faculty of Arts
class
Introduction to Model Theory
ALG110013 |
Faculty of Arts
class
History of modern mathematics and logic
ALG119002 |
Faculty of Arts
Load more classes (22)
Loading network view...