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.     

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 .     

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 .     

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.     

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 .     

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 .

     

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.     

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.     

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.     

Bounded dagger principles

For an uncountable cardinal κ, let be the assertion that every ω₁‐stationary preserving poset of size is semiproper. We prove that is a strong principle which implies a strong form of Chang's conjecture. We also show that implies that is presaturated.     

Free sets for set‐mappings relative to a family of sets

Given a family of subsets of , we try to compute the least natural number n such that for every function there exists a bijection such that for all .     

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.     

Smoothable zero dimensional schemes and special projections of algebraic varieties

We study the degrees of generators of the ideal of a projected Veronese variety to depending on the center of projection. This is related to the geometry of zero dimensional schemes of length 8 in , Cremona transforms of , and the geometry of Tonoli Calabi‐Yau threefolds of degree 17 in .     

A note on the deductive strength of the Nielsen‐Schreier theorem

We show that the Boolean Prime Ideal Theorem () does not imply the Nielsen‐Schreier Theorem () in , thus strengthening the result of Kleppmann from “Nielsen‐Schreier and the Axiom of Choice” that the (strictly weaker than ) Ordering Principle () does not imply in . We also show that is false in Mostowski's Linearly Ordered Model of . The above two results also settle the corresponding open problems from Howard and Rubin's “Consequences of the Axiom of Choice”.     

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 .     

Two kinds of fixed point theorems and reverse mathematics

In this paper, we investigate the logical strength of two types of fixed point theorems in the context of reverse mathematics. One is concerned with extensions of the Banach contraction principle. Among theorems in this type, we mainly show that the Caristi fixed point theorem is equivalent to over . The other is dedicated to topological fixed point theorems such as the Brouwer fixed point theorem. We introduce some variants of the Fan‐Browder fixed point theorem and the Kakutani fixed point theorem, which we call and , respectively. Then we show that is equivalent to and is equivalent to , over . In addition, we also study the application of the Fan‐Browder fixed point theorem to game systems.     

A wild model of linear arithmetic and discretely ordered modules

Linear arithmetics are extensions of Presburger arithmetic () by one or more unary functions, each intended as multiplication by a fixed element (scalar), and containing the full induction schemes for their respective languages. In this paper, we construct a model of the 2‐linear arithmetic (linear arithmetic with two scalars) in which an infinitely long initial segment of “Peano multiplication” on is ‐definable. This shows, in particular, that is not model complete in contrast to theories and that are known to satisfy quantifier elimination up to disjunctions of primitive positive formulas. As an application, we show that , as a discretely ordered module over the discretely ordered ring generated by the two scalars, does not have the NIP, answering negatively a question of Chernikov and Hils.     

Multiple solutions for a class of quasilinear Schrödinger equations

In this paper, we study the following quasilinear Schrödinger equations of the form where , , . Some existence results for positive solutions, negative solutions and sequence of high energy solutions are obtained via a perturbation method.     

The grounded Martin's axiom

We introduce a variant of Martin's axiom, called the grounded Martin's axiom, or , which asserts that the universe is a c.c.c. forcing extension in which Martin's axiom holds for posets in the ground model. This principle already implies several of the combinatorial consequences of . The new axiom is shown to be consistent with the failure of and a singular continuum. We prove that is preserved in a strong way when adding a Cohen real and that adding a random real to a model of preserves (even though it destroys itself). We also consider the analogous variant of the proper forcing axiom.     

Spectral statistics of random Schrödinger operator with growing potential

In this work we investigate the spectral statistics of random Schrödinger operators acting on where are i.i.d random variables distributed uniformly on [0,1].