Related papers: Interval-type theorems concerning quasi-arithmetic…
We prove that the interval topology of an Archimedean atomic lattice effect algebra $E$ is Hausdorff whenever the set of all atoms of $E$ is almost orthogonal. In such a case $E$ is order continuous. If moreover $E$ is complete then order…
Quasilinear (and semilinear) parabolic problems of the form $v'=A(v)v+f(v)$ with strict inclusion $\mathrm{dom}(f)\subsetneq \mathrm{dom}(A)$ of the domains of the function $v\mapsto f(v)$ and the quasilinear part $v\mapsto A(v)$ are…
If and only if each point of a set of the phase-space is in the topological hull of a trajectory running through any other point of this set, we call this set a quasiergodic set. But which are these so defined quasiergodic sets in the case…
It is consistent that there is a partial order (P,<) of size aleph_1 such that every monotone (unary) function from P to P is first order definable in (P,<). The partial order is constructed in an extension obtained by finite support…
In this paper we develop the idea of abstract homogeneity in the context of interval-valued (IV) functions endowed with admissible orders and investigate some of its properties.
By reformulating a learning process of a set system L as a game between Teacher (presenter of data) and Learner (updater of the abstract independent set), we define the order type dim L of L to be the order type of the game tree. The theory…
Let $A$ be abelian variety over the function field $K$ of a compact Riemann surface $B$. Fix a model $f \colon \mathcal{A} \to B$ of $A/K$ and a certain effective horizontal divisor $\DD \subset \mathcal{A}$. We give a sufficient condition…
This note presents an approach to studying the iterates of a mapping whose restriction to the complement of a finite set is continuous and open. The main examples to which the approach can be applied are piecewise monotone mappings defined…
In this paper we establish a general framework in which the verification of support theorems for generalized convex functions acting between an algebraic structure and an ordered algebraic structure is still possible. As for the domain…
We make available some results about model theory cyclically ordered groups. We start with a classification of complete theories of divisible abelian cyclically ordered groups. Then we look at the cyclically ordered groups where the only…
We define a general notion of partially ordered Jordan algebra (over a partially ordered ring), and we show that the Jordan geometry associated to such a Jordan algebra admits a natural invariant partial cyclic order, whose intervals are…
Weakly and strongly quasiperiodic morphisms are tools introduced to study quasiperiodic words. Formally they map respectively at least one or any non-quasiperiodic word to a quasiperiodic word. Considering them both on finite and infinite…
The class of stochastic matrices that have a stochastic $c$-th root for infinitely many natural numbers $c$ is introduced and studied. Such matrices are called arbitrarily finely divisible, and generalise the class of infinitely divisible…
By reformulating a learning process of a set system L as a game between Teacher and Learner, we define the order type of L to be the order type of the game tree, if the tree is well-founded. The features of the order type of L (dim L in…
In this paper we consider certain types of betweenness axioms on the interval function $I_G$ of a connected graph $G$. We characterize the class of graphs for which $I_G$ satisfy these axioms. The class of graphs that we characterize…
Let $m$ a positive integer, not divisible by 2,3,5,7. We generalize the classification of basic quasi-Hopf algebras over cyclic groups of prime order given in \cite{EG3} to the case of cyclic groups of order $m$. To this end, we introduce a…
Let $I\subseteq\mathbb{R}$ be a nonempty open subinterval. We say that a two-variable mean $M:I\times I\to\mathbb{R}$ enjoys the \emph{balancing property} if, for all $x,y\in I$, the equality \begin{equation}\tag{1}…
Given a finite number of samples of a continuous set-valued function F, mapping an interval to compact subsets of the real line, we develop good approximations of F, which can be computed efficiently.
In this work we present a principle which says that quasimorphisms can be obtained via "local data" of the group action on certain appropriate spaces. In a rough manner the principle says that instead of starting with a given group and try…
Consider a linear system of equations with interval coefficients, and each interval coefficient is associated with either a universal or an existential quantifier. The AE solution set and AE solvability of the system is defined by…