Related papers: Cascades, Order and Ultrafilters

For a topological space $X$ its reflection in a class $\mathsf T$ of topological spaces is a pair $(\mathsf T X,i_X)$ consisting of a space $\mathsf T X\in\mathsf T$ and continuous map $i_X:X\to \mathsf T X$ such that for any continuous map…

We analyze several ``strong meager'' properties for filters on the natural numbers between the classical Baire property and a filter being $F_\sigma$. Two such properties have been studied by Talagrand and a few more combinatorial ones are…

Ultrafilters are useful mathematical objects having applications in nonstandard analysis, Ramsey theory, Boolean algebra, topology, and other areas of mathematics. In this note, we provide a categorical construction of ultrafilters in terms…

We study the spectrum of forcing notions between the iterations of $\sigma$-closed followed by ccc forcings and the proper forcings. This includes the hierarchy of $\alpha$-proper forcings for indecomposable countable ordinals as well as…

We define a special version of the ultralimit, called the skewed ultralimit. Using this tool, we show that the set of ultrafilter types in the $C$-equivalence class of a Ramsey ultrafilter $\mathfrak u\in \beta\omega$ with the Rudin-Keisler…

For a discrete group $G$ and a discrete $G$-space $X$, we identify the Stone-\v{C}ech compactifications $\beta G$ and $\beta X$ with the sets of all ultrafilters on $G$ and $X$, and apply the natural action of $\beta G$ on $\beta X$ to…

We prove that the finite condensation rank (FC-rank) of the lexicographic ordering of a context-free language is strictly less than $\omega^\omega$.

Let $(M,\scott X) \models \ACA$ be such that $P_\scott X$, the collection of all unbounded sets in $\scott X$, admits a definable complete ultrafilter and let $T$ be a theory extending first order arithmetic coded in $\scott X$ such that…

For a relational structure ${\mathbb X}$ we investigate the partial order $\langle {\mathbb P} ({\mathbb X}) ,\subset \rangle$, where ${\mathbb P} ({\mathbb X}):=\{ f[X]: f\in \mathop{\rm Emb}\nolimits ({\mathbb X})\}$. Here we consider…

Let $\Omega^d$ be the $d$-dimensional Drinfeld symmetric space for a finite extension $F$ of $\mathbb{Q}_p$. Let $\Sigma^1$ be a geometrically connected component of the first Drinfeld covering of $\Omega^d$ and let $\mathbb{F}$ be the…

In this paper, vacuum and singularity formation are considered for compressible Euler equations with time-dependent damping. For $1<\gamma\leq 3$, by constructing some new control functions ingeniously, we obtain the lower bounds estimates…

We observe never-ending oscillations in systems undergoing aggregation and collision-controlled shattering. Specifically, we investigate aggregation-shattering processes with aggregation kernels K_{i,j} = (i/j)^a+(j/i)^a and shattering…

Using Koszmider's strongly unbounded functions, we show the following consistency result: Suppose that $\kappa,\lambda$ are infinite cardinals such that $\kappa^{+++} \leq \lambda$, $\kappa^{<\kappa}=\kappa$ and $2^{\kappa}= \kappa^+$, and…

In earlier work of the second and third author the equivalence of a finite square principle square^fin_{lambda,D} with various model theoretic properties of structures of size lambda and regular ultrafilters was established. In this paper…

We show that in the model obtained by iteratively pseudo-intersecting a Ramsey ultrafilter via a length-$\omega_2$ countable support iteration of restricted Mathias forcing over a ground model satisfying $\textsf{CH}$, there is a unique…

A celebrated unresolved conjecture of Peter Frankl states that every finite collection of sets, with finite universe, admits an abundant element. In this paper, we prove Frankl's union-closed conjecture(FC). We provide an induction proof…

We continue investigations of reasonable ultrafilters on uncountable cardinals defined in Shelah math.LO/0407498 and studied also in math.LO/0605067. We introduce a general scheme of generating a filter on lambda from filters on smaller…

We define several notions of a limit point on sequences with domain a barrier in $[\omega]^{<\omega}$ focusing on the two dimensional case $[\omega]^2$. By exploring some natural candidates, we show that countable compactness has a number…

We derive the forward and backward filtering equations for a class of degenerate partially observable diffusions, satisfying the weak H\"ormander condition. Our approach is based on the H\"older theory for degenerate SPDEs that allows to…

We begin the study of the consequences of the existence of certain infinite matrices. Our present application is to compactness of products of topological spaces.