Cardinal-Recognizing Infinite Time Turing Machines. - Miha E. Habic (CiE, 2013)

The grounded Martin's axiom. - Miha E. Habic (Math. Log. Q., 2017)

Set-theoretic blockchains. - Miha E. Habic; Joel David Hamkins; Lukas Daniel Klausner; Jonathan Verner; Kameryn J. Williams (Arch. Math. Log., 2019)

Joint Diamonds and Laver Diamonds. - Miha E. Habic (J. Symb. Log., 2019)

Capturing sets of ordinals by normal ultrapowers. - Miha E. Habic; Radek Honzik (Ann. Pure Appl. Log., 2023)