相关论文: The generic ultrafilter added by ${(\FIN \times \F…
We develop a notion of finite order lacunarity for direction sets in $\mathbb R^{d+1}$. Given a direction set $\Omega$ that is sublacunary according to this definition, we construct random examples of Euclidean sets that contain unit line…
For an additive category $\mathbf{P}$ we provide an explict construction of a category $\mathcal{Q}( \mathbf{P} )$ whose objects can be thought of as formally representing $\frac{\mathrm{im}( \gamma )}{\mathrm{im}( \rho ) \cap \mathrm{im}(…
We extend theories of reverse mathematics by a non-principal ultrafilter, and show that these are conservative extensions of the usual theories ACA0, ATR0, and Pi11-Comprehension.
Various questions posed by P. Nyikos concerning ultrafilters on $\omega$ and chains in the partial order $(\omega,<^*)$ are answered. The main tool is the oracle chain condition and variations of it.
We show that there is a set of $2^{2^{\kappa}}$ ultrafilters incomparable in Rudin-Frol\'ik order of $\beta \kappa \setminus \kappa$, where $\kappa$ is regular, for which no subset with more than one element has an infimum.
The classical McKay correspondence establishes an explicit link from the representation theory of a finite subgroup G of SU(2) and the geometry of the minimal resolution of the quotient of the affine plane by G. In this paper we discuss a…
A filtration of the morphisms of the $k$-linearization $k \mathbf{FS}$ of the category $\mathbf{FS}$ of finite sets and surjections is constructed using a natural $k \mathbf{FI}^{op}$-module structure induced by restriction, where…
A pathway from one vertex of a quiver to another is a reduced path. We modify the classical definition of quiver representations and we prove that semi-invariant polynomials for filtered quiver representations come from diagonal entries if…
A divisibility relation on ultrafilters is defined as follows: ${\cal F}\hspace{1mm}\widetilde{\mid}\hspace{1mm}{\cal G}$ if and only if every set in $\cal F$ upward closed for divisibility also belongs to $\cal G$. After describing the…
We enhance the biquandle counting invariant using elements of truncated biquandle-labeled Polyak algebras. These finite type enhancements reduce to the finite type enhancements defined by Goussarov, Polyak and Viro for the trivial biquandle…
For an ultrafilter $D$ on a cardinal $\kappa,$ we wonder for which pair $(\theta_1, \theta_2)$ of regular cardinals, we have: for any $(\theta_1+\theta_2)^+-$saturated dense linear order $J, J^{\kappa}/ D$ has a cut of cofinality…
Consider a finite covering $\beta : C \to X$ of a smooth projective curve $X$ by a reduced, projective, planar curve $C$. Associated to two general polarizations on $C$, $q$ and $q'$, one can construct the corresponding compactified Prym…
Superfilters are generalized ultrafilters, which capture the underlying concept in Ramsey theoretic theorems such as van der Waerden's Theorem. We establish several properties of superfilters, which generalize both Ramsey's Theorem and its…
We investigate the combinatorial structure of the set of maximal antichains in a Boolean algebra ordered by almost refinement. We also consider the reaping relation and its associated cardinal invariants, focusing in particular on reduced…
We define a family of a (non-principal) ultrafilters on N which are, in a sense, far from P-points. We first under reasonable conditions, prove its existence. In a continuation we shall prove that such a point may exist while no P-point…
The class $\mathcal{UP}$ of `ultimate polynomial time' problems over $\mathbb C$ is introduced; it contains the class $\mathcal P$ of polynomial time problems over $\mathbb C$. The $\tau$-Conjecture for polynomials implies that…
We introduce the notion of (co-)filtered sheaves on quotients of moment graphs by a group action. We then introduce a (co-)filtered version of the canonical sheaves of Braden and MacPherson and show that their global sections are the…
We prove a compactness theorem for full Boolean-valued models. As an application, we show that if $T$ is a complete countable theory and $\mathcal{B}$ is a complete Boolean algebra, then $\lambda^+$-saturated $\mathcal{B}$-valued models of…
The explicit solution of the discrete time filtering problems with exponential criteria for a general Gaussian signal is obtained through an approach based on a conditional Cameron-Martin type formula. This key formula is derived for…
Here we show that, given a finite homological system $({\cal P},\leq,\{\Delta_u\}_{u\in {\cal P}})$ for a finite-dimensional algebra $\Lambda$ over an algebraically closed field, the category ${\cal F}(\Delta)$ of $\Delta$-filtered modules…