<img height="1" width="1" style="display:none" src="https://www.facebook.com/tr?id=761728413859829&amp;ev=PageView&amp;noscript=1">

Radek Honzik

radek-4-1.jpgRadek Honzik is Programme leader for MSc Computing. He teaches advanced databases with an additional focus on the logical structure of programming and query languages.
He is the holder of two Master's degrees - in General Mathematics and the English language, and Logic and Computational Linguistics. He has a Ph.D. from the Charles University Faculty of Mathematics and Physics, where his dissertation dealt with problems in abstract mathematics (set theory). In December 2018 he successfully defended his habilitation work (Doc.) with Faculty of Mathematics and Physics at Charles University.

His research interests include advanced topics in set theory on which he has published papers in several significant mathematical journals.

Selected publications (research):

  • A Laver-like indestructibility for hypermeasurable cardinals, to appear in Archive for Mathematical Logic (2018).

  • 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.


Programme Leader

Faculty or Department

School of Media & IT


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