Related papers: Stable ordered-union versus selective ultrafilters
Recent years have bore witness to the proliferation of distributed filtering techniques, where a collection of agents communicating over an ad-hoc network aim to collaboratively estimate and track the state of a system. These techniques…
In many applications, it is impractical -- if not even impossible -- to obtain data to fit a known cubature formula (CF). Instead, experimental data is often acquired at equidistant or even scattered locations. In this work, stable (in the…
In recent years, several problems regarding the partition regularity of exponential configurations have been studied in the literature, in some cases using the properties of specific ultrafilters. In this paper, we start to lay down the…
We study the existence and stability of cnoidal periodic wave arrays propagating in uniform quadratic nonlinear media and discover that they become completely stable above a threshold light intensity. To the best of our knowledge, this is…
We propose an extension of the classical union-of-balls filtration of persistent homology: fixing a point $q$, we focus our attention to a ball centered at $q$ whose radius is controlled by a second scale parameter. We discuss an absolute…
We classify the stable formulas in the theory of Dense Linear Orders without endpoints, the stable formulas in the theory of Divisible Abelian Groups, and the stable formulas without parameters in the theory of Real Closed Fields. The third…
We introduce a version of logic for metric structures suitable for applications to C*-algebras and tracial von Neumann algebras. We also prove a purely model-theoretic result to the effect that the theory of a separable metric structure is…
It is shown that the consistency strength of ZF + DC + "the closed unbounded ultrafilter on omega_1 is an ultrafilter" is exactly ZFC + one measurable cardinal.
A semigroup A is an abelian semigroup with identity 0. A set of positives in A is an ordered down-directed set P containing with every r an element r/2 with r/2 + r/2 = r. A continuity space is an abstract set X equipped with a map d : XxX…
A super-stable matching, which was introduced by Irving, is a solution concept in a variant of the stable matching problem in which the preferences may contain ties. Irving proposed a polynomial-time algorithm for the problem of finding a…
If $S$ is a discrete semigroup, then $\beta S$ has a natural, left-topological semigroup structure extending $S$. Under some very mild conditions, $U(S)$, the set of uniform ultrafilters on $S$, is a two-sided ideal of $\beta S$, and…
We consider the existence and stability of static configurations of a scalar field in a five dimensional spacetime in which the extra spatial dimension is compactified on an $S^1/Z_2$ orbifold. For a wide class of potentials with multiple…
Our results in this paper increase the model-theoretic precision of a widely used method for building ultrafilters, and so advance the general problem of constructing ultrafilters whose ultrapowers have a precise degree of saturation. We…
We point out one of the differences between rapid ultrafilters and Q-points: Rapid ultrafilters may have empty intersection with van der Waerden ideal, whereas every Q-point has a non-empty intersection with van der Waerden ideal. Assuming…
We address the question of the consistency strength of certain filters and ultrafilters which fail to satisfy the Galvin property. We answer questions \cite[Questions 7.8,7.9]{TomMotiII}, \cite[Question 5]{NegGalSing} and improve theorem…
By comparing the response to external strains in metallic glasses and in Lenard-Jones glasses we find a quantitative universality of the fundamental plastic instabilities in the athermal, quasistatic limit. Microscopically these two types…
In this article, the joint best linear unbiased predictors (BLUPs) of two future unobserved order statistics, based on a set of observed order statistics, are developed explicitly. It is shown that these predictors are trace-efficient as…
There exist two known canonical types of ultrafilter extensions of first-order models; one comes from modal logic and universal algebra, another one from model theory and algebra of ultrafilters, with ultrafilter extensions of semigroups as…
Stability is an important issue in order to characterize the performance of a network, and it has become a major topic of study in the last decade. Roughly speaking, a communication network system is said to be stable if the number of…
We present a comprehensive study of cross-flow ultrafiltration (UF) of charge-stabilized suspensions, under low-salinity conditions of electrostatically strongly repelling colloidal particles. The axially varying permeate flux,…