BERKELEY CARDINALS AND THE STRUCTURE OF L(Vδ+1)

2018 ◽  
Vol 83 (04) ◽  
pp. 1457-1476
Author(s):  
RAFFAELLA CUTOLO
Keyword(s):  
Structural Properties ◽  
Large Cardinal ◽  
Axiom Of Choice ◽  
Singular Limit ◽  
Background Theory ◽  
Inner Model ◽  
The Axiom Of Choice ◽  
Extendible Cardinals

AbstractWe explore the structural properties of the inner model L(Vδ+1) under the assumption that δ is a singular limit of Berkeley cardinals each of which is itself limit of extendible cardinals, lifting some of the main results of the theory of the axiom I0 to the level of Berkeley cardinals, the strongest known large cardinal axioms. Berkeley cardinals have been recently introduced in [1] and contradict the Axiom of Choice.1 In fact, our background theory will be ZF.

scholarly journals Power Kripke–Platek set theory and the axiom of choice

2020 ◽  
Vol 30 (1) ◽  
pp. 447-457
Author(s):  
Michael Rathjen
Keyword(s):  
Set Theory ◽  
Axiom Of Choice ◽  
Selection Mechanism ◽  
Ordinal Analysis ◽  
Inner Model ◽  
Power Set ◽  
The Axiom Of Choice ◽  
The Relationship ◽  
Set Operation

Abstract While power Kripke–Platek set theory, ${\textbf{KP}}({\mathcal{P}})$, shares many properties with ordinary Kripke–Platek set theory, ${\textbf{KP}}$, in several ways it behaves quite differently from ${\textbf{KP}}$. This is perhaps most strikingly demonstrated by a result, due to Mathias, to the effect that adding the axiom of constructibility to ${\textbf{KP}}({\mathcal{P}})$ gives rise to a much stronger theory, whereas in the case of ${\textbf{KP}}$, the constructible hierarchy provides an inner model, so that ${\textbf{KP}}$ and ${\textbf{KP}}+V=L$ have the same strength. This paper will be concerned with the relationship between ${\textbf{KP}}({\mathcal{P}})$ and ${\textbf{KP}}({\mathcal{P}})$ plus the axiom of choice or even the global axiom of choice, $\textbf{AC}_{\tiny {global}}$. Since $L$ is the standard vehicle to furnish a model in which this axiom holds, the usual argument for demonstrating that the addition of ${\textbf{AC}}$ or $\textbf{AC}_{\tiny {global}}$ to ${\textbf{KP}}({\mathcal{P}})$ does not increase proof-theoretic strength does not apply in any obvious way. Among other tools, the paper uses techniques from ordinal analysis to show that ${\textbf{KP}}({\mathcal{P}})+\textbf{AC}_{\tiny {global}}$ has the same strength as ${\textbf{KP}}({\mathcal{P}})$, thereby answering a question of Mathias. Moreover, it is shown that ${\textbf{KP}}({\mathcal{P}})+\textbf{AC}_{\tiny {global}}$ is conservative over ${\textbf{KP}}({\mathcal{P}})$ for $\varPi ^1_4$ statements of analysis. The method of ordinal analysis for theories with power set was developed in an earlier paper. The technique allows one to compute witnessing information from infinitary proofs, providing bounds for the transfinite iterations of the power set operation that are provable in a theory. As the theory ${\textbf{KP}}({\mathcal{P}})+\textbf{AC}_{\tiny {global}}$ provides a very useful tool for defining models and realizability models of other theories that are hard to construct without access to a uniform selection mechanism, it is desirable to determine its exact proof-theoretic strength. This knowledge can for instance be used to determine the strength of Feferman’s operational set theory with power set operation as well as constructive Zermelo–Fraenkel set theory with the axiom of choice.

Inner models for set theory—Part I

1951 ◽  
Vol 16 (3) ◽  
pp. 161-190 ◽  
Author(s):  
J. C. Shepherdson
Keyword(s):  
Set Theory ◽  
Continuum Hypothesis ◽  
Large Family ◽  
Axiom System ◽  
Axiom Of Choice ◽  
Axiomatic System ◽  
Additional Hypothesis ◽  
Inner Models ◽  
Inner Model ◽  
The Axiom Of Choice

One of the standard ways of proving the consistency of additional hypotheses with the basic axioms of an axiom system is by the construction of what may be described as ‘inner models.’ By starting with a domain of individuals assumed to satisfy the basic axioms an inner model is constructed whose domain of individuals is a certain subset of the original individual domain. If such an inner model can be constructed which satisfies not only the basic axioms but also the particular additional hypothesis under consideration, then this affords a proof that if the basic axiom system is consistent then so is the system obtained by adding to this system the new hypothesis. This method has been applied to axiom systems for set theory by many authors, including v. Neumann (4), Mostowski (5), and more recently Gödel (1), who has shown by this method that if the basic axioms of a certain axiomatic system of set theory are consistent then so is the system obtained by adding to these axioms a strong form of the axiom of choice and the generalised continuum hypothesis. Having been shown in this striking way the power of this method it is natural to inquire whether it has any limitations or whether by the construction of a sufficiently ingenious inner model one might hope to decide other outstanding consistency questions, such as the consistency of the negations of the axiom of choice and continuum hypothesis. In this and two following papers we prove some general theorems concerning inner models for a certain axiomatic system of set theory which lead to the result that as far as a fairly large family of inner models are concerned this method of proving consistency has been exhausted, that no essentially new consistency results can be obtained by the use of this kind of model.

Cardinal collapsing and ordinal definability

1978 ◽  
Vol 43 (4) ◽  
pp. 635-642 ◽  
Author(s):  
Petr Štěpánek
Keyword(s):  
Boolean Algebra ◽  
Set Theory ◽  
Axiom Of Choice ◽  
Complete Boolean Algebra ◽  
Ground Model ◽  
Inner Model ◽  
Definable Sets ◽  
The Axiom Of Choice ◽  
Generic Extensions ◽  
Models Of Set Theory

We shall describe Boolean extensions of models of set theory with the axiom of choice in which cardinals are collapsed by mappings definable from parameters in the ground model. In particular, starting from the constructible universe, we get Boolean extensions in which constructible cardinals are collapsed by ordinal definable sets.Let be a transitive model of set theory with the axiom of choice. Definability of sets in the generic extensions of is closely related to the automorphisms of the corresponding Boolean algebra. In particular, if G is an -generic ultrafilter on a rigid complete Boolean algebra C, then every set in [G] is definable from parameters in . Hence if B is a complete Boolean algebra containing a set of forcing conditions to collapse some cardinals in , it suffices to construct a rigid complete Boolean algebra C, in which B is completely embedded. If G is as above, then [G] satisfies “every set is -definable” and the inner model [G ∩ B] contains the collapsing mapping determined by B. To complete the result, it is necessary to give some conditions under which every cardinal from [G ∩ B] remains a cardinal in [G].The absolutness is granted for every cardinal at least as large as the saturation of C. To keep the upper cardinals absolute, it often suffices to construct C with the same saturation as B. It was shown in [6] that this is always possible, namely, that every Boolean algebra can be completely embedded in a rigid complete Boolean algebra with the same saturation.

AD and the supercompactness of ℵ1

1981 ◽  
Vol 46 (4) ◽  
pp. 822-842 ◽  
Author(s):  
Howard Becker
Keyword(s):  
Set Theory ◽  
Large Cardinal ◽  
Axiom Of Choice ◽  
Axiom Of Determinacy ◽  
The Subject ◽  
The Axiom Of Choice ◽  
Dependent Choice

Since the discovery of forcing in the early sixties, it has been clear that many natural and interesting mathematical questions are not decidable from the classical axioms of set theory, ZFC. Therefore some mathematicians have been studying the consequences of stronger set theoretic assumptions. Two new types of axioms that have been the subject of much research are large cardinal axioms and axioms asserting the determinacy of definable games. The two appear at first glance to be unrelated; one of the most surprising discoveries of recent research is that this is not the case.In this paper we will be assuming the axiom of determinacy (AD) plus the axiom of dependent choice (DC). AD is false, since it contradicts the axiom of choice. However every set in L[R] is ordinal definable from a real. Our axiom that definable games are determined implies that every game in L[R] is determined (in V), and since a strategy is a real, it is determined in L[R]. That is, L[R] ⊨ AD. The axiom of choice implies L[R] ⊨ DC. So by embedding ourselves in L[R], we can assume AD + DC and begin proving theorems. These theorems true in L[R] imply corresponding theorems in V, by e.g. changing “every set” to “every set in L[R]”. For more information on AD as an axiom, and on some of the points touched on here, the reader should consult [14], particularly §§7D and 8I. In this paper L[R] will no longer even be mentioned. We just assume AD for the rest of the paper.

Large cardinal structures below ℵω

1986 ◽  
Vol 51 (3) ◽  
pp. 591-603 ◽  
Author(s):  
Arthur W. Apter ◽  
James M. Henle
Keyword(s):  
Large Cardinals ◽  
Large Cardinal ◽  
Axiom Of Choice ◽  
Weak Consistency ◽  
Consistency Strength ◽  
Supercompact Cardinals ◽  
Axiom Of Determinacy ◽  
Normal Measure ◽  
The Axiom Of Choice ◽  
Measurable Cardinals

The theory of large cardinals in the absence of the axiom of choice (AC) has been examined extensively by set theorists. A particular motivation has been the study of large cardinals and their interrelationships with the axiom of determinacy (AD). Many important and beautiful theorems have been proven in this area, especially by Woodin, who has shown how to obtain, from hypermeasurability, models for the theories “ZF + DC + ∀α < ℵ1(ℵ1 → (ℵ1)α)” and . Thus, consequences of AD whose consistency strength appeared to be beyond that of the more standard large cardinal hypotheses were shown to have suprisingly weak consistency strength.In this paper, we continue the study of large cardinals in the absence of AC and their interrelationships with AD by examining what large cardinal structures are possible on cardinals below ℵω in the absence of AC. Specifically, we prove the following theorems.Theorem 1. Con(ZFC + κ1 < κ2are supercompact cardinals) ⇒ Con(ZF + DC + The club filter on ℵ1is a normal measure + ℵ1and ℵ2are supercompact cardinals).Theorem 2. Con(ZF + AD) ⇒ Con(ZF + ℵ1, ℵ2and ℵ3are measurable cardinals which carry normal measures + μωis not a measure on any of these cardinals).

The Axiom of Choice Machine

2018 ◽  
Author(s):  
Alexander R. Pruss
Keyword(s):  
Set Theory ◽  
Laws Of Nature ◽  
Axiom Of Choice ◽  
Dutch Book ◽  
The Axiom Of Choice

This is a mainly technical chapter concerning the causal embodiment of the Axiom of Choice from set theory. The Axiom of Choice powered a construction of an infinite fair lottery in Chapter 4 and a die-rolling strategy in Chapter 5. For those applications to work, there has to be a causally implementable (though perhaps not compatible with our laws of nature) way to implement the Axiom of Choice—and, for our purposes, it is ideal if that involves infinite causal histories, so the causal finitist can reject it. Such a construction is offered. Moreover, other paradoxes involving the Axiom of Choice are given, including two Dutch Book paradoxes connected with the Banach–Tarski paradox. Again, all this is argued to provide evidence for causal finitism.

scholarly journals Laver sequences for extendible and super-almost-huge cardinals

1999 ◽  
Vol 64 (3) ◽  
pp. 963-983 ◽  
Author(s):  
Paul Corazza
Keyword(s):  
Critical Point ◽  
Upper Bound ◽  
Large Cardinal ◽  
Strong Cardinal ◽  
Regular Class ◽  
Strong Cardinals ◽  
Extendible Cardinals

AbstractVersions of Laver sequences are known to exist for supercompact and strong cardinals. Assuming very strong axioms of infinity, Laver sequences can be constructed for virtually any globally defined large cardinal not weaker than a strong cardinal; indeed, under strong hypotheses. Laver sequences can be constructed for virtually any regular class of embeddings. We show here that if there is a regular class of embeddings with critical point κ, and there is an inaccessible above κ, then it is consistent for there to be a regular class that admits no Laver sequence. We also show that extendible cardinals are Laver-generating, i.e., that assuming only that κ is extendible, there is an extendible Laver sequence at κ. We use the method of proof to answer a question about Laver-closure of extendible cardinals at inaccessibles. Finally, we consider Laver sequences for super-almost-huge cardinals. Assuming slightly more than super-almost-hugeness, we show that there are super-almost-huge Laver sequences, improving the previously known upper bound for such Laver sequences. We also describe conditions under which the canonical construction of a Laver sequence fails for super-almost-huge cardinals.

Sign in / Sign up

Export Citation Format

Share Document