Related papers: Some theorems on decomposable continua
We discuss a number of general constructions concerning additive $ C^* $-categories, focussing in particular on establishing the existence of bicolimits. As an illustration of our results we show that balanced tensor products of module…
We introduce the $\Sigma_1$-definable universal finite sequence and prove that it exhibits the universal extension property amongst the countable models of set theory under end-extension. That is, (i) the sequence is $\Sigma_1$-definable…
We characterize the validity of the Whitney extension theorem in the ultradifferentiable Roumieu setting with controlled loss of regularity. Specifically, we show that in the main Theorem 1.3 of [15] condition (1.3) can be dropped.…
Let $S$ be a seminorm on an infinite-dimensional real or complex vector space $X$. Our purpose in this note is to study the continuity and discontinuity properties of $S$ with respect to certain norm-topologies on $X$.
The "Modularity Conjecture" is the assertion that the join of two nonmodular varieties is nonmodular. We establish the veracity of this conjecture for the case of linear idempotent varieties. We also establish analogous results concerning…
We will first define what is meant by ``hidden variables". Then, we will review various theorems proving the impossibility of theories introducing such variables and then show that the de Broglie-Bohm theory is not refuted by those…
We study functional stochastic differential equations with a locally unbounded, functional drift focusing on well-posedness, stability and the strong Feller property. Following the non-functional case, we only consider integrability…
Let $M\subset N$ be Hilbert $C^*$-modules over a $C^*$-algebra $A$ with $M^\perp=0$. It was shown recently by J. Kaad and M. Skeide that there exists a non-zero $A$-valued functional on $N$ such that its restriction onto $M$ is zero. Here…
We investigate relationships between versions of derivability conditions for provability predicates. We show several implications and non-implications between the conditions, and we discuss unprovability of consistency statements induced by…
We study generalized permutohedra and supermodular functions. Specifically we analyze decomposability and irreducibility for these objects and establish some asymptotic behavior. We also study a related problem on irreducibility for…
We investigate additive properties of sets $A,$ where $A=\{a_1,a_2,\ldots ,a_k\}$ is a monotone increasing set of real numbers, and the differences of consecutive elements are all distinct. It is known that $|A+B|\geq c|A||B|^{1/2}$ for any…
Non-closedness of subexponentiality by the convolution operation is well-known. We go a step further and show that subexponentiality and non-subexponentiality are generally changeable by the convolution. We also give several conditions, by…
This short note shows a limiting behavior of integrals of some centered antipersistent stationary infinitely divisible moving averages as the compact integration domain in $d\ge 1$ dimensions extends to the whole positive quadrant…
A relational structure is called reversible iff every bijective endomorphism of that structure is an automorphism. We give several equivalents of that property in the class of disconnected binary structures and some its subclasses. For…
A conjecture of Kac states that the polynomial counting the number of absolutely indecomposable representations of a quiver over a finite field with given dimension vector has positive coefficients and furthermore that its constant term is…
We prove the existence of Verdier stratifications for sets definable in any o-minimal structure on (R, +, .). It is also shown that the Verdier condition (w) implies the Whitney condition (b) in o-minimal structures on (R, +, .). As a…
We establish fixed point theorems for nonlinear contractions on a metric space (not essentially complete) endowed with an arbitrary binary relation. Our results extend, generalize, modify and unify several known results especially those…
Most integers are composite and most univariate polynomials over a finite field are reducible. The Prime Number Theorem and a classical result of Gau{\ss} count the remaining ones, approximately and exactly. For polynomials in two or more…
We study some basic properties of sofic-Dyck shifts and finite-type-Dyck shifts. We prove that the class of sofic-Dyck shifts is stable under proper conjugacies. We prove a Decomposition Theorem of a proper conjugacy between edge-Dyck…
Our main result (Theorem A) shows the incompleteness of any consistent sequential theory T formulated in a finite language such that T is axiomatized by a collection of sentences of bounded quantifier-alternation-depth. Our proof employs an…