Related papers: Canonical equivalence relations on fronts on $FIN_…

We associate to each automorphism of the plane, a geometric construction with some properties, it is the {\it{canonical resolution}}. We study the geometry of the canonical resolution, we deduce from it an upper bound for a geometric…

We prove that an equivalent condition for a uniform space to be coverable is that the images of the natural projections in the fundamental inverse system are uniformly open in a certain sense. As corollaries we (1) obtain a concrete way to…

We give some explicit upper bounds on the effective birationality of the canonical or anti-canonical system for a singular surface. In particular, we show that for any surface $X$ with $\epsilon$-lc singularity and the canonical divisor…

We discuss the problem of defining a logic for analogical reasoning, and sketch a solution in the style of the semantics for Counterfactual Conditionals, Preferential Structures, etc.

We introduce an equivalence relation on the global class of morphisms of a category that extends several classical notions of equivalence in mathematics. We show that the standard group-action equivalence is a special case of our framework.…

Working with uncountable structures of fixed cardinality, we investigate the complexity of certain equivalence relations and show that if V = L, then many of them are \Sigma^1_1-complete, in particular the isomorphism relation of dense…

We investigate the role of coalgebraic predicate logic, a logic for neighborhood frames first proposed by Chang, in the study of monotonic modal logics. We prove analogues of the Goldblatt-Thomason Theorem and Fine's Canonicity Theorem for…

We review the fundamental ideas of quantizing a theory on a Light Front including the Hamiltonian approach to the problem of bound states on the Light Front and the limiting transition from formulating a theory in Lorentzian coordinates…

Let $X$ be a locally compact topological space, $(Y,d)$ be a boundedly compact metric space and $LB(X,Y)$ be the space of all locally bounded functions from $X$ to $Y$. We characterize compact sets in $LB(X,Y)$ equipped with the topology of…

We prove, over any base ring, that the infinity-category of strictly unital A-infinity-categories (and strictly unital functors) is equivalent to the infinity-category of unital A-infinity-categories (and unital functors). We also identify…

We address a conceptual issue of reconciling the traditional canonical quantization framework of quantum theory with the spatially restricted quantum dynamics and the related spectral problems for confined and global observables of the…

Canonical framings and stable framings for the tangent bundle of a spin 3-manifold are introduced, and illustrated by a number of familiar examples. Methods for constructing canonical framings, and for comparing them with other naturally…

We give a mathematical structure on an arithmetic surface, that has algebraic meanings over finite places and can estimate the canonical norm for a relative differential form on the arithmetic surface. This will give a lower bound for the…

We introduce a local coordinate description for the correspondence between the space of oriented affine lines in Euclidean ${\Bbb{R}}^3$ and the tangent bundle to the 2-sphere. These can be utilised to give canonical coordinates on surfaces…

A canonically fibered surface is a surface whose canonical series maps it to a curve. Using Miyaoka-Yau inequality, A. Beauville proved that a canonically fibered surface has relative genus at most 5 when its geometric genus is sufficiently…

First-order linear real arithmetic enriched with uninterpreted predicate symbols yields an interesting modeling language. However, satisfiability of such formulas is undecidable, even if we restrict the uninterpreted predicate symbols to…

We define an equivalence relation on periodic continued fractions with partial quotients in a ring $\mathcal{O} \subseteq \mathbf{C}$, a group law on these equivalence classes, and a map from these equivalence classes to matrices in…

We study colorings of the Euclidean space constrained by \emph{hypersphere forcing conditions}: if an admissible hypersphere, $S_r(p)$, centered at a point $p$ and of radius $r$ contains a monochromatic set of points satisfying a certain…

In this paper, we prove a similar result to the fundamental theorem of regular surfaces in classical differential geometry, which extends the classical theorem to the entire class of singular surfaces in Euclidean 3-space known as frontals.…

For each clone C on a set A there is an associated equivalence relation analogous to Green's R-relation, which relates two operations on A iff each one is a substitution instance of the other using operations from C. We study the clones for…