ℹ️
🇨🇿
Hledání
Hledat osoby relevantní k dotazu "first order logic"
first order logic
Osoba
Předměty
Osoby
Publikace
Studium
doc. Mgr. Radek Honzík Ph.D.
Akademický pracovník na Filozofická fakulta, Matematicko-fyzikální fakulta
1 studijní program
30 publikací
32 předmětů
Studijní program
programme
Logika
🇨🇿 NMgr. |
Filozofická fakulta
Publikace
publication
Definability of satisfaction in outer models
2016 |
Filozofická fakulta
publication
Capturing sets of ordinals by normal ultrapowers
2023 |
Filozofická fakulta
publication
Small u(kappa) at singular kappa with compactness at kappa(++)
2022 |
Filozofická fakulta
publication
Small u(kappa) at singular kappa with compactness at kappa++
2021 |
Filozofická fakulta
publication
The tree property at aleph_{omega 2} with a finite gap
2020 |
Filozofická fakulta
publication
INDESTRUCTIBILITY OF THE TREE PROPERTY
2020 |
Filozofická fakulta
publication
A Laver-like indestructibility for hypermeasurable cardinals
2019 |
Filozofická fakulta
publication
The tree property and the continuum function below aleph_omega
2018 |
Filozofická fakulta
publication
The tree property at the double successor of a singular cardinal with a larger gap
2018 |
Filozofická fakulta
publication
The Hyperuniverse Project and Maximality
2018 |
Filozofická fakulta
Načíst další publikace (20)
Předměty
class
Algebra
ALG100016 |
Filozofická fakulta
class
Úvod do matematiky
+1
ALG110003 |
Filozofická fakulta
class
Teorie množin I
+1
ALG110007 |
Filozofická fakulta
class
Teorie množin II
ALG110009 |
Filozofická fakulta
class
Booleovy algebry
+1
ALG110011 |
Filozofická fakulta
class
Úvod do teorie modelů
ALG110013 |
Filozofická fakulta
class
Historie moderní matematiky a logiky
ALG119002 |
Filozofická fakulta
class
Filozofické aspekty logiky a matematiky
ALG119003 |
Filozofická fakulta
class
Vybraná témata z matematiky
ALG119004 |
Filozofická fakulta
class
Analytická filozofie I
ALG119013 |
Filozofická fakulta
Načíst další předměty (22)
Loading network view...