Related papers: Selection Principles for Measurable Functions and …

This is a follow up to a paper by the author where the disjointness relation for (the graphs of) definable functions from ${^\omega \omega}$ to ${^\omega \omega}$ is analyzed. In that paper, for each $a \in {^\omega \omega}$ we defined a…

Let $F$ be a crossing family over ground set $V$, that is, for any two sets $U,W\in{F}$ with nonempty intersection and proper union, both sets $U\cap{W},U\cup{W}$ are in $F$. Let $\sigma:V\to \{+,-\}$ be a signing. We call $\sigma$ a…

The theory of descriptive nearness is usually adopted when dealing with sets that share some common properties even when the sets are not spatially close, i.e., the sets have no members in common. Set description results from the use of…

Let $ H $ be a subgroup of a finite group $ G $. We say that $ H $ satisfies the partial $ \Pi $-property in $ G $ if if there exists a chief series $ \varGamma_{G}: 1 =G_{0} < G_{1} < \cdot\cdot\cdot < G_{n}= G $ of $ G $ such that for…

Let $T\subset\mathbb{R}$ and $(X,\mathcal{U})$ be a uniform space with an at most countable gage of pseudometrics $\{d_p:p\in\mathcal{P}\}$ of the uniformity $\mathcal{U}$. Given $f\in X^T$ (=the family of all functions from $T$ into $X$),…

Let $\Omega$ be a domain in $R^n$, and let $N=3\cdot 2^{n-1}$. We prove that the trace of the space $C^2(\Omega)$ to the boundary of $\Omega$ has the following finiteness property: A function $f:\partial\Omega\to R$ is the trace to the…

A primary covering of a finite group $G$ is a family of proper subgroups of $G$ whose union contains the set of elements of $G$ having order a prime power. We denote with $\sigma_0(G)$ the smallest size of a primary covering of $G$, and…

Let $Y$ be an algebraic variety, $\mathcal{F}$ a locally free sheaf of $\mathcal{O}_Y$-modules, and $\mathcal{R}(\mathcal{F})$ the $\mathcal{O}_Y$-algebra $\operatorname{Sym}^\bullet \mathcal{F}$. In this paper we study local properties of…

Fermionic natural occupation numbers (NON) do not only obey Pauli's famous exclusion principle but are even further restricted to a polytope by the generalized Pauli constraints, conditions which follow from the fermionic exchange…

The set of all maximal ideals of the ring $\mathcal{M}(X,\mathcal{A})$ of real valued measurable functions on a measurable space $(X,\mathcal{A})$ equipped with the hull-kernel topology is shown to be homeomorphic to the set $\hat{X}$ of…

Given an o-minimal structure ${\mathcal M}$ with a group operation, we show that for a properly convex subset $U$, the theory of the expanded structure ${\mathcal M}'=({\mathcal M},U)$ has definable Skolem functions precisely when…

All matter is made up of fermions -- one of the fundamental type of particles in nature. Fermions follow the Pauli exclusion principle, stating that two or more identical fermions cannot occupy the same quantum state. Antisymmetry of the…

For a non-cyclic finite group $G$, let $\gamma(G)$ denote the smallest number of conjugacy classes of proper subgroups of $G$ needed to cover $G$. Bubboloni, Praeger and Spiga, motivated by questions in number theory, have recently…

Let $S$ be a semigroup, let $n\in\mathbb{N}$ be a positive natural number, let $A,B\subseteq S$, let $\mathcal{U},\mathcal{V}\in\beta S$ and let let $\mathcal{F}\subseteq\{f:S^{n}\rightarrow S\}$. We say that $A$ is $\mathcal{F}$-finitely…

This paper investigates spaces equipped with a family of metric-like functions satisfying certain axioms. These functions provide a unified framework for defining topology, uniformity, and diffeology. The framework is based on a family of…

A serial property is a suitably enumerated sequence $\{F_n\}$ of formulas and is called selector provable in PA if there is a PA-recursive function $s(x)$ such that PA $\vdash \forall x (s(x){:}_{\text{PA}} \ulcorner F_x\urcorner)$ where…

Let $\mathbf{X}$ be a class of metric spaces and let $\mathbf{P}_{\mathbf{X}}$ be the set of all $f:[0, \infty)\to [0, \infty)$ preserving $\mathbf{X},$ $(Y, f\circ\rho)\in\mathbf{X}$ whenever $(Y, \rho)\in\mathbf{X}.$ For arbitrary subset…

This exploratory paper considers the notion of a covering of a configuration and $G$-coverings which are coverings that are quotients under a semi-regular group action. We consider prime configurations, those which cannot $G$-cover other…

We show that every definable nested family of closed and bounded subsets of a $P$-minimal field $K$ has non-empty intersection. As an application we answer a question of Darni\`ere and Halupczok showing that $P$-minimal fields satisfy the…

Let $ H $ be a subgroup of a finite group $ G $. We say that $ H $ satisfies the partial $ \Pi $-property in $ G $ if there exists a $G$-chief series $ \varGamma_{G}: 1 =G_{0} < G_{1} < \cdot\cdot\cdot < G_{n}= G $ of $ G $ such that $ | G…