doc. Radek Honzik, Ph.D.

Professor at the Charles University,  Faculty of Philosophy, Department of Logic (my short CV). My ORCID: ORCID iD iconorcid.org/0000-0003-0834-0053

Lecture notes for courses I teach at the department of Logic can be downloaded here (you need to know the password; write to me if you do not know it).

 


Grants

 


Preprints (research)

  1. A Laver-like indestructibility for hypermeasurable cardinals, to appear in Archive for Mathematical Logic [pdf]
  2. The tree property at aleph_{omega+2} with a finite gap (with Sy D. Friedman and S. Stejskalova), revised, submitted (2018) [pdf]
  3. The Hyperuniverse Project and Maximality, Antos, C., Friedman, S.-D., Honzik, R., Ternullo, C., Birkhauser Basel (Springer), 2018.
  4. The tree property and the continuum function below aleph_omega (with S. Stejskalova), Mathematical Logic Quarterly, 64(1-2), 89-102, 2018 [pdf]
  5. 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 [pdf]
  6. A survey of special Aronszajn trees (with S. Stejskalova), Miscellanea Logica (X), Acta Univ. Car., Philosophica et Historica 1/2015, pp 73-91, 2015 [pdf]
  7. Definability of satisfaction in outer models (with Sy D. Friedman), Journal of Symbolic Logic, 81(3), pp 1047-1068, 2016 [pdf]
  8. 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 [pdf]
  9. Easton functions and supercompactness (with B.Cody and Sy D. Friedman), Fundamenta Mathematicae, 226, pp 279-296, 2014 [pdf]
  10. On strong forms of reflection in set theory (with Sy D. Friedman), Mathematical Logic Quarterly, 62(1-2), pp 52-58, 2016 [pdf]
  11. Multiverse conceptions in set theory (with C. Antos, S. D. Friedman, C. Ternullo), Synthese, 192(8), pp. 2463-2488, 2015 [pdf]
  12. A lifting argument for the generalized Grigorieff forcing (with J. Verner), Notre Dame Journal of Formal Logic , 57(2), pp 221-231, 2016 [pdf]
  13. Supercompactness and Failures of GCH (with Sy D. Friedman), Fundamenta Mathematicae, 219(1), pp 15-36, 2012 [pdf]
  14. Fusion and large cardinal preservation (with Sy D. Friedman and L. Zdomskyy), Annals of Pure and Applied Logic , 164, pp 1247-1273, 2013 [pdf]
  15. 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 [pdf]
  16. A definable failure of the Singular Cardinal Hypothesis (with Sy D. Friedman), Israel Journal of Mathematics, 192(2), pp 719-762, 2012 [pdf]
  17. A characterization of lifting generics for Sacks-like forcings, Acta Universitatis Carolinae, Mathematica et Physica, 51, pp 49-55, 2010 [pdf]
  18. Global singularization and the failure of SCH,  Annals of Pure and Applied Logic, 161(7), pp 895-915, 2010  [pdf]
  19. Easton's theorem and large cardinals (with Sy D. Friedman),  Annals of Pure and Applied Logic, 154(3), pp 191-208, 2008 [pdf]

 


Preprints (surveys)

  1. Large cardinals and their effect on the continuum function on regular cardinals, Miscellanea Logica (X), Acta Univ. Car., Philosophica et Historica 1/2015, pp 55-72, 2015 [pdf]
  2. Large cardinals and the Continuum Hypothesis, Miscellanea Logica (IX), Acta Univ. Car., Philosophica et Historica 2/2010 , pp 35-52, 2013 [pdf]
  3. Quick guide to independence results in set theory, Miscellanea Logica (VII), pp 89-131, published by Charles Univerisity (FFUK) 2008 [pdf]

 


Other publications

  1. Translation (joint with Veronika Douchova). William J. Cook, Po stopach obchodniho cestujiciho, Dokoran, 2012.
  2. Translation. In: Logika 20.stoleti: Mezi filosofii a matematikou (edited by Jaroslav Peregrin), Michal Dummet: Filosoficky vyznam Goedelovy vety, Filosofia 2006.
  3. Co-editor of The Logica 2006 Yearbook, Filosofia, 2007.

 


Contact

Department of Logic  
Charles University, 
Celetna 20, Praha 1, 
116 42, Czech Republic

email: radek.honzik at ff.cuni.cz