相关论文: The history of three wrong definitions

We begin the study of categorical logic for continuous model theory. In particular, we 1. introduce the notions of metric logical categories and functors as categorical equivalents of a metric theory and interpretations, 2. prove a…

The 3+1 formulation of scalar-tensor theories of gravity (STT) is obtained in the physical (Jordan) frame departing from the 4+0 covariant field equations. Contrary to the common belief (folklore), the new system of ADM-like equations shows…

In this paper we introduce and study the notion of I-convergence of sequences in a metric-like space, where I is an ideal of subsets of the set N of all natural numbers. Further introducing the notion of I*-convergence of sequences in a…

Formal definitions of quantities, quantity spaces, dimensions and dimension groups are introduced. Based on these concepts, a theoretical framework and a practical algorithm for dimensional analysis are developed, and examples of…

The formal mathematical theory of fair division has a rich history dating back at least to Steinhaus in the 1940's. In recent work in this area, several general classes of errors have appeared along with confusion about the necessity and…

We develop an analog to the ends of a metric space for the category of coarse metric spaces and show that it is equivalent to a previously defined coarse invariant.

We highlight overlap as one of the simplest inequalities in linear space that yields a number of useful results. One obtains the Cauchy-Schwarz inequality as a special case. More importantly, a variant of it is seen to work desirably in…

Let $(M,d)$ be a bounded countable metric space and $c>0$ a constant, such that $d(x,y)+d(y,z)-d(x,z) \ge c$, for any pairwise distinct points $x,y,z$ of $M$. For such metric spaces we prove that they can be isometrically embedded into any…

Similarity search is an important problem in information retrieval. This similarity is based on a distance. Symbolic representation of time series has attracted many researchers recently, since it reduces the dimensionality of these high…

We study linear-time temporal logics interpreted over data words with multiple attributes. We restrict the atomic formulas to equalities of attribute values in successive positions and to repetitions of attribute values in the future or…

Convexity is an important notion in non linear optimization theory as well as in infinite dimensional functional analysis. As will be seen below, very simple and powerful tools will be derived from elementary duality arguments (which are…

A generalization of the H\"older inequality is considered. Its relations with a previously obtained improvement of the Cauchy--Schwarz inequality are discussed.

This is a partial account of the fascinating history of Distance Geometry. We make no claim to completeness, but we do promise a dazzling display of beautiful, elementary mathematics. We prove Heron's formula, Cauchy's theorem on the…

Causal spaces have recently been introduced as a measure-theoretic framework to encode the notion of causality. While it has some advantages over established frameworks, such as structural causal models, the theory is so far only developed…

With the increasing pervasive use of machine learning in social and economic settings, there has been an interest in the notion of machine bias in the AI community. Models trained on historic data reflect biases that exist in society and…

The topic of this paper is the subtle interplay between countability and representations. In particular, we establish that the definition of countability of a certain set $X$ crucially hinges on the associated equivalence relation $=_{X}$.…

We look at equivalence relations on the set of models of a theory -- MERs, for short -- such that the class of equivalent pairs is itself an elementary class, in a language appropriate for pairs of models. We provide many examples of…

Some concepts, such as non-compactness measure and condensing operators, defined on metric spaces are extended to uniform spaces. Such extensions allow us to locate, in the context of uniform spaces, some classical results existing in…

A definition is proposed to give precise meaning to the counterfactual statements that often appear in discussions of the implications of quantum mechanics. Of particular interest are counterfactual statements which involve events occurring…

This article includes a survey of the historical development and theoretical structure of the pre-modern theory of magnitudes and numbers. In Part 1, work, insights and controversies related to quantity calculus from Euler onward are…