arXiv math/97112221997-11-15math.LO

After all, there are some inequalities which are provable in ZFC

Tomek Bartoszyński, Andrzej Rosłanowski, Saharon Shelah

发表信息：: J. Symbolic Logic 65 (2000) 803-816

英文摘要：

We address ZFC inequalities between some cardinal invariants of the continuum, which turned to be true in spite of strong expectations given by [RoSh:470].

机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。

阅读原文

阅读 PDF ↗

arXiv 页面 ↗HTML 原文 ↗

本文内容

英文摘要相关论文

机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。

继续探索

相关论文

A note on the asymptotic expressiveness of ZF and ZFC

We investigate the asymptotic densities of theorems provable in Zermelo-Fraenkel set theory ZF and its extension ZFC including the axiom of choice. Assuming a canonical De Bruijn representation of formulae, we construct asymptotically large sets of sentences unprovable within ZF, yet provable in ZFC. Furthermore, we link the asymptotic density of ZFC theorems with the provable consistency of ZFC itself. Consequently, if ZFC is consistent, it is not possible to refute the existence of the asymptotic density of ZFC theorems within ZFC. Both these results address a recent question by Zaionc regar…

2021-01-23math.COmath.LO

Provable Pi-1-2 Singletons

In this note I show that a pi-1-2 singleton R of L-degree strictly between 0 and 0# can be obtained so as to be the unique solution to a pi-1-2 formula which provably has at most one solution, in the theory ZFC+(*) where (*) has the approximate strength of an ineffable cardinal.

1993-02-04math.LO

More ZFC inequalities between cardinal invariants

Motivated by recent results and questions of D. Raghavan and S. Shelah, we present ZFC theorems on the bounding and various almost disjointness numbers, as well as on reaping and dominating families on uncountable, regular cardinals. We show that if $κ=λ^+$ for some $λ\geq ω$ and $\mathfrak b(κ)=κ^+$ then $\mathfrak a_e(κ)=\mathfrak a_p(κ)=κ^+$. If, additionally, $2^{<λ}=λ$ then $\mathfrak a_g(κ)=κ^+$ as well. Furthermore, we prove a variety of new bounds for $\mathfrak d(κ)$ in terms of $\mathfrak r(κ)$, including $\mathfrak d(κ)\leq \mathfrak r_σ(κ)\leq \mathrm{cof}([\mathfrak r(κ)]^ω)$, and…

2018-03-08math.LO

Localizing the axioms

We examine what happens if we replace ZFC with a localistic/relativistic system, LZFC, whose central new axiom, denoted by $Loc({\rm ZFC})$, says that every set belongs to a transitive model of ZFC. LZFC consists of $Loc({\rm ZFC})$ plus some elementary axioms forming Basic Set Theory (BST). Some theoretical reasons for this shift of view are given. All $Π_2$ consequences of ZFC are provable in ${\rm LZFC}$. LZFC strongly extends Kripke-Platek (KP) set theory minus $Δ_0$-Collection and minus $\in$-induction scheme. ZFC+``there is an inaccessible cardinal'' proves the consistency of LZFC. In LZ…

2023-03-27math.LO

Viva la difference I: Nonisomorphism of ultrapowers of countable models

We show that it is not provable in ZFC that any two countable elementarily equivalent structures have isomorphic ultrapowers relative to some ultrafilter on omega .

1991-01-15math.LO

PCF arithmetic without and with choice

We deal with relatives of GCH which are provable. In particular we deal with rank version of the revised GCH. Our motivation was to find such results when only weak versions of the axiom of choice are assumed but some of the results gives us additional information even in ZFC.

2010-03-03math.LO

更多相关论文收起更多论文

Two inequalities between cardinal invariants

We prove two $\mathrm{ZFC}$ inequalities between cardinal invariants. The first inequality involves cardinal invariants associated with an analytic P-ideal, in particular the ideal of subsets of $ω$ of asymptotic density $0$. We obtain an upper bound on the $\ast$-covering number, sometimes also called the weak covering number, of this ideal by proving in Section \ref{sec:covz0} that ${\mathord{\mathrm{cov}}}^{\ast}({\mathcal{Z}}_{0}) \leq \mathfrak{d}$. In Section \ref{sec:skbk} we investigate the relationship between the bounding and splitting numbers at regular uncountable cardinals. We pro…

2015-05-23math.LO

Towers in filters, cardinal invariants, and Luzin type families

We investigate which filters on $ω$ can contain towers, that is, a modulo finite descending sequence without any pseudointersection (in $[ω]^ω$). We prove the following results: - Many classical examples of nice tall filters contain no towers (in ZFC). - It is consistent that tall analytic P-filters contain towers of arbitrary regular height (simultaneously for many regular cardinals as well). - It is consistent that all towers generate non-meager filters, in particular (consistently) Borel filters do not contain towers. - The statement "Every ultrafilter contains towers." is independent of ZF…

2016-05-16math.LO

Definable orthogonality classes in accessible categories are small

We lower substantially the strength of the assumptions needed for the validity of certain results in category theory and homotopy theory which were known to follow from Vopenka's principle. We prove that the necessary large-cardinal hypotheses depend on the complexity of the formulas defining the given classes, in the sense of the Levy hierarchy. For example, the statement that, for a class S of morphisms in a locally presentable category C of structures, the orthogonal class of objects is a small-orthogonality class (hence reflective) is provable in ZFC if S is Σ_1, while it follows from the …

2012-12-02math.ATmath.CTmath.LO

高阶Cichoń图

The Higher Cichoń Diagram

针对强不可达基数$κ$，研究三类理想的基数特征关系，证明部分不等式并给出不可证明的一致性结果，构建多个模型区分特征，发展新的迭代工具。

2018-08-28math.LO