相关论文: The generic ultrafilter added by ${(\FIN \times \F…
We study the definability of ultrafilter bases on $\omega$ in the sense of descriptive set theory. As a main result we show that there is no coanalytic base for a Ramsey ultrafilter, while in $L$ we can construct $\Pi^1_1$ P-point and…
The Filter Extension Principle (FEP) asserts that every filter can be extended to an ultrafilter, which plays a crucial role in the quest for non-principal ultrafilters. Non-principal ultrafilters find widespread applications in logic, set…
The filter quotient construction is a particular instance of a filtered colimit of categories. It has primarily been considered in the context of categorical logic, where it has been used effectively to construct non-trivial models, for…
We study ultrafilters from the perspective of the algebra in the \v{C}ech-Stone compactification of the natural numbers, and idempotent elements therein. The first two results that we prove establish that, if $p$ is a Q-point (resp. a…
We show that a normalized capacity $\nu: \mathcal{P}(\mathbf{N})\to \mathbf{R}$ is invariant with respect to an ideal $\mathcal{I}$ on $\mathbf{N}$ if and only if it can be represented as a Choquet average of $\{0,1\}$-valued finitely…
We prove that there exists a nonprincipal ultrafilter $\mathcal U$ on $\mathbb N$ such that for every countable (or separable) structure $B$ in a countable language the quotient map from the reduced product associated with the Fr\'echet…
We investigate families of partitions of omega which are related to special coideals, so-called happy families, and give a dual form of Ramsey ultrafilters in terms of partitions. The combinatorial properties of these…
In the first part of this paper, we explore the possibility for a very large cardinal $\kappa$ to carry a $\kappa$-complete ultrafilter without Galvin's property. In this context, we prove the consistency of every ground model…
We present some new results on union ultrafilters. We characterize stability for union ultrafilters and, as the main result, we construct a new kind of unordered union ultrafilter.
The main result provide a common generalization for Ramsey-type theorems concerning finite colorings of edge sets of complete graphs with vertices in infinite semigroups. We capture the essence of theorems proved in different fields: for…
We extend some of our earlier results on the interconnection between ultrafilter extensions, and ultrapowers. Throughout we restrict ourselves to relational structures with one binary relation. Recently it was shown that for bounded…
Tukey's depth offers a powerful tool for nonparametric inference and estimation, but also encounters serious computational and methodological difficulties in modern statistical data analysis. This paper studies how to generalize and compute…
We construct a $\kappa-$complete ultrafilter $W$ over $\kappa$ such that $\neg$Gal$(\kappa, W, \kappa^+)$ and Gal$(\kappa, W, \kappa^{++})$. This answers a question of T. Benhamou and G. Goldberg.
A union ultrafilter is an ultrafilter over the finite subsets of $\omega$ that has a base of sets of the form $\mathrm{FU}(X)$, where $X$ is an infinite pairwise disjoint family and $\mathrm{FU}(X)=\{\bigcup…
We study the predictable representation property in the progressive enlargement F^\tau of a reference filtration F by a random time \tau. Our approach is based on the decomposition of any random time into two parts, one overlapping…
In this paper we settle all questions whether (it is consistent that) the properties P and Q [do not] coincide, where P and Q run over selection principles of the type U_fin(O,A).
By using nonstandard analysis, and in particular iterated hyper-extensions, we give foundations to a peculiar way of manipulating ultrafilters on the natural numbers and their pseudo-sums. The resulting formalism is suitable for…
We consider here Easton support iterations of Prikry type forcing notions. New ways of constructing normal ultrafilters in extensions are presented. It turns out that, in contrast with other supports, seemingly unrelated measures or…
The aim of this paper is to construct ultrafilters without immediate predecessors in the Rudin-Frolik order in $\beta \kappa\setminus \kappa$, where $\kappa$ is a regular cardinal. This generalizes the problem posed by Peter Simon more than…
We show that in the $\mathbb{P}_{\max}$ extension of a certain Chang-type model of determinacy, if $\kappa\in\{\omega_1, \omega_2, \omega_3\}$, then the restriction of the club filter on $\kappa\cap\mathrm{Cof}(\omega)$ to HOD is an…