Related papers: Infinite pointwise lineability: general criteria a…
In 1931, Banach proved that, far from being exceptional objects, the Weierstrass functions form a residual set in the space $\mathcal{C}[0,1]$ of continuous functions. Later on, in 1966, V. I. Gurariy showed that, except for zero, there is…
We discuss the problems of incompleteness and inexpressibility. We introduce almost self-referential formulas, use them to extend set theory, and relate their expressive power to that of infinitary logic. We discuss the nature of proper…
We explore a definition of uniformity on noncompact manifolds that does not require a Riemannian metric, but is equivalent to bounded gemetry. These are unfinished research notes (and will likely never be published), but since they were…
One of the most basic, longstanding open problems in the theory of dynamical systems is whether reachability is decidable for one-dimensional piecewise affine maps with two intervals. In this paper we prove that for injective maps, it is…
Suppose L = {<, . . .} is any countable first order language in which < is interpreted as a linear order. Let T be any complete first order theory in the language L such that T has a kappa-like model where kappa is an inaccessible cardinal.…
Given a linear system in P^n with assigned multiple general points we compute the cohomology groups of its strict transforms via the blow-up of its linear base locus. This leads us to give a new definition of expected dimension of a linear…
Classification is an important goal in many branches of mathematics. The idea is to describe the members of some class of mathematical objects, up to isomorphism or other important equivalence in terms of relatively simple invariants. Where…
Given S_1, a finite set of points in the plane, we define a sequence of point sets S_i as follows: With S_i already determined, let L_i be the set of all the line segments connecting pairs of points of the union of S_1,...,S_i, and let…
Let $X$ be a topological vector space of complex-valued sequences and $Y$ be a subset of $X$. We provide conditions for $X \setminus Y \cup \{0\}$ to contain uncountably infinitely many linearly independent dense vector subspaces of $X$. We…
We open a new field on how one can define means on infinite sets. We investigate many different ways on how such means can be constructed. One method is based on sequences of ideals, other deals with accumulation points, one uses isolated…
Position probability distribution of a set of massive mutually exclusive particles in one dimension has been defined. Examples with a given two mutually exclusive particles system are considered. It is emphasized that quantum particles at…
In this paper we have introduced the notion of $\mathcal{I}_{(s)}$-density point corresponding to the family of unbounded and $\mathcal{I}$-monotonic increasing positive real sequences, where $\mathcal{I}$ is the ideal of subsets of the set…
We study first-order model checking, by which we refer to the problem of deciding whether or not a given first-order sentence is satisfied by a given finite structure. In particular, we aim to understand on which sets of sentences this…
In this paper, we prove a sufficient and necessary condition for the transition probability distribution of a general, time-inhomogeneous linear SDE to possess a density function and study the differentiability of the density function and…
In this note we study the convergence of recursively defined infinite series. We explore the role of the derivative of the defining function at the origin (if it exists), and develop a comparison test for such series which can be used even…
Linear topological spaces with partial ordering (linear kinematics) are studied. They are defined by a set of 8 axioms implying that topology, linear structure and ordering are compatible with each other. Most of the results are valid for…
We consider the linear span S of the functions tak (with some ak > 0) in weighted L2 spaces, with rather general weights. We give one necessary and one sufficient condition for S to be dense. Some comparisons are also made between the new…
Irreversible random sequential deposition of interacting particles is widely used to model aggregation phenomena in physical, chemical, and biophysical systems. We show that in one dimension the exact time dependent solution of such…
We define the topological multiplicity of an invertible topological system $(X,T)$ as the minimal number $k$ of real continuous functions $f_1,\cdots, f_k$ such that the functions $f_i\circ T^n$, $n\in\mathbb Z$, $1\leq i\leq k,$ span a…
In this paper we prove a characterization of continuity for polynomials on a normed space. Namely, we prove that a polynomial is continuous if and only if it maps compact sets into compact sets. We also provide a partial answer to the…