Farmer Schlutzenberg

13 papers Journal 13
YearRankTypeTitle / Venue / Authors
2025 J jnl
On a Conjecture regarding the mouse order for Weasels.
J. Symb. Log.
Jan Kruschewski, Farmer Schlutzenberg
2025 J jnl
On the consistency of ZF with an elementary embedding from Vλ+2 into Vλ+2.
J. Math. Log.
Farmer Schlutzenberg
2024 J jnl
Mutually embeddable models of ZFC.
Ann. Pure Appl. Log.
Monroe Eskew, Sy-David Friedman, Yair Hayut, Farmer Schlutzenberg
2024 J jnl
The Definability of the Extender sequence from in.
J. Symb. Log.
Farmer Schlutzenberg
2023 J jnl
The definability of E in self-iterable mice.
Ann. Pure Appl. Log.
Farmer Schlutzenberg
2022 J jnl
Choice principles in local mantles.
Math. Log. Q.
Farmer Schlutzenberg
2022 J jnl
Reinhardt cardinals and iterates of
Ann. Pure Appl. Log.
Farmer Schlutzenberg
2021 J jnl
Iterability for (transfinite) stacks.
J. Math. Log.
Farmer Schlutzenberg
2020 J jnl
A premouse inheriting strong cardinals from
Ann. Pure Appl. Log.
Farmer Schlutzenberg
2018 J jnl
A Long Pseudo-Comparison of Premice in L[x].
Notre Dame J. Formal Log.
Farmer Schlutzenberg
2014 J jnl
Comparison of fine structural mice via coarse iteration.
Arch. Math. Log.
Farmer Schlutzenberg, John R. Steel
2014 J jnl
Determinacy and JóNsson Cardinals in
J. Symb. Log.
S. Jackson, Richard Ketchersid, Farmer Schlutzenberg, W. Hugh Woodin
2012 J jnl
Homogeneously Suslin sets in tame mice.
J. Symb. Log.
Farmer Schlutzenberg
2025 Best paper conf
Assessing the Effectiveness of the Tigress Obfuscator Against MOPSA and BinaryNinja.
CheckMATE
Nicolò Altamura, Enrico Bragastini, Marco Campion, Mila Dalla Preda
2026 Best paper preprint
ASSEMBLAGE-DEEPHISTORY: A Cross-Build Binary Dataset with Temporal Coverage.
arXiv
Chang Liu, Noah Fleischmann, Nicolò Altamura, Edward Raff, James Holt, Kristopher Micinski