Related papers: Large weight does not yield an irreducible base
Given a topological property $P$, we say that the space $X$ is $P$-generated if for any subset $A\subset X$ that is not open in $X$ there is a subspace $Y \subset X$ with property $P$ such that $A\cap Y$ is not open in $Y$. (Of course, in…
We analyze the effective content of countable, second countable topological spaces by directly calculating the complexity of several topologically defined index sets. We focus on the separation principles, calibrating an arithmetic…
The irreducible bases in the icosahedral group space are calculated explicitly by reducing the regular representation. The symmetry adapted bases of the system with {\bf I} or {\bf I}$_{h}$ symmetry can be calculated easily and generally by…
We show that a Tychonoff discretely star-Lindelof space can have arbitrarily big extent and note that there are consistent examples of normal discretely star-Lindelof spaces with uncountable extent.
Previous studies on the geometrical properties of the state space of a finite-level quantum system have determined its volume and surface area. Building on this foundation, we derive explicit formulas for two additional intrinsic volume…
By [R. Bautista, P. Gabriel, A.V Roiter., L. Salmeron, Representation-finite algebras and multiplicative basis. Invent. Math. 81 (1985) 217-285.], a finite-dimensional algebra having finitely many isoclasses of indecomposable…
This paper introduces a new simplified version of the countable branching recurrence of Computability Logic, proves its equivalence to the old one, and shows that the basic logic induced by it is a proper superset of the basic logic induced…
Let $\Psi :[1,\infty )\rightarrow \mathbb{R}_{+}$ be a non-decreasing function, $a_{n}(x)$ the $n$'{th} partial quotient of $x$ and $q_{n}(x)$ the denominator of the $n$'{th} convergent. The set of $\Psi $-Dirichlet non-improvable numbers…
Let $w\in L^1\_{loc}(\R^n)$ be apositive weight. Assuming that a doubling condition and an $L^1$ Poincar\'e inequality on balls for the measure $w(x)dx$, as well as a growth condition on $w$, we prove that the compact subsets of $\R^n$…
The property of being selectively separable is well-studied and generalizations such as H-separable and wH-separable have also generated much interest. Bardyla, Maesano, and Zdomskyy proved from Martin's Axiom that there are countable…
The main aim of the article is to show, in the absence of the Axiom of Choice, relationships between the following, independent of $\mathbf{ZF}$, statements: "Every countable product of compact metrizable spaces is separable (respectively,…
For any $k\geq 1$, this paper studies the number of polynomials having $k$ irreducible factors (counted with or without multiplicities) in $\mathbf{F}_q[t]$ among different arithmetic progressions. We obtain asymptotic formulas for the…
A set is introreducible if it can be computed by every infinite subset of itself. Such a set can be thought of as coding information very robustly. We investigate introreducible sets and related notions. Our two main results are that the…
It is known that if a subset of $\mathbb{R}$ has positive Lebesgue measure, then it contains arbitrarily long finite arithmetic progressions. We prove that this result does not extend to infinite arithmetic progressions in the following…
In this article we discuss the relationship between three types of locally convex spaces: docile spaces, Mackey first countable spaces, and sequentially Mackey first countable spaces. More precisely, we show that docile spaces are…
A. Dzhumadil'daev classified all irreducible finite dimensional representations of the simple n-Lie algebra. Using a slightly different approach, we obtain in this paper a complete classification of all irreducible, highest weight modules,…
We investigate predicative aspects of constructive univalent foundations. By predicative and constructive, we respectively mean that we do not assume Voevodsky's propositional resizing axioms or excluded middle. Our work complements…
Indecomposable continua with one composant are $\textit{large}$ in the sense of being non-metrisable. We adapt the method of Smith $[18]$ to construct an example which is $\textit{small}$ in the sense of being separable.
We present examples of metric spaces that are not Riemannian manifolds nor dimensionally homogeneous that satisfy the Tetrahedral Property. In spite of that, Euclidean cones over metric spaces with small diameter do not satisfy this…
In a wide class of weighted Bergman spaces, we construct invertible non-cyclic elements. These are then used to produce z-invariant subspaces of index higher than one. In addition, these elements generate nontrivial bilaterally invariant…