<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-honzik

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):

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

Position

Programme Leader

Faculty or Department

School of Media & IT

Education

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