Related papers: Covering the Baire space by families which are not…

Let $\ee>0$ and $\fff$ be a family of finite subsets of the Cantor set $\ccc$. Following D. H. Fremlin, we say that $\fff$ is $\ee$-filling over $\ccc$ if $\fff$ is hereditary and for every $F\subseteq\ccc$ finite there exists $G\subseteq…

We prove that, for an arbitrary topological space $X$, the following two conditions are equivalent: (a) Every open cover of $X$ has a finite subset with dense union (b) $X$ is $D$-pseudocompact, for every ultrafilter $D$. Locally, our…

Total social welfare relations satisfying Pareto and equity principles on infinite utility streams has revealed a non-constructive nature. In this paper we study more deeply the needed fragment of AC. In particular, we show that such…

We prove that normal projective stable families of maximal variation, of fixed dimension, and with bounded adjoint volume are birationally bounded. This is a consequence of a substantially stronger statement, formulated a priori…

A conditional knowledge base R is a set of conditionals of the form "If A, the usually B". Using structural information derived from the conditionals in R, we introduce the preferred structure relation on worlds. The preferred structure…

Let $(W, S)$ be a Coxeter system. We give necessary and sufficient conditions on the Coxeter diagram of $(W, S)$ for $W$ to be relatively hyperbolic with respect to a collection of finitely generated subgroups. The peripheral subgroups are…

We study ultrafilters on $\omega^2$ produced by forcing with the quotient of $\scr P(\omega^2)$ by the Fubini square of the Fr\'echet filter on $\omega$. We show that such an ultrafilter is a weak P-point but not a P-point and that the only…

We show that a "mate'' $B$ of a set $A$ in a near-factorization $(A,B)$ of a finite group $G$ is unique. Further, we describe how to compute the mate $B$ very efficiently using an explicit formula for $B$. We use this approach to give an…

A nonzero element of an integral domain (or commutative cancellative monoid) is called atomic if it can be written as a finite product of irreducible elements (also called atoms). In this paper, we introduce and investigate an unrestricted…

An ultrafilter $p$ on $\omega$ is said to be discrete if, given any function $f\colon \omega \to X$ to any completely regular Hausdorff space, there is an $A \in p$ such that $f(A)$ is discrete. Basic properties of discrete ultrafilters are…

If $(X,r)$ is a finite non-degenerate set-theoretic solution of the Yang--Baxter equation, the additive group of the structure skew brace $G(X,r)$ is an $FC$-group, i.e. a group whose elements have finitely many conjugates. Moreover, its…

We prove, for any W$^*$-probability space $(M,\varphi)$ where $M$ is a type $\mathrm{III}_1$ factor, any nontrivial, proper closed $F\subseteq \mathbb{R}$, and any nonprincipal ultrafilter $\mathcal{U}$ on $\mathbb{N}$, that the ultrapower…

The perturbation expansion for a general class of many-fermion systems with a non-nested, non-spherical Fermi surface is renormalized to all orders. In the limit as the infrared cutoff is removed, the counterterms converge to a finite limit…

Our contribution is a bounded cubic compilation theorem. For each fixed resource parameter $k$, syntactic proof checking at resource level $k$ is faithfully represented by a finite bounded-domain system of cubic polynomial equations. Every…

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…

Let $(S,\mathfrak n)$ be a regular local ring and $f$ a non-zero element of $\mathfrak n^2$. A theorem due to Kn\"orrer states that there are finitely many isomorphism classes of maximal Cohen-Macaulay $R=S/(f)$-modules if and only if the…

In this work we attempt to generalize our result in [6] [7] for real rings (not just von Neumann regular real rings). In other words we attempt to characterize and construct real closure * of commutative unitary rings that are real. We also…

We investigate mutual behavior of cascades, contours of which are contained in a fixed ultrafilter. Using that relation we prove (ZFC) that the class of strict $J_{\omega^\omega}$-ultrafilters, introduced by J. E. Baumgartner in…

We introduce a construction that, given a pair (u,v) of complex Hadamard matrices of the same order, generates infinitely many biunitary matrices of varying (and distinct) orders. As a key application, this framework yields nested sequences…

It is proved that no non-meager subspace of the space $[\omega]^\omega$ equipped with the Ellentuck topology does admit a Kuratowski partition, that is such a subset cannot be covered by a family $\mathfrak{F}$ of disjoint relatively meager…