Source author record

Farmer Schlutzenberg

Explore this author’s publications, collaborators and research topics. This catalog record has not been claimed by its author.

ResearcherUnclaimed source record

math.LO

Catalog footprint

Research overview

8works

1topics

4close collaborators

Actions

Is this your work?

Open graph Browse papers

preprint2021arXiv

Background construction for $λ$ -indexed mice

Let $M$ be a $λ$ -indexed (that is, Jensen indexed) premouse. We prove that $M$ is iterable with respect to standard $λ$ -iteration rules iff $M$ is iterable with respect to a natural version of Mitchell-Steel iteration rules. Using this equivalence, we describe a background construction for $λ$ -indexed mice, analogous to traditional background constructions for Mitchell-Steel indexed mice, and which absorbs Woodin cardinals from the background universe. We also prove some facts regarding the correspondence between standard iteration trees and u-iteration trees on premice with Mitchell-Steel indexing.

preprint2020arXiv

A premouse inheriting strong cardinals from $V$

We identify a premouse inner model $L[\mathbb{E}]$ , such that for any coarsely iterable background universe $R$ modelling $\mathrm{ZFC}$ , $L[\mathbb{E}]^R$ is a proper class premouse of $R$ inheriting all strong and Woodin cardinals from $R$ . Moreover, for each $α\in\mathrm{OR}$ , $L[\mathbb{E}]^R|α$ is $(ω,α)$ -iterable, via iteration trees which lift to coarse iteration trees on $R$ . We prove that $(k+1)$ -condensation follows from $(k+1)$ -solidity together with $(k,ω_1+1)$ -iterability (that is, roughly, iterability with respect to normal trees). We also prove that a slight weakening of $(k+1)$ -condensation follows from $(k,ω_1+1)$ -iterability (without the $(k+1)$ -solidity hypothesis). The results depend on the theory of generalizations of bicephali, which we also develop.

preprint2020arXiv

A weak reflection of Reinhardt by super Reinhardt cardinals

We prove a weakened version of the reflection of Reinhardt cardinals by super Reinhardt cardinals: Let $M=(V^M,P)$ be a countable model of second order set theory $\mathsf{ZF}_2$ (with universe $V^M$ and classes $P$ ) which models " $κ$ is super Reinhardt". We show that there are unboundedly many $μ<κ$ such that there is $j$ such that $(V^M,j)$ models $\mathsf{ZF}(j)+$ " $μ$ is Reinhardt, as witnessed by $j$ ". In particular, $j\upharpoonright X\in V^M$ for all $X\in V^M$ (but we allow $j\notin P$ ).

preprint2020arXiv

Reinhardt cardinals and iterates of V

Assume ZF( $j$ ) and there is a Reinhardt cardinal, as witnessed by the elementary embedding $j:V\to V$ . We investigate the linear iterates $(N_α,j_α)$ of $(V,j)$ , and their relationship to $(V,j)$ , forcing and definability, including that for each infinite ordinal $α$ , every set is set-generic over $N_α$ , but $N_α$ is not a set-ground. Assume second order ZF. We prove that the existence of super Reinhardt cardinals and total Reinhardt cardinals is not affected by small forcing. And if $V[G]$ has a set of ordinals which is not in $V$ , then $V[G]$ has no elementary embedding $j:V[G]\to M\subseteq V$ (even allowing $M$ to be illfounded).

preprint2016arXiv

Scales in hybrid mice over $\mathbb{R}$

We develop a general theory of strategic mice, prove their condensation properties, and analyze the scales pattern in the stack of $Θ$ -g-organized $\mathcal{F}$ -mice over $\mathbb{R}$ , Lp $^{G\mathcal{F}}(\mathbb{R})$ , for a class of nice operators $\mathcal{F}$ .

preprint2015arXiv

Determinacy and Jónsson cardinals in $L(\mathbb{R})$

Assume $\mathsf{ZF}+\mathsf{AD}+V=L(\mathbb{R})$ and let $κ<Θ$ be an uncountable cardinal. We show that $κ$ is Jónsson, and that if $\mathrm{cof}(κ)=ω$ then $κ$ is Rowbottom. We also establish some other partition properties.

preprint2014arXiv

Comparison of fine structural mice via coarse iteration

Let M be a fine structural mouse. Let D be a fully backgrounded L[E]-construction computed inside an iterable coarse premouse S. We describe a process comparing M with D, through forming iteration trees on M and on S. We then prove that this process succeeds.

preprint2013arXiv

Measures in Mice

This thesis analyses extenders in fine structural mice. Kunen showed that in the inner model for one measurable cardinal, there is a unique measure. This result is generalized, in various ways, to mice below a superstrong cardinal. The analysis is then used to show that certain tame mice satisfy $V=\mathsf{HOD}$ . In particular, the approach proides a new proof of this result for the inner model $M_n$ for $n$ Woodin cardinals. It is also shown that in $M_n$ , all homogeneously Suslin sets of reals are $\mathbfΔ^1_{n+1}$ .

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Farmer Schlutzenberg

Research overview

Is this your work?

8 publications

Background construction for $λ$ -indexed mice

A premouse inheriting strong cardinals from $V$

A weak reflection of Reinhardt by super Reinhardt cardinals

Reinhardt cardinals and iterates of V

Scales in hybrid mice over $\mathbb{R}$

Determinacy and Jónsson cardinals in $L(\mathbb{R})$

Comparison of fine structural mice via coarse iteration

Measures in Mice

See the researcher in context

Building this map preview

Farmer Schlutzenberg

Research overview

Is this your work?

8 publications

Background construction for λλλ-indexed mice

A premouse inheriting strong cardinals from VVV

A weak reflection of Reinhardt by super Reinhardt cardinals

Reinhardt cardinals and iterates of V

Scales in hybrid mice over R\mathbb{R}R

Determinacy and Jónsson cardinals in L(R)L(\mathbb{R})L(R)

Comparison of fine structural mice via coarse iteration

Measures in Mice

See the researcher in context

Building this map preview

Background construction for $λ$ -indexed mice

A premouse inheriting strong cardinals from $V$

Scales in hybrid mice over $\mathbb{R}$

Determinacy and Jónsson cardinals in $L(\mathbb{R})$