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).
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
Prague City University
City Centre Campus
Hybernská 1009/24, Praha 1
Reception Opening Hours during the semester:
Monday — Thursday: 08:00 — 21:00
Friday: 08:00 — 19:00
Saturday — Sunday: 09:00 — 15:00
Bishop’s Court Campus
Biskupský dvůr 1147/6, Praha 1
Pragovka Campus
Kolbenova 923/34a, Praha 9
In partnership with
Follow us on social media!
Prague College and Prague City Vysoká Škola — formerly Akcent College — are now sister-universities operating as a group under the umbrella title of Prague City University.
© 2004 – 2024 Prague City University. All rights reserved. Terms & Conditions | Privacy Policy
Drop us a line!
