arXiv math/93042031993-04-15math.LO

The Consistency of $ZFC+CIFS$

Garvin Melles

英文摘要：

This paper is a technical continuation of ``Natural Axiom Schemata Extending ZFC. Truth in the Universe?'' In that paper we argue that $CIFS$ is a natural axiom schema for the universe of sets. In particular it is a natural closure condition on $V$ and a natural generalization of $IFS(L).$ Here we shall prove the consistency of $ZFC\ +\ CIFS$ relative to the existence of a transitive model of $ZFC$ using the compactness theorem together with a class forcing.

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

阅读原文

阅读 PDF ↗

arXiv 页面 ↗HTML 原文 ↗

本文内容

英文摘要相关论文

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

继续探索

相关论文

On the consistency of $P=NP$ with fragments of ZFC whose own consistency strength can be measured by an ordinal assignment

We formulate the $P<NP$ hypothesis in the case of the satisfiability problem as a $Π^0_2$ sentence, out of which we can construct a partial recursive function $f_{\neg A}$ so that $f_{\neg A}$ is total if and only if $P < NP$. We then show that if $f_{\neg A}$ is total, then it isn't ${\cal T}$--provably total (where ${\cal T}$ is a fragment of ZFC that adequately extends PA and whose consistency is of ordinal order). Follows that the negation of $P < NP$, that is, $P = NP$, is consistent with those ${\cal T}$.

2000-06-10math.LO

Some Natural Internal Forcing Schemata Extending ZFC

We give arguments for and prove the consistency of some internal forcing axioms.

1992-09-25math.LO

论分离整体性公理

On Separating Wholeness Axioms

本文研究整体性公理层级 WA_n 的分离，证明高层理论蕴含低层一致性，并区分有限与非有限公理化性质。

2025-01-21math.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

大基数，结构反射，与 HOD 猜想

Large cardinals, structural reflection, and the HOD Conjecture

本文引入了exacting cardinals与ultraexacting cardinals，证明其存在性挑战了大基数层谱的线性递增图景，并表明其超越现有与ZFC一致的大基数层级，能够反驳Woodin的HOD猜想与Ultimate-L猜想。

2025-09-16math.LO

The Landscape of Large Cardinals

The purpose of this paper is to provide an introductory overview of the large cardinal hierarchy in set theory. By a large cardinal, we mean any cardinal $κ$ whose existence is strong enough of an assumption to prove the consistency of ZFC. We assume basic familiarity with set theory, model theory, and the ZFC axioms, though certain concepts will be reviewed as necessary. We attempt to clarify the vast landscape of the higher infinite, motivating the definitions of some (but certainly not all) of the known large cardinals. We also discuss connections with the Continuum Hypothesis and provide s…

2022-05-03math.LO

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

涉及cellular-Lindelöf空间的一致性与独立性现象

Consistency and independence phenomena involving cellular-Lindelof spaces

本研究构造一致性例子解答了关于cellular-Lindelöf空间的两个公开问题，并给出一个ZFC例子说明空间的cellular-Lindelöf性质与正规性在ZFC中不可判定。

2024-06-20math.GNmath.LO

All large-cardinal axioms not known to be inconsistent with ZFC are justified

In other work we have outlined how, building on ideas of Welch and Roberts, one can motivate believing in the existence of supercompact cardinals. After making this observation we strove to formulate a justification for large-cardinal axioms of greater strength, and arrived at a motivation for a new large-cardinal property, which we define here and prove to be equivalent to the property of being a Vopěnka scheme cardinal. Making use of this result, one can also show that a theory $B_0(V_0)$ described in a previous paper of Victoria Marshall implies the existence of a Vopěnka scheme cardinal $κ…

2017-12-30math.LO

A note on cardinal preserving embeddings

We prove the consistency of the theory ZFC + there is a strongly compact cardinal from the existence of a cardinal preserving embedding from the universe into an inner model. The proof almost shows that under SCH, every cardinal preserving embedding preserves the cofinality and continuum functions.

2021-02-26math.LO

Nonlinearity and illfoundedness in the hierarchy of large cardinal consistency strength

Many set theorists point to the linearity phenomenon in the hierarchy of consistency strength, by which natural theories tend to be linearly ordered and indeed well ordered by consistency strength. Why should it be linear? In this paper I present counterexamples, natural instances of nonlinearity and illfoundedness in the hierarchy of large cardinal consistency strength, as natural or as nearly natural as I can make them. I present diverse cautious enumerations of ZFC and large cardinal set theories, which exhibit incomparability and illfoundedness in consistency strength, and yet, I argue, ar…

2022-08-25math.LO

Possibly every real function is continuous on a non--meagre set

We prove consistency of the following sentence: ``ZFC + every real function is continuous on a non-meagre set'', answering a question of Fremlin.

1995-11-15math.FAmath.LO

Length of Boolean algebras and ultraproducts

We prove the consistency with ZFC of ``the length of an ultraproduct of Boolean algebras is smaller than the ultraproduct of the lengths''. Similarly for some other cardinal invariants of Boolean algebras.

1998-05-15math.GNmath.LO

There may be no nowhere dense ultrafilter

We show the consistency of ZFC +''there is no NWD-ultrafilter on omega'', which means: for every non principle ultrafilter D on the set of natural numbers, there is a function f from the set of natural numbers to the reals, such that for some nowhere dense set A of reals, the set {n: f(n) in A} is not in D. This answers a question of van Douwen, which was put in more general context by Baumgartner

1996-11-15math.LO

开着色公理

The Open Coloring Axiom

本文系统阐释了Todorcěvić提出的开着色公理，给出其若干应用，并通过一个技术性引理证明该公理与ZFC相对一致，同时证明它蕴含b=ℵ₂从而与连续统假设不相容。

2025-03-10math.LO

ZF与从$V_{λ+2}$到$V_{λ+2}$的初等嵌入一致性的研究

On the consistency of ZF with an elementary embedding from $V_{λ+2}$ into $V_{λ+2}$

本文在ZF下证明，若$I_{0,λ}$成立且$λ$为偶数，则存在包含$V_{λ+1}$的内模型满足ZF及存在从$V_{λ+2}$到自身的初等嵌入，并探讨了相关大基数公理的一致性后果。

2024-03-18math.LO

Ideals and Strong Axioms of Determinacy

We show that the following two theories are equiconsistent: (T) ZFC, CH and "There is a dense ideal on the first uncountable cardinal such that if j is the generic embedding associated with it then its restriction on ordinals is independent of the generic object is". (S) ZF, ADR and "Theta is a regular cardinal." The main result of this paper is that T implies that the minimal model of S exists. Woodin, in unpublished work, showed that the consistency of S implies the consistency of T. We will also give a proof of this result, which, together with our main theorem, establishes the equiconsiste…

2022-09-20math.LO

Even ordinals and the Kunen inconsistency

This paper contributes to the theory of large cardinals beyond the Kunen inconsistency, or choiceless large cardinal axioms, in the context where the Axiom of Choice is not assumed. The first part of the paper investigates a periodicity phenomenon: assuming choiceless large cardinal axioms, the properties of the cumulative hierarchy turn out to alternate between even and odd ranks. The second part of the paper explores the structure of ultrafilters under choiceless large cardinal axioms, exploiting the fact that these axioms imply a weak form of the author's Ultrapower Axiom. The third and fin…

2021-02-18math.LO

关于$\boldsymbolΣ^1_3$-和$Σ^1_4$-统一化

On $\boldsymbolΣ^1_3$- and $Σ^1_4$-uniformization

TU Wien（维也纳工业大学）

在ZFC一致性假设下，构造了一个集合论模型，其中boldfaceΣ^1_3-统一化性质成立，但lightfaceΣ^1_4-统一化性质不成立，首次区分了这两个原理。同时展示如何通过大基数内模型构造一个宇宙，其中Σ^1_3-统一化成立而Σ^1_4-统一化不成立。

2026-04-21math.LO

New Large Cardinal Axioms and the Ultimate-L Program

We will consider a number of new large-cardinal properties, the $α$-tremendous cardinals for each limit ordinal $α>0$, the hyper-tremendous cardinals, the $α$-enormous cardinals for each limit ordinal $α>0$, and the hyper-enormous cardinals. For limit ordinals $α>0$, the $α$-tremendous cardinals and hyper-tremendous cardinals have consistency strength between I3 and I2. An $ω$-enormous cardinal has consistency strength greater than I0, and also all the large-cardinal axioms discussed in the second part of Hugh Woodin's paper on suitable extender models, not known to be inconsistent with ZFC an…

2021-03-09math.LO

几乎不相交族和一些自同构和单射性质的ℓ∞/c₀

Almost disjoint families and some automorphic and injective properties of $\ell_\infty/c_0$

本文研究了ℓ∞/c₀中几乎不相交族的自同构和单射性质，证明在ZFC下某些陈述独立，并展示了正负一致性结果。

2025-12-09math.FAmath.LO