Jan Kruschewski

most citedAnalysis of HOD for Admissible Structures

1 citations · 2 across the 2 of their papers we have counts for

collaborators

2 papers

math.LO2025★ 1 cited

Analysis of HOD for Admissible Structures

Jan Kruschewski, Farmer Schlutzenberg

Let $n \geq 1$ and assume that there is a Woodin cardinal. For $x \in R$ let $α_{x}$ be the least $β$ such that \[ L_β[x] \models Σ_n \text{-KP} + \exists κ(``κ\text{ is ina…

math.LO2022★ 1 cited

On a Conjecture Regarding the Mouse Order for Weasels

Jan Kruschewski, Farmer Schlutzenberg

We investigate Steel's conjecture in 'The Core Model Iterability Problem', that if $W$ and $R$ are $Ω + 1$ -iterable, $1$ -small weasels, then $W \leq^{*} R$ iff there is a club $C\subse…