VLDB 2026 Research / reviewers in the wild / expert
Miha E. Habic
dblp:130/5222
· DBLP profile ↗
3ranked-venue papers
3as first author
1since 2021 · last 2023
0000-0002-3110-6962ORCID · reported
Domains — the database's venue-derived domains; a paper can count in several
Theory of computation · 3 · 3 first-author · 1 since 2021
| Year | Publication | Venue | Position |
|---|---|---|---|
| 2023 | Capturing sets of ordinals by normal ultrapowers
Miha E. Habic, Radek Honzik |
Ann. Pure Appl. Log. | 1 |
| 2019 | Joint Diamonds and Laver DiamondsabstractAbstract The concept of jointness for guessing principles, specifically ${\diamondsuit _\kappa }$ and various Laver diamonds, is introduced. A family of guessing sequences is joint if the elements of any given sequence of targets may be simultaneously guessed by the members of the family. While equivalent in the case of ${\diamondsuit _\kappa }$ , joint Laver diamonds are nontrivial new objects. We give equiconsistency results for most of the large cardinals under consideration and prove sharp separations between joint Laver diamonds of different lengths in the case of θ-supercompact cardinals. Miha E. Habic |
J. Symb. Log. | 1 |
| 2013 | Cardinal-Recognizing Infinite Time Turing Machines
Miha E. Habic |
CiE | 1 |