<img height="1" width="1" style="display:none;" alt="" src="https://px.ads.linkedin.com/collect/?pid=1611962&amp;fmt=gif">
How to Apply Open Days Student Hub CZ
Radek Honzík

doc. Mgr. et Mgr. Radek Honzík, Ph.D.

Programme Leader for MSc Computing

Doc. Mgr. et Mgr. Radek Honzík, Ph.D. is Programme Leader for MSc Computing. In this role, he is responsible for overseeing programme development and ensuring that academic and professional standards are consistently maintained.

Radek holds Master’s degrees in Mathematics and English Language, and Logic and Computational Linguistics, as well as a Ph.D. from the Faculty of Mathematics and Physics, Charles University.

He was also a postdoctoral researcher for three years at the Kurt Gödel Research Center for Mathematical Logic in Vienna. Radek's research has been published in distinguished international journals including Annals of Pure and Applied Logic, and the Israel Journal of Mathematics. He is also co-author of the monograph The Hyperuniverse Project and Maximality (Springer 2018).

Education

Charles University, CZ — Docent
Charles University, CZ — Doctor's Degree
Charles University, CZ — Master (Mgr.)
Technical University of Liberec, CZ — Master (Mgr.)

Professional Activities

2012 - present — Prague City University, Programme Leader

2018 - present — Charles University, Head of Department of Logic
 
2015 - 2018 — Charles University, Deputy Head of Department of Logic
 
2005 - 2008 — Kurt Godel Research Center for Mathematical Logic, Vienna University, Junior Researcher
 
2005 - 2008 — Mathematical Institute, Academy of Sciences, Prague. Junior Researcher 

Research & Practice

Selected Research:
Indestructibility of some compactness principles over models of PFA (with Ch. Lambie-Hanson and S. Stejskalova), submitted 2022.
Small u(kappa) at singular kappa with compactness at kappa++ (with S. Stejskalova), Archive for Mathematical Logic, 61, 33-54, 2022.
Small u(kappa) at singular kappa with compactness at kappa++ (with S. Stejskalova), Archive for Mathematical Logic, 2021.
Capturing sets of ordinals by normal ultrapowers (with M. Habic), Annals of Pure and Applied Logic, 2021.
Indestructibility of the tree property (with S. Stejskalova), The Journal of Symbolic Logic, 85(1), 467-485, 2020.
A Laver-like indestructibility for hypermeasurable cardinals, Archive for Mathematical Logic, 58(3), 275-287, 2019.
The Hyperuniverse Project and Maximality, Antos, C., Friedman, S.-D., Honzik, R., Ternullo, C., Birkhauser Basel (Springer), 2018.
The tree property and the continuum function below aleph_omega (with S. Stejskalova), Mathematical Logic Quarterly, 64(1-2), 89-102, 2018.
The tree property at the double successor of a singular cardinal with a larger gap (with Sy D. Friedman and S. Stejskalova), Annals of Pure and Applied Logic, 169, pp 548-564, 2018.
Definability of satisfaction in outer models (with Sy D. Friedman), Journal of Symbolic Logic, 81(3), pp 1047-1068, 2016.