arXiv subjects

Maxwell Levine

Publications and source records attributed to Maxwell Levine.

13 recordsLinked to original sources

arXiv2026

On Determinacy for Cut and Choose Games of Uncountable Length

We obtain results on cut and choose games for complete Boolean algebras. Zapletal proved that there is a Boolean algebra $\mathbb{B}$ such that $\mathcal{G}_\omega^\textsf{candc}(\mathbb{B})$, the version of the game which ends on the $\omega$'th round, is undetermined. We prove that, assuming the consistency of a proper class of supercompact cardinals, the limit version $\mathcal{G}^{\textsf{candc}}_{< \lambda}(\mathbb{B})$, in which there are $\lambda$-many rounds but no concluding round, is consistently determined for all complete Boolean algebras $\mathbb{B}$ and all successor cardinals $\lambda$. In particular, this answers a question of Zapletal \cite[Question 2]{Zapletal1995}. We also show that undetermined instances of the game $\mathcal{G}^\textsf{candc}_\lambda(\mathbb{B})$ follow from the approachability property, extending results of Dobrinen, and we prove that undetermined instances are compatible with $\textsf{MM}^{++}$.

math.LO↗

arXiv2025

Some questions on entangled linear orders

Entangled linear orders were first introduced by Abraham and Shelah. Todor\v{c}evi\'c showed that these linear orders exist under $\mathsf{CH}$. We prove the following results: (1) If $\mathsf{CH}$ holds, then, for every $n > 0$, there is an $n$-entangled linear order which is not $(n+1)$-entangled. (2) If $\mathsf{CH}$ holds, then there are two homeomorphic sets of reals $A, B \subseteq \mathbb{R}$ such that $A$ is entangled but $B$ is not $2$-entangled. (3) If $\mathbb{R}\subseteq \mathrm{L}$, then there is an entangled $\Pi_1^1$ set of reals. (4) If $\diamondsuit$ holds, then there is a $2$-entangled non-separable linear order.

math.LO↗

arXiv2025

Failure of Approachability at the Successor of the first Singular for any Cofinality

We solve two long-standing open problems regarding the combinatorics of $\aleph_{\omega+1}$. We answer a question of Shelah by showing that it is consistent for any $n\geq 1$ that $\mathsf{GCH}$ holds and there is a stationary set of points of cofinality $\aleph_n$ which is not in the approachability ideal. As a corollary, we obtain a model where the notions of goodness and approachability are distinct for stationarily many points of cofinality $\aleph_1$, answering an open question of Cummings, Foreman, and Magidor.

math.LO↗

arXiv2024

Good Scales and Non-Compactness of Squares

Cummings, Foreman, and Magidor investigated the extent to which square principles are compact at singular cardinals. The first author proved that if $\kappa$ is a singular strong limit of uncountable cofinality, all scales on $\kappa$ are good, and $\square^*_\delta$ holds for all $\delta<\kappa$, then $\square_\kappa^*$ holds. In this paper we will present a strongly contrasting result for $\aleph_\omega$. We construct a model in which $\square_{\aleph_n}$ holds for all $n<\omega$, all scales on $\aleph_\omega$ are good, but in which $\square_{\aleph_\omega}^*$ fails and some weak forms of internal approachability for $[H(\aleph_{\omega+1})]^{\aleph_1}$ fail. This requires an extensive analysis of the dominating and approximation properties of a version of Namba forcing. We also prove some supporting results.

math.LO↗

arXiv2024

On Namba Forcing and Minimal Collapses

We build on a 1990 paper of Bukovsky and Coplakova-Hartova. First, we remove the hypothesis of $\textsf{CH}$ from one of their minimality results. Then, using a measurable cardinal, we show that there is a $|\aleph_2^V|=\aleph_1$-minimal extension that is not a $|\aleph_3^V|=\aleph_1$-extension, answering the first of their questions.

math.LO↗

arXiv2024

Distinguishing Internally Club and Approachable on an Infinite Interval

Krueger showed that PFA implies that for all regular $\Theta \ge \aleph_2$, there are stationarily many $[H(\Theta)]^{\aleph_1}$ that are internally club but not internally approachable. From countably many Mahlo cardinals, we force a model in which, for all positive $n<\omega$ and $\Theta \ge \aleph_{n+1}$, there is a stationary subset of $[H(\Theta)]^{\aleph_n}$ consisting of sets that are internally club but not internally approachable. The theorem is obtained using a new variant of Mitchell forcing. This answers questions of Krueger.

math.LO↗

arXiv2023

Classical Namba forcing can have the weak countable approximation property

We show that it is consistent from an inaccessible cardinal that classical Namba forcing has the weak $\omega_1$-approximation property. In fact, this is the case if $\aleph_1$-preserving forcings do not add cofinal branches to $\aleph_1$-sized trees. The exact statement we obtain is similar to Hamkins' Key Lemma. It follows as a corollary that $\mathsf{MM}$ implies that there are stationarily many indestructibly weakly $\omega_1$-guessing models that are not internally unbounded. This answers a question of Cox and Krueger and partially answers another. Our result on $\mathsf{MM}$ gives a short proof of a weakening of Cox and Krueger's main result by removing their use of higher Namba forcings, but we find another application of their ideas by answering a question of Adolf, Apter, and Koepke on preservation of successive cardinals by singularizing forcings.

math.LO↗

arXiv2023

On disjoint stationary sequences

We answer a question of Krueger by obtaining disjoint stationary sequences on successive cardinals. The main idea is an alternative presentation of a mixed support iteration, using it even more explicitly as a variant of Mitchell forcing. We also use a Mahlo cardinal to obtain a model in which $\aleph_2 \notin I[\aleph_2]$ and there is no disjoint stationary sequence on $\aleph_2$, answering a question of Gilton.

math.LO↗

arXiv2022

Unthreadability with Small Conditions

We introduce a forcing that adds a $\square(\aleph_2,\aleph_0)$-sequence with countable conditions under CH. Assuming the consistency of a weakly compact cardinal, we can find a forcing extension by our new poset in which both $\square(\aleph_2,<\!\aleph_0)$ and $\square_{\aleph_1,\aleph_0}$ fail in the forcing extension.

math.LO↗

arXiv2022

On compactness of weak square at singulars of uncountable cofinality

Cummings, Foreman, and Magidor proved that Jensen's square principle is non-compact at $\aleph_\omega$, meaning that it is consistent that $\square_{\aleph_n}$ holds for all $n<\omega$ while $\square_{\aleph_\omega}$ fails. We investigate the natural question of whether this phenomenon generalizes to singulars of uncountable cofinality. Surprisingly, we show that under some mild hypotheses, the weak square principle $\square_\kappa^*$ is in fact compact at singulars of uncountable cofinality, and that an even stronger version of these hypotheses is not enough for compactness of weak square at $\aleph_\omega$.

math.LO↗

arXiv2021

Distributivity and Minimality in Perfect Tree Forcings for Singular Cardinals

Dobrinen, Hathaway and Prikry studied a forcing $\mathbb{P}_κ$ consisting of perfect trees of height $λ$ and width $κ$ where $κ$ is a singular $ω$-strong limit of cofinality $λ$. They showed that if $κ$ is singular of countable cofinality, then $\mathbb{P}_κ$ is minimal for $ω$-sequences assuming that $κ$ is a supremum of a sequence of measurable cardinals. We obtain this result without the measurability assumption. Prikry proved that $\mathbb{P}_κ$ is $(ω,ν)$-distributive for all $ν<κ$ given a singular $ω$-strong limit cardinal $κ$ of countable cofinality, and Dobrinen et al$.$ asked whether this result generalizes if $κ$ has uncountable cofinality. We answer their question in the negative by showing that $\mathbb{P}_κ$ is not $(λ,2)$-distributive if $κ$ is a $λ$-strong limit of uncountable cofinality $λ$ and we obtain the same result for a range of similar forcings, including one that Dobrinen et al$.$ consider that consists of pre-perfect trees. We also show that $\mathbb{P}_κ$ in particular is not $(ω,\cdot,λ^+)$-distributive under these assumptions. While developing these ideas, we address natural questions regarding minimality and collapses of cardinals.

math.LO↗

arXiv2021

Trees and stationary reflection at double successors of regular cardinals

We obtain an array of consistency results concerning trees and stationary reflection at double successors of regular cardinals $κ$, updating some classical constructions in the process. This includes models of $\mathsf{CSR}(κ^{++})\wedge \mathsf{TP}(κ^{++})$ (both with and without $\mathsf{AP}(κ^{++})$) and models of the conjunctions $\mathsf{SR}(κ^{++}) \wedge \mathsf{wTP}(κ^{++}) \wedge \mathsf{AP}(κ^{++})$ and $\neg \mathsf{AP}(κ^{++}) \wedge \mathsf{SR}(κ^{++})$ (the latter was originally obtained in joint work by Krueger and the first author \cite{GilKru:8fold}, and is here given using different methods). Analogs of these results with the failure of $\mathsf{SH}(κ^{++})$ are given as well. Finally, we obtain all of our results with an arbitrarily large $2^κ$, applying recent joint work by Honzik and the third author.

math.LO↗

arXiv2019

Partitioning a reflecting stationary set

We address the question of whether a reflecting stationary set may be partitioned into two or more reflecting stationary subsets, providing various affirmative answers in ZFC. As an application to singular cardinals combinatorics, we infer that it is never the case that there exists a singular cardinal all of whose scales are very good.

math.LO↗