Related papers: Sequential topologies and Dedekind finite sets

A dependent theory is a (first order complete theory) T which does not have the independence property. A main result here is: if we expand a model of T by the traces on it of sets definable in a bigger model then we preserve its being…

A `discrete differential manifold' we call a countable set together with an algebraic differential calculus on it. This structure has already been explored in previous work and provides us with a convenient framework for the formulation of…

We study the computational and structural aspects of countable two-dimensional SFTs and other subshifts. Our main focus is on the topological derivatives and subpattern posets of these objects, and our main results are constructions of…

We study the projections in vector spaces over finite fields. We prove finite fields analogues of the bounds on the dimensions of the exceptional sets for Euclidean projection mapping. We provide examples which do not have exceptional…

This paper illustrates the richness of the concept of regular sets of time bounds and demonstrates its application to problems of computational complexity. There is a universe of bounds whose regular subsets allow to represent several time…

In this paper, a question due to Heckenberger, Shareshian and Welker on racks in [7] is positively answered. A rack is a set together with a selfdistributive bijective binary operation. We show that the lattice of subracks of every finite…

In this paper, we extend the result of arXiv:2409.13662 by showing that the set on which every pseudotangent is obtained on a Lipschitz curve can be any compact, uniformly disconnected set in Euclidean space which admits any Lipschitz…

Let $Y\to X$ be a finite normal cover of a wedge of $n\geq 3$ circles. We prove that for any $v\neq 0\in H_1(Y;\mathbb{Q})$ there exists a lift $\widetilde{F}$ to $Y$ of a homotopy equivalence $F:X\to X$ so that the set of iterates…

Geodesically complete affine manifolds are quotients of the Euclidean space through a properly discontinuous action of a subgroup of affine Euclidean transformations. An equivalent definition is that the tangent bundle of such a manifold…

We start by presenting a theory of finite sets using the approach which is essentially that taken by Whitehead and Russell in Principia Mathematica}, and which does not involve the natural numbers (or any other infinite set). This theory is…

A space X is selectively sequentially pseudocompact if for every sequence (U_n) of non-empty open subsets of X, one can choose a point x_n in each U_n in such a way that the sequence (x_n) has a convergent subsequence. Let G be a group from…

We show that there is a compact topological space carrying a measure which is not a weak* limit of finitely supported measures but is in the sequential closure of the set of such measures. We construct compact spaces with measures of…

The decomposition of an arbitrary axiomatic topological quantum field theory or TQFT into indecomposable theories is given. In particular, unitary TQFT's in arbitrary dimensions are shown to decompose into a sum of theories in which the…

We show that a topological Cantor set in the line has at most countably many real-analytic, onto self-maps.

Observing a linear superposition principle, a family of new minimal hypersurfaces in Euclidean space is found, as well as that linear combinations of generalized helicoids induce new algebraic minimal cones of arbitrarily high degree.

We construct a topology on a given algebraically closed field with a distinguished subfield which is also algebraically closed. This topology is finer than Zariski topology and it captures the sets definable in the pair of algebraically…

By Tzouvaras, a set is nontypical in the Russell sense, if it belongs to a countable ordinal definable set. The class HNT of all hereditarily nontypical sets satisfies all axioms of ZF and the double inclusion HOD$\subseteq$HNT$\subseteq$V…

In a recent paper, Chan, \L aba, and Pramanik investigated geometric configurations inside thin subsets of the Euclidean set possessing measures with Fourier decay properties. In this paper we ask which configurations can be found inside…

We prove that if a Bessel sequence in a Hilbert space, that is indexed by a countably infinite group in an invariant manner, can be partitioned into finitely many Riesz basic sequences, then each of the sets in the partition can be chosen…

In two papers we noted that in common practice many algebraic constructions are defined only `up to isomorphism' rather than explicitly. We mentioned some questions raised by this fact, and we gave some partial answers. The present paper…