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.     

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 .     

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 .     

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 .     

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 .

     

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.     

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.     

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.     

On the local density problem for graphs of given odd-girth

Erdős conjectured that every n-vertex triangle-free graph contains a subset of vertices that spans at most edges. Extending a recent result of Norin and Yepremyan, we confirm this conjecture for graphs homomorphic to so-called Andrásfai graphs. As a consequence, Erdős' conjecture holds for every triangle-free graph G with minimum degree and if the degree condition can be relaxed to . In fact, we obtain a more general result for graphs of higher odd-girth.     

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 .     

Shelah's eventual categoricity conjecture in tame abstract elementary classes with primes

A new case of Shelah's eventual categoricity conjecture is established:

相似文献   

Fermat's last theorem and Catalan's conjecture in weak exponential arithmetics

We study Fermat's last theorem and Catalan's conjecture in the context of weak arithmetics with exponentiation. We deal with expansions of models of arithmetical theories (in the language ) by a binary (partial or total) function e intended as an exponential. We provide a general construction of such expansions and prove that it is universal for the class of all exponentials e which satisfy a certain natural set of axioms . We construct a model and a substructure with e total and (Presburger arithmetic) such that in both and Fermat's last theorem for e is violated by cofinally many exponents n and (in all coordinates) cofinally many pairwise linearly independent triples . On the other hand, under the assumption of ABC conjecture (in the standard model), we show that Catalan's conjecture for e is provable in (even in a weaker theory) and thus holds in and . Finally, we also show that Fermat's last theorem for e is provable (again, under the assumption of ABC in ) in “coprimality for e ”.     

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.     

A periodic isoperimetric problem related to the unique games conjecture

We prove the endpoint case of a conjecture of Khot and Moshkovitz related to the unique games conjecture, less a small error. Let n ≥ 2. Suppose a subset Ω of n‐dimensional Euclidean space satisfies ?Ω = Ω^c and Ω + v = Ω^c (up to measure zero sets) for every standard basis vector . For any and for any q ≥ 1, let and let . For any x ∈ ?Ω, let N(x) denote the exterior normal vector at x such that ‖N(x)‖₂ = 1. Let . Our main result shows that B has the smallest Gaussian surface area among all such subsets Ω, less a small error: In particular, Standard arguments extend these results to a corresponding weak inequality for noise stability. Removing the factor 6 × 10^?9 would prove the endpoint case of the Khot‐Moshkovitz conjecture. Lastly, we prove a Euclidean analogue of the Khot and Moshkovitz conjecture. The full conjecture of Khot and Moshkovitz provides strong evidence for the truth of the unique games conjecture, a central conjecture in theoretical computer science that is closely related to the P versus NP problem. So, our results also provide evidence for the truth of the unique games conjecture. Nevertheless, this paper does not prove any case of the unique games conjecture.     

The strong tree property and weak square

We show that it is consistent, relative to ω many supercompact cardinals, that the super tree property holds at for all but there are weak square and a very good scale at .     

Embedding hypertrees into steiner triple systems

In this paper, we are interested in the following question: given an arbitrary Steiner triple system on vertices and any 3‐uniform hypertree on vertices, is it necessary that contains as a subgraph provided ? We show the answer is positive for a class of hypertrees and conjecture that the answer is always positive.     

The edge-subgraph poset of a graph and the edge reconstruction conjecture

We consider only finite simple graphs in this paper. Earlier we showed that many invariants of a graph can be computed from the isomorphism class of its partially ordered set of distinct unlabeled non-empty induced subgraphs, that is, the subgraphs themselves are not required. In this paper, we consider an analogous problem of reconstructing an arbitrary graph up to isomorphism from its abstract edge-subgraph poset , which we call the -reconstruction problem. We present an infinite family of graphs that are not -reconstructible and show that the edge reconstruction conjecture is true if and only if the graphs in the family are the only graphs that are not -reconstructible. Let be the set of all unlabeled graphs. Let denote the number of homomorphisms from to . Let be a bijection such that for all , we have . We conjecture that is the identity map. Our conjecture is motivated by the homomorphism cancellation results of Lovász. We prove that the conjecture stated above is weaker than the edge reconstruction conjecture.     

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”.