BZPEERPapers, people, evidence and research paths
Menu

Discover

SearchFind papers, people, topics, institutions and opportunities from one place.GraphSee how papers, authors, topics and evidence connect.

Research tools

HomeContinue from the papers, people and topics that matter now.CollectionsTurn saved papers into reading lists, evidence maps and shareable context.ResearchReconstruct the path that led you from search to paper to question.CollaborationMove from a paper, topic or expert request into a focused thread.PublishCreate full-text research articles with metadata, formulas and versions.

Network

ExpertsFind specialists whose work and reviews explain why they can help.CommunitiesJoin research groups organized around papers, topics and shared evidence.

Opportunities

ListingsBrowse roles, calls and collaborations connected to real research context.

Account

Log inReturn to your saved papers, graph views and active threads.Create accountStart saving papers, building a research trail and joining teams.
Log inCreate account

Source author record

Farmer Schlutzenberg

Farmer Schlutzenberg appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.

ResearcherUnclaimed source record
math.LO

Catalog footprint

What is connected

8works
1topics
4close collaborators

Actions

Connect this record

Log in to claim
Open graphBrowse works

Research graph

See the researcher in context

Open full explorer

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.

Published work

8 published item(s)

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.

0 citations0 reviewsNo code linkedOpen access
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.

0 citations0 reviewsNo code linkedOpen access
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$).

0 citations0 reviewsNo code linkedOpen access
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).

0 citations0 reviewsNo code linkedOpen access
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}$.

0 citations0 reviewsNo code linkedOpen access