SearcharxivSearch

arXiv subjects

Todd Eisworth

Publications and source records attributed to Todd Eisworth.

16 recordsLinked to original sources

On minimal non-$σ$-scattered linear orders

The purpose of this article is to give new constructions of linear orders which are minimal with respect to being non-$σ$-scattered. Specifically, we will show that Jensen's principle $\diamondsuit$ implies that there is a minimal Countryman line, answering a question of Baumgartner. We also produce the first consistent examples of minimal non-$σ$-scattered linear orders of cardinality greater than $\aleph_1$, as given a successor cardinal $κ^+$, we obtain such linear orderings of cardinality $κ^+$ with the additional property that their square is the union of $κ$-many chains. We give two constructions: directly building such examples using forcing, and also deriving their existence from combinatorial principles. The latter approach shows that such minimal non-$σ$-scattered linear orders of cardinality $κ^+$ exist for every cardinal $κ$ in Gödel's constructible universe, and also (using work of Rinot) that examples must exist at successors of singular strong limit cardinals in the absence of inner models satisfying the existence of a measurable cardinal $μ$ of Mitchell order $μ^{++}$.

math.LO

Galvin's Conjecture and Weakly Precipitous Ideals

We investigate a combinatorial game on $\omega_1$ and show that mild large cardinal assumptions imply that every normal ideal on $\omega_1$ satisfies a weak version of precipitousness. As an application, we show that that the Raghavan-Todor\v{c}evi\'{c} proof of a longstanding conjecture of Galvin (done assuming the existence of a Woodin cardinal) can be pushed through under much weaker large cardinal assumptions.

math.LO

The Pseudopower Dichotomy

We investigate pseudopowers of singular cardinals, and show that deduce some consequences for cardinal arithmetic. For example, we show that in {\sf ZFC} that $$\cov(μ,μ,θ,σ)=\cov(μ,μ,(\cfμ)^+,σ)+\cov(μ,μ,θ,σ^+)$$ whenever $\aleph_1\leqσ=\cf(σ)<\cf(μ)<θ<μ$, and use recent work of Gitik to show that both summands in the equation are required.

math.LO

A note on the Revised GCH

We give a proof of Theorem 2.10 from [8] that eliminates the use of Shelah's nice filters and associated rank functions, and instead uses only the well-foundedness of reduced products of ordinals modulo countably complete filters. This removes any need to make assumptions about the existence of large cardinals in core models.

math.LO

Representability and Compactness for Pseudopowers

We prove a compactness theorem for pseudopower operations of the form $pp_{Γ(μ,σ)}(μ)$ where $\aleph_0<σ=cf(σ)\leq cf(μ)$. Our main tool is a result that has Shelah's cov vs. pp Theorem as a consequence. We also show that the failure of compactness in other situations has significant consequences for pcf theory, in particular, implying the existence of a progressive set $A$ of regular cardinals for which $pcf(A)$ has an inaccessible accumulation point.

math.LO

CH and the Moore-Mrowka Problem

We show that the Continuum Hypothesis is consistent with all regular spaces of hereditarily countable $π$-character being C-closed. This gives us a model of ZFC in which the Continuum Hypothesis holds and compact Hausdorff spaces of countable tightness are sequential.

math.GN

On idealized versions of $\pr_1(μ^+,μ^+,μ^+,\cf(μ))$

We obtain an improvement of some coloring theorems from \cite{nsbpr}, \cite{819}, and \cite{APAL} for the case where the singular cardinal in question has countable cofinality. As a corollary, we obtain an "idealized" version of the combinatorial principle $\pr_1(μ^+,μ^+,μ^+,\cf(μ))$ that maximizes the indecomposability of the associated ideal.

math.LO

A coloring theorem for succesors of singular cardinal

We formulate and prove (in {\sf ZFC}) a strong coloring theorem which holds at successors of singular cardinals, and use it to answer several questions concerning Shelah's principle $Pr_1(μ^+,μ^+,μ^+,\cf(μ))$ for singular $μ$.

math.LO

Getting more colors

We establish a coloring theorem for successors of a singular cardinals, and use it prove that for any such cardinal $μ$, we have $μ^+\nrightarrow[μ^+]^2_{μ^+}$ if and only if $μ^+\nrightarrow[μ^+]^2_θ$ for arbitrarily large $θ<μ$.

math.LO

Club-guessing, stationary reflection, and coloring theorems

We obtain strong coloring theorems at successors of singular cardinals from failures of certain instances of simultaneous reflection of stationary sets. Along the way, we establish new results in club-guessing and in the general theory of ideals.

math.LO

A note on strong negative partition relations

We analyze a natural function definable from a scale at a singular cardinal, and using this function we are able to obtain quite strong negative square-brackets partition relations at successors of singular cardinals. The proof of our main result makes use of club-guessing, and as a corollary we obtain a fairly easy proof of a difficult result of Shelah connecting weak saturation of a certain club-guessing ideal with strong failures of square-brackets partition relations. We then investigate the strength of weak saturation of such ideals and obtain some results on stationary reflection.

math.LO

On iterated forcing at successors of regular cardinals

We investigate the problem of when $\leqλ$--support iterations of $<λ$--complete notions of forcing preserve $λ^+$. We isolate a property -- {\em properness over diamonds} -- that implies $λ^+$ is preserved and show that this property is preserved by $λ$--support iterations. We close with an application of our technology by presenting a consistency result on uniformizing colorings of ladder systems on $\{δ<λ^+:\cf(δ)=λ\}$ that complements a theorem of Shelah.

math.LO

Successors of singular cardinals and coloring theorems. I

We investigate the existence of strong colorings on successors of singular cardinals. This work continues Section 2 of [Sh:413] (math.LO/9809199), but now our emphasis is on finding colorings of pairs of ordinals, rather than colorings of finite sets of ordinals.

math.LO

Gently Killing S--spaces

We produce a model of ZFC in which there are no locally compact first countable S-spaces, and in which 2^{aleph_0}<2^{aleph_1}. A consequence of this is that in this model there are no locally compact, separable, hereditarily normal spaces of size aleph_1, answering a question of the second author.

math.LO