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

Associate Professor Radek Honzík

Programme Leader
School of Media & IT

Doc. Mgr. et Mgr. Radek Honzík, Ph.D. is Programme Leader for MSc Computing.

He 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, where he also successfully defended his habilitation work (Doc.) in 2019.

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

Selected publications (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.

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.

The tree property at the aleph_{2n}'s and the failure of SCH at aleph_omega (with Sy D. Friedman), Annals of Pure and Applied Logic, 166, pp 526-552, 2015.

Easton functions and supercompactness (with B.Cody and Sy D. Friedman), Fundamenta Mathematicae, 226, pp 279-296, 2014.

On strong forms of reflection in set theory (with Sy D. Friedman), Mathematical Logic Quarterly, 62(1-2), pp 52-58, 2016 .

Multiverse conceptions in set theory (with C. Antos, S. D. Friedman, C. Ternullo), Synthese, 192(8), pp. 2463-2488, 2015 .

A lifting argument for the generalized Grigorieff forcing (with J. Verner), Notre Dame Journal of Formal Logic , 57(2), pp 221-231, 2016.

Supercompactness and Failures of GCH (with Sy D. Friedman), Fundamenta Mathematicae, 219(1), pp 15-36, 2012.

Fusion and large cardinal preservation (with Sy D. Friedman and L. Zdomskyy), Annals of Pure and Applied Logic , 164, pp 1247-1273, 2013.

Easton's theorem and large cardinals from the optimal hypothesis (with Sy D. Friedman), Annals of Pure and Applied Logic, 163(12), pp 1738-1747, 2012.

A definable failure of the Singular Cardinal Hypothesis (with Sy D. Friedman), Israel Journal of Mathematics, 192(2), pp 719-762, 2012.

A characterization of lifting generics for Sacks-like forcings, Acta Universitatis Carolinae, Mathematica et Physica, 51, pp 49-55, 2010.

Global singularization and the failure of SCH,  Annals of Pure and Applied Logic, 161(7), pp 895-915, 2010.

Easton's theorem and large cardinals (with Sy D. Friedman),  Annals of Pure and Applied Logic, 154(3), pp 191-208, 2008.


Doc., Charles University
PhD, Charles University
MSc, Charles University
MSc, Technical University of Liberec