arXiv subjects
Publications and source records attributed to Todd Eisworth.
We investigate a combinatorial game on $ω_1$ and show that mild large cardinal assumptions imply that every normal ideal on $ω_1$ satisfies a weak version of precipitousness. As an application, we show that that the Raghavan-Todorčević 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.
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 $μ^{++}$.
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.
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.
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.
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.
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.
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 $μ$.
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 $θ<μ$.
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.
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.
We investigate negative square-brackets partition relations at successors of singular cardinals of countable cofinality. Along the way we prove some club-guessing results.
In this note, we use elementary submodels to prove that a separable monotonically normal compactum can be mapped on a separable metric space via a continuous function whose fibers have cardinality at most 2.
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.
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.
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.