Farmer Schlutzenberg

Publication Activity (10 Years)

Years Active: 2012-2024
Publications (10 Years): 8

Top Topics

Propositional Logic

Top Venues

Ann. Pure Appl. Log.

Arch. Math. Log.

Publications

Monroe Eskew, Sy-David Friedman, Yair Hayut, Farmer Schlutzenberg
Mutually embeddable models of ZFC. Ann. Pure Appl. Log. 175 (Issue 1, Part B) (2024)
Farmer Schlutzenberg
The Definability of the Extender sequence from in. J. Symb. Log. 89 (2) (2024)
Farmer Schlutzenberg
The definability of E in self-iterable mice. Ann. Pure Appl. Log. 174 (2) (2023)
Farmer Schlutzenberg
Choice principles in local mantles. Math. Log. Q. 68 (3) (2022)
Farmer Schlutzenberg
. Ann. Pure Appl. Log. 173 (2) (2022)
Farmer Schlutzenberg
Iterability for (transfinite) stacks. J. Math. Log. 21 (2) (2021)
Farmer Schlutzenberg
. Ann. Pure Appl. Log. 171 (9) (2020)
Farmer Schlutzenberg
A Long Pseudo-Comparison of Premice in L[x]. Notre Dame J. Formal Log. 59 (4) (2018)
S. Jackson, Richard Ketchersid, Farmer Schlutzenberg, W. Hugh Woodin
(ℝ). J. Symb. Log. 79 (4) (2014)
Farmer Schlutzenberg, John R. Steel
Comparison of fine structural mice via coarse iteration. Arch. Math. Log. 53 (5-6) (2014)
Farmer Schlutzenberg
Homogeneously Suslin sets in tame mice. J. Symb. Log. 77 (4) (2012)