VLDB 2026 Research / reviewers in the wild / expert
Jan Kruschewski
dblp:404/8886
· DBLP profile ↗
2ranked-venue papers
2as first author
2since 2021 · last 2026
0000-0002-2898-3091ORCID · corroborated
Domains — the database's venue-derived domains; a paper can count in several
Theory of computation · 2 · 2 first-author · 2 since 2021
| Year | Publication | Venue | Position |
|---|---|---|---|
| 2026 | Analysis of HOD for admissible structures
Jan Kruschewski, Farmer Schlutzenberg |
Ann. Pure Appl. Log. | 1 |
| 2025 | On a Conjecture regarding the mouse order for WeaselsabstractAbstract We investigate Steel’s conjecture in ‘The Core Model Iterability Problem’ [10], that if $\mathcal {W}$ and $\mathcal {R}$ are $\Omega +1$ -iterable, $1$ -small weasels, then $\mathcal {W}\leq ^{*}\mathcal {R}$ iff there is a club $C\subset \Omega $ such that for all $\alpha \in C$ , if $\alpha $ is regular, then $\alpha ^{+\mathcal {W}}\leq \alpha ^{+\mathcal {R}}$ . We will show that the conjecture fails, assuming that there is an iterable premouse M which models KP and which has a -Woodin cardinal. On the other hand, we show that assuming there is no transitive model of KP with a Woodin cardinal the conjecture holds. In the course of this we will also show that if M is a premouse which models KP with a largest, regular, uncountable cardinal $\delta $ , and $\mathbb {P} \in M$ is a forcing poset such that $M\models "\mathbb {P}\text { has the }\delta \text {-c.c.}"$ , and $g\subset \mathbb {P}$ is M-generic, then $M[g]\models \text {KP}$ . Additionally, we study the preservation of admissibility under iteration maps. At last, we will prove a fact about the closure of the set of ordinals at which a weasel has the S-hull property. This answers another question implicit in remarks in [10]. Jan Kruschewski, Farmer Schlutzenberg |
J. Symb. Log. | 1 |