The cofinality of the least Berkeley cardinal and the extent of dependent choice

This paper is concerned with the possible values of the cofinality of the least Berkeley cardinal. Berkeley cardinals are very large cardinal axioms incompatible with the Axiom of Choice, and the interest in the cofinality of the least Berkeley arises from a result in [1], showing it is connected with the failure of . In fact, by a theorem of Bagaria, Koellner and Woodin, if γ is the cofinality of the least Berkeley cardinal then γ‐ fails. We shall prove that this result is optimal for or . In particular, it will follow that the cofinality of the least Berkeley is independent of .     

Cofinalities of Borel ideals

We study the possible values of the cofinality invariant for various Borel ideals on the natural numbers. We introduce the notions of a fragmented and gradually fragmented ideal and prove a dichotomy for fragmented ideals. We show that every gradually fragmented ideal has cofinality consistently strictly smaller than the cardinal invariant and produce a model where there are uncountably many pairwise distinct cofinalities of gradually fragmented ideals.     

The first omitting cardinal for Magidority

An infinite cardinal λ is Magidor if and only if . It is known that if λ is Magidor then for some , and the first such α is denoted by . In this paper we try to understand some of the properties of . We prove that can be the successor of a supercompact cardinal, when λ is a Magidor cardinal. From this result we obtain the consistency of being a successor of a singular cardinal with uncountable cofinality.     

Recurrence of singularities for second order isotropic pseudodifferential operators

Let H be a self‐adjoint isotropic elliptic pseudodifferential operator of order 2. Denote by the solution of the Schrödinger equation with initial data . If u₀ is compactly supported the solution is smooth for small , but not for all t. We determine the wavefront set of in terms of the wavefront set of u₀ and the principal and subprincipal symbol of H.     

Jump inversions of algebraic structures and Σ‐definability

It is proved that for every countable structure and a computable successor ordinal α there is a countable structure which is ‐least among all countable structures such that is Σ‐definable in the αth jump . We also show that this result does not hold for the limit ordinal . Moreover, we prove that there is no countable structure with the degree spectrum for .     

Factorials and the finite sequences of sets

We write for the cardinality of the set of finite sequences of a set which is of cardinality . With the Axiom of Choice (), for every infinite cardinal where is the cardinality of the permutations on a set which is of cardinality . In this paper, we show that “ for every cardinal ”  is provable in and this is the best possible result in the absence of . Similar results are also obtained for : the cardinality of the set of finite sequences without repetition of a set which is of cardinality .     

Neutrally expandable models of arithmetic

A subset of a model of is called neutral if it does not change the relation. A model with undefinable neutral classes is called neutrally expandable. We study the existence and non‐existence of neutral sets in various models of . We show that cofinal extensions of prime models are neutrally expandable, and ω₁‐like neutrally expandable models exist, while no recursively saturated model is neutrally expandable. We also show that neutrality is not a first‐order property. In the last section, we study a local version of neutral expandability.     

A variant of Shelah's characterization of Strong Chang's Conjecture

Shelah considered a certain version of Strong Chang's Conjecture which we denote , and proved that it is equivalent to several statements, including the assertion that Namba forcing is semiproper. We introduce an apparently weaker version, denoted , and prove an analogous characterization of it. In particular, is equivalent to the assertion that the the Friedman‐Krueger poset is semiproper. This strengthens and sharpens results by Cox and sheds some light on problems posed by Usuba, Torres‐Perez and Wu.     

On the relative strengths of fragments of collection

Let be the basic set theory that consists of the axioms of extensionality, emptyset, pair, union, powerset, infinity, transitive containment, Δ₀‐separation and set foundation. This paper studies the relative strength of set theories obtained by adding fragments of the set‐theoretic collection scheme to . We focus on two common parameterisations of the collection: ‐collection, which is the usual collection scheme restricted to ‐formulae, and strong ‐collection, which is equivalent to ‐collection plus ‐separation. The main result of this paper shows that for all ,

1. proves that there exists a transitive model of Zermelo Set Theory plus ‐collection,
2. the theory is ‐conservative over the theory .

It is also shown that (2) holds for when the Axiom of Choice is included in the base theory. The final section indicates how the proofs of (1) and (2) can be modified to obtain analogues of these results for theories obtained by adding fragments of collection to a base theory (Kripke‐Platek Set Theory with Infinity plus ) that does not include the powerset axiom.     

Reductions on equivalence relations generated by universal sets

Let X, Y be Polish spaces, , . We say A is universal for Γ provided that each x‐section of A is in Γ and each element of Γ occurs as an x‐section of A. An equivalence relation generated by a set is denoted by , where . The following results are shown:

• (1) If A is a set universal for all nonempty closed subsets of Y, then is a equivalence relation and .
• (2) If A is a set universal for all countable subsets of Y, then is a equivalence relation, and
  • (i) and ;
  • (ii) if , then ;
  • (iii) if every set is Lebesgue measurable or has the Baire property, then .
  • (iv) for , if every set has the Baire property, and E is any equivalence relation, then .

     

Algebraic numbers with elements of small height

In this paper, we study the field of algebraic numbers with a set of elements of small height treated as a predicate. We prove that such structures are not simple and have the independence property. A real algebraic integer is called a Salem number if α and are Galois conjugate and all other Galois conjugates of α lie on the unit circle. It is not known whether 1 is a limit point of Salem numbers. We relate the simplicity of a certain pair with Lehmer's conjecture and obtain a model‐theoretic characterization of Lehmer's conjecture for Salem numbers.     

Meeting numbers and pseudopowers

We study the role of meeting numbers in pcf theory. In particular, Shelah's Strong Hypothesis is shown to be equivalent to the assertion that for any singular cardinal σ of cofinality ω, there is a size ${\sigma }^{+}$ collection Q of countable subsets of σ with the property that for any infinite subset a of σ, there is a member of Q meeting a in an infinite set.     

Clubs on quasi measurable cardinals

We construct a model satisfying “κ is quasi measurable”. Here, we call κ quasi measurable if there is an ℵ₁‐saturated κ‐additive ideal on κ. We also show that, in this model, forcing with adds one but not κ Cohen reals. We introduce a weak club principle and use it to show that, consistently, for some ℵ₁‐saturated κ‐additive ideal on κ, forcing with adds one but not κ random reals.     

Indivisible sets and well‐founded orientations of the Rado graph

Every set can been thought of as a directed graph whose edge relation is ∈ . We show that many natural examples of directed graphs of this kind are indivisible: for every infinite κ, for every indecomposable λ, and every countable model of set theory. All of the countable digraphs we consider are orientations of the countable random graph. In this way we find indivisible well‐founded orientations of the random graph that are distinct up to isomorphism, and ?₁ that are distinct up to siblinghood.     

On the universality of the nonstationary ideal

Burke proved that the generalized nonstationary ideal, denoted by NS, is universal in the following sense: every normal ideal, and every tower of normal ideals of inaccessible height, is a canonical Rudin‐Keisler projection of the restriction of NS to some stationary set. We investigate how far Burke's theorem can be pushed, by analyzing the universality properties of NS with respect to the wider class of ‐systems of filters introduced by Audrito and Steila. First we answer a question of Audrito and Steila, by proving that ‐systems of filters do not capture all kinds of set‐generic embeddings. We provide a characterization of supercompactness in terms of short extenders and canonical projections of NS, without any reference to the strength of the extenders; as a corollary, NS can consistently fail to canonically project to arbitrarily strong short extenders. We prove that ω‐cofinal towers of normal ultrafilters, e.g., the kind used to characterize I2 and I3 embeddings, are well‐founded if and only if they are canonical projections of NS. Finally, we provide a characterization of “ is Jónsson” in terms of canonical projections of NS.     

Atomic saturation of reduced powers

Our aim was to try to generalize some theorems about the saturation of ultrapowers to reduced powers. Naturally, we deal with saturation for types consisting of atomic formulas. We succeed to generalize “the theory of dense linear order (or T with the strict order property) is maximal and so is any $\mathrm{pair}(T,\mathrm{\Delta })$ which is SOP₃”, (where Δ consists of atomic or conjunction of atomic formulas). However, the theorem on “it is enough to deal with symmetric pre-cuts” (so the $\mathfrak{p}=\mathfrak{t}$ theorem) cannot be generalized in this case. Similarly the uniqueness of the dual cofinality fails in this context.     

Distal and non‐distal behavior in pairs

The aim of this work is an analysis of distal and non‐distal behavior in dense pairs of o‐minimal structures. A characterization of distal types is given through orthogonality to a generic type in , non‐distality is geometrically analyzed through Keisler measures, and a distal expansion for the case of pairs of ordered vector spaces is computed.     

On the strength of a weak variant of the axiom of counting

In this paper is used to denote Jensen's modification of Quine's ‘new foundations’ set theory () fortified with a type‐level pairing function but without the axiom of choice. The axiom is the variant of the axiom of counting which asserts that no finite set is smaller than its own set of singletons. This paper shows that proves the consistency of the simple theory of types with infinity (). This result implies that proves that consistency of , and that proves the consistency of .