Set-theoretic blockchains ME Habič, JD Hamkins, LD Klausner, J Verner, KJ Williams Archive for Mathematical Logic 58 (7), 965-997, 2019 | 8 | 2019 |
Cardinal-recognizing infinite time turing machines ME Habič Conference on Computability in Europe, 231-240, 2013 | 3 | 2013 |
A Mitchell-like order for Ramsey and Ramsey-like cardinals E Carmody, V Gitman, ME Habič arXiv preprint arXiv:1609.07645, 2016 | 2 | 2016 |
Joint diamonds and Laver diamonds ME Habič The Journal of Symbolic Logic 84 (3), 895-928, 2019 | 1 | 2019 |
Capturing sets of ordinals by normal ultrapowers ME Habič, R Honzík Annals of Pure and Applied Logic 174 (6), 103261, 2023 | | 2023 |
The grounded Martin's axiom ME Habič Mathematical Logic Quarterly 63 (5), 437-453, 2017 | | 2017 |
Joint Laver diamonds and grounded forcing axioms ME Habic City University of New York, 2017 | | 2017 |