Related papers: Kato-Nakayama's comparison theorem and analytic lo…
Sufficient and necessary conditions are presented for the comparison theorem of path dependent $G$-SDEs. Different from the corresponding study in path independent $G$-SDEs, a probability method is applied to prove these results. Moreover,…
This note contributes to the understanding of generalized entropy power inequalities. Our main goal is to construct a counter-example regarding monotonicity and entropy comparison of weighted sums of independent identically distributed…
Recent improvements of the LEO-II theorem prover are presented. These improvements include a revised ATP interface, new translations into first-order logic, rule support for the axiom of choice, detection of defined equality, and more…
Working with a singular variety X, one is often interested in comparing the set of etale covers of X with that of its smooth locus X_reg. More precisely, one may ask: What are the obstructions to extend finite etale covers of X_reg to all…
Recent studies in Kubo-Ando theory make frequent use of the relationship between Kubo-Ando connections and positive operator monotone functions. This relationship is deeply connected to L\"owner's theorem and our aim is to provide a…
This paper examines the constricted use of group theory in the studies of pairwise comparisons. The presented approach is based on the application of the famous Levi Theorems of 1942 and 1943 for orderable groups. The theoretical foundation…
We present a way of topologizing sets of Galois types over structures in abstract elementary classes with amalgamation. In the elementary case, the topologies thus produced refine the syntactic topologies familiar from first order logic. We…
This paper is a continuation of [arXiv:1603.02204]. Exploded layered tropical (ELT) algebra is an extension of tropical algebra with a structure of layers. These layers allow us to use classical algebraic results in order to easily prove…
We prove the Ptolemaean Inequality and the Theorem of Ptolemaeus in the setting of $H$--type groups of Iwasawa--type.
We establish a close and previously unknown relation between quantales and groupoids, in terms of which the notion of etale groupoid is subsumed in a natural way by that of quantale. In particular, to each etale groupoid, either localic or…
Part of the theoretical motivation for improving the present level of testing of the equivalence principle is reviewed. The general rationale for optimizing the choice of pairs of materials to be tested is presented. One introduces a…
In this paper we establish a comparison theorem for stochastic differential delay equations with jumps. An example is constructed to demonstrate that the comparison theorem need not hold whenever the diffusion term contains a delay function…
We show that the intuitionistic first-order theory of equality has continuum many complete extensions. We also study the Vitali equivalence relation and show there are many intuitionistically precise versions of it.
The paper reviews various arithmetic analogues of Hamiltonian systems and presents some new facts suggesting ways to relate/unify these examples.
We effect thermodynamical formalism for the non-uniformly hyperbolic $C^\infty$ map of the two dimensional torus known as the Katok map. It is a slowdown of a linear Anosov map near the origin and it is a local (but not small) perturbation.…
We introduce and study a special class of Kato manifolds, which we call toric Kato manifolds. Their construction stems from toric geometry, as their universal covers are open subsets of toric algebraic varieties of non-finite type. This…
This is a first instalment of much larger work about relations between birational geometry and moduli of triples. The extraction of work is mainly related to Theorem 6. It is a weak version of Kawamata's Conjecture 1 and an important…
In this article we present the basis of Monoid Theory from a categorical point of view, emphasizing the analogies and differences between the theory of modules over commutative rings. We present the generalization of afine schemes and afine…
By introducing various topologies on the homotopy groups of a topological space, some researchers make these well known notions in algebraic topology more useful and powerful. In this paper, first we recall and review some known topologies…
As the prototypical category, $\mathbf{Set}$ has many properties which make it special amongst categories. From the point of view of mathematical logic, one such property is that $\mathbf{Set}$ has enough structure to "properly" formalise…