Related papers: Exact saturation in simple and NIP theories

The {\em Singular Cardinal Hypothesis} (SCH) is one of the most classical combinatorial principles in set theory. It says that if $\kappa$ is singular strong limit, then $2^{\kappa}=\kappa^+$. We prove that given a singular cardinal…

We prove that if lambda is a strong limit singular cardinal and kappa a regular uncountable cardinal < lambda, then NS_{kappa lambda}, the non-stationary ideal over P_{kappa} lambda, is nowhere precipitous. We also show that under the same…

In this exposition we give a simple and complete treatment of A. Knutson and T. Tao's recent proof (http://front.math.ucdavis.edu/math.RT/9807160) of the saturation conjecture, which asserts that the Littlewood-Richardson semigroup is…

Graph $G$ is $F$-saturated if $G$ contains no copy of graph $F$ but any edge added to $G$ produces at least one copy of $F$. One common variant of saturation is to remove the former restriction: $G$ is $F$-semi-saturated if any edge added…

The density, denoted by $\kappa(n,r)$, of permutations having no cycles of length less than $r+1$ in a symmetric group $\mathrm{S}_n$ is explored. New asymptotic formulas for $\kappa(n,r)$ are obtained using the saddle-point method when…

We show that, for a positive integer $r$, every minimal 1-saturating set in ${\rm PG}(r-1,2)$ of size at least ${11/36} 2^r+3$ is either a complete cap or can be obtained from a complete cap $S$ by fixing some $s\in S$ and replacing every…

Let kappa be a regular uncountable cardinal and lambda > kappa a singular strong limit cardinal. We give a new characterization of the nonstationary subsets of P_kappa (lambda) and use this to prove that the nonstationary ideal on P_kappa…

Dobrinen, Hathaway and Prikry studied a forcing $\mathbb{P}_\kappa$ consisting of perfect trees of height $\lambda$ and width $\kappa$ where $\kappa$ is a singular $\omega$-strong limit of cofinality $\lambda$. They showed that if $\kappa$…

In [BKS15] examples of incomplete sentences are given with maximal models in more than one cardinality. The question was raised whether one can find similar examples of complete sentences. In this paper we give examples of complete…

An inaccessible cardinal kappa is supercompact when (kappa, lambda)-ITP holds for all lambda greater than or equal to kappa. We prove that if there is a model of ZFC with infinitely many supercompact cardinals, then there is a model of ZFC…

We consider compactness characterizations of large cardinals. Based on results of Benda \cite{b-sccomp}, we study compactness for omitting types in various logics. In $\bL_{\kappa, \kappa}$, this allows us to characterize any large cardinal…

We investigate generalizations of the topology of the higher Cantor space on $2^\kappa$, based on arbitrary ideals rather than the bounded ideal on $\kappa$. Our main focus is on the topology induced by the nonstationary ideal, and we call…

Say that a cardinal number $\kappa$ is \emph{small} relative to the space $X$ if $\kappa <\Delta(X)$, where $\Delta(X)$ is the least cardinality of a non-empty open set in $X$. We prove that no Baire metric space can be covered by a small…

A given subset $A$ of natural numbers is said to be complete if every element of $\mathbb{N}$ is the sum of distinct terms taken from $A$. This topic is strongly connected to the knapsack problem which is known to be NP complete.…

We characterize those complete commutative positive linear ordered monoids $W$ such that whenever $f$ is a map from a Cauchy complete $W$-metric space to itself, the existence of a fixed point of $f$ is independent of the background model…

For a NIP theory $T$, a sufficiently saturated model $\mathfrak{C}$ of $T$, and an invariant (over some small subset of $\mathfrak{C}$) global type $p$, we prove that there exists a finest relatively type-definable over a small set of…

In this paper, it is shown that a topological space $X$ is compact iff every maximal ideal of the power set ring $\mathcal{P}(X)$ converges to exactly one point of $X$. Then as an application, simple and ring-theoretic proofs are provided…

We introduce a class of notions of forcing which we call $\Sigma$-Prikry, and show that many of the known Prikry-type notions of forcing that centers around singular cardinals of countable cofinality are $\Sigma$-Prikry. We show that given…

We show that for a number of theories $T^*$ of model-theoretic interest there is a simpler theory $T$ and $\kappa \ge \aleph_0$ such that $T^*$ is trace equivalent to the theory of $\kappa$-dimensional space over a model of $T$.

Saturation is a fundamental game-semantic property satisfied by strategies that interpret higher-order concurrent programs. It states that the strategy must be closed under certain rearrangements of moves, and corresponds to the intuition…