English
Related papers

Related papers: Cicho\'n's maximum

200 papers

We study the general problem of the behaviour of the continuum function in the presence of non-supercompact strongly compact cardinals.

Logic · Mathematics 2019-01-21 Arthur W. Apter , Stamatis Dimopoulos , Toshimichi Usuba

The cardinal invariants $ \mathfrak h, \mathfrak b, \mathfrak s$ of $\mathcal P (\omega)$ are known to satisfy that $\omega_1 \leq \mathfrak h \leq\min\{\mathfrak b, \mathfrak s\}$. We prove that all inequalities can be strict. We also…

Logic · Mathematics 2022-02-02 Alan Dow , Saharon Shelah

A version of Woodin's HOD dichotomy is proved assuming the existence of just one strongly compact cardinal.

Logic · Mathematics 2021-02-19 Gabriel Goldberg

The Axiom of Full Reflection at a measurable cardinal has been conjectured to be equiconsitent with the existence of a coherent sequence of measures with a repeat point. However we prove that the Axiom of Full Reflection at a measurable…

Logic · Mathematics 2008-02-03 Moti Gitik , Jiří Witzany

We show that the number of entire maximal graphs with finitely many singular points that are conformally equivalent is a universal constant that depends only on the number of singularities, namely 2^$ for graphs with n+1 singularities. We…

Differential Geometry · Mathematics 2009-03-18 Isabel Fernandez

We use the core model for sequences of measures to prove a new lower bound for the consistency strength of the failure of the SCH: THEOREM (i) If there is a singular strong limit cardinal $\kappa$ such that $2^\kappa > kappa^+$ then there…

Logic · Mathematics 2016-09-06 William J. Mitchell

A stationary subset S of a regular uncountable cardinal kappa reflects fully at regular cardinals if for every stationary set T subseteq kappa of higher order consisting of regular cardinals there exists an alpha in T such that S cap alpha…

Logic · Mathematics 2008-02-03 Thomas Jech , Saharon Shelah

A coalition in a graph $G$ with vertex set $V$ consists of two disjoint sets $V_1, V_2\subset V$ such that neither $V_1$ nor $V_2$ is a dominating set, but the union $V_1\cup V_2$ is a dominating set in $G$. A partition of graph vertices is…

Combinatorics · Mathematics 2024-04-29 Andrey A. Dobrynin , Hamidreza Golmohammadi

It is proved that there exists an absolute constant c > 0 such that for every natural number k, every non-bipartite 2-connected graph with average degree at least ck contains k cycles with consecutive odd lengths. This implies the existence…

Combinatorics · Mathematics 2014-10-03 Jie Ma

In this paper we prove that from large cardinals it is consistent that there is a singular strong limit cardinal $\nu$ such that the singular cardinal hypothesis fails at $\nu$ and every collection of fewer than $\mathrm{cf}(\nu)$…

Logic · Mathematics 2023-09-13 Omer Ben-Neria , Yair Hayut , Spencer Unger

We present an algorithm that finds a maximum cardinality $f$-matching of a simple graph in time $O(n^{2/3} m)$. Here $f:V\to \mathbb{N}$ is a given function, and an $f$-matching is a subgraph wherein each vertex $v\in V$ has degree $\le…

Data Structures and Algorithms · Computer Science 2023-11-27 Harold Gabow

In the first part of the manuscript, we establish several consistency results concerning Woodin's $\HOD$ hypothesis and large cardinals around the level of extendibility. First, we prove that the first extendible cardinal can be the first…

Logic · Mathematics 2024-11-07 Gabriel Goldberg , Jonathan Osinski , Alejandro Poveda

There is an optimal way to increase certain cardinal invariants of the continuum.

Logic · Mathematics 2007-05-23 Jindrich Zapletal

We prove the following two results. Theorem A: Let alpha be a limit ordinal. Suppose that 2^{|alpha|}<aleph_alpha and 2^{|alpha|^+}<aleph_{|alpha|^+}, whereas aleph_alpha^{|alpha|}>aleph_{|alpha|^+}. Then for all n< omega and for all…

Logic · Mathematics 2014-11-11 Moti Gitik , Ralf Schindler , Saharon Shelah

We extend a transitive model V of ZFC + GCH cardinal preservingly to a model N of ZF + "GCH holds below Alef_omega" + "there is a surjection from the power set of Alef_omega onto lambda" where lambda is an arbitrarily high fixed cardinal in…

Logic · Mathematics 2011-07-11 Moti Gitik , Peter Koepke

It is shown that for a finite set $A$ of four or more complex numbers, the cardinality of the set $C[A]$ of all cross-ratios generated by quadruples of pair-wise distinct elements of $A$ is $|C[A]|\gg…

Combinatorics · Mathematics 2017-05-05 Misha Rudnev

In this paper we are interested in finding and evaluating cardinal characteristics of the continuum that appear in large-scale topology, usually as the smallest weights of coarse structures that belong to certain classes (indiscrete,…

Logic · Mathematics 2021-10-19 Taras Banakh

We prove the consistency of: for suitable strongly inaccessible cardinal lambda the dominating number, i.e., the cofinality of ^{lambda}lambda, is strictly bigger than cov_lambda(meagre), i.e. the minimal number of nowhere dense subsets of…

Logic · Mathematics 2020-02-25 Saharon Shelah

Let $\mathbf{x}$ be a (non-empty) sequence of positive real numbers. Its achievement set $\mathcal{\mathbf{x}}$ is the set of all the possible sums of the elements of $\mathbf{x}$. The cardinal function of $\mathbf{x}$ is the function…

Classical Analysis and ODEs · Mathematics 2025-08-19 Jacek Marchwicki , Błażej Żmija

For large $n$ we determine exactly the maximum numbers of induced $C_4$ and $C_5$ subgraphs that a planar graph on $n$ vertices can contain. We show that $K_{2,n-2}$ uniquely achieves this maximum in the $C_4$ case, and we identify the…

Combinatorics · Mathematics 2021-09-29 Michael Savery