Related papers: Symmetry in abstract elementary classes with amalg…
The geometric form of Hilbert's Nullstellensatz may be understood as a property of "geometric saturation" in algebraically closed fields. We conceptualise this property in the language of first order logic, following previous approaches and…
This work may be defined as a modern philosophical approach to theoretical physics. Since ancient times science and philosophy evolved in parallel, thus renewing from time to time the epochal paradigms of human thought. We could not…
We prove that for any homotopy type $X$, there is an abstract elementary class $\mathcal{C}$, with joint embedding, almagamation and no maximal models such that the classifying space realizes the homotopy type $X$. We provide a few explicit…
A. Tarski uses in his system for the elementary geometry only the primitive concept of point, and the two primitive relations betweenness and equidistance. Another approach is the relations to be on lines instead of points. W.…
The principles of energy, symmetry, entropy, and causality conservation are discussed in a "Tetrahedron Model" of a conceptually complete "T.O.E.:" "The charges of matter are the symmetry debts of light" (Noether's Theorem). Symmetry debts…
Diffeomorphisms and an internal symmetry (e.g., local Lorentz invariance) are typically regarded as the symmetries of any geometrical gravity theory, including general relativity. In the first-order formalism, diffeomorphisms can be thought…
Semiconic idempotent logic sCI is a common generalization of intuitionistic logic, semilinear idempotent logic sLI, and in particular relevance logic with mingle. We establish the projective Beth definability property and the deductive…
We extend the recent study of the k-body embedded Gaussian ensembles by Benet et al. (Phys. Rev. Lett. 87 (2001) 101601-1 and Ann. Phys. 292 (2001) 67) and by Asaga et al. (cond-mat/0107363 and cond-mat/ 0107364). We show that central…
In this note we prove that a smooth order satisfying the reverse geometric engineering of singularities conditions in stringtheory (in any compactifying dimension) is Auslander regular. Moreover, we classify the etale local structure of…
Concurrent separation logic is distinguished by transfer of state ownership upon parallel composition and framing. The algebraic structure that underpins ownership transfer is that of partial commutative monoids (PCMs). Extant research…
Abstraction is a powerful idea widely used in science, to model, reason and explain the behavior of systems in a more tractable search space, by omitting irrelevant details. While notions of abstraction have matured for deterministic…
We study the spectrum of limit models assuming the existence of a nicely behaved independence notion. Under reasonable assumptions, we show that all `long' limit models are isomorphic, and all `short' limit models are non-isomorphic.…
Equivariant cohomology, a captivating fusion of symmetry and abstract mathematics, illuminates the profound role of group actions in shaping geometric structures. At its core lies the Atiyah-Bott Localization Theorem, a mathematical jewel…
We consider the following property of a first order theory T with a distinguished unary predicate P: every model of the theory of P occurs as the P-part of some model of T. We call this property the Gaifman property. Gaifman conjectured…
Lines of exceptional points are robust in the 3-dimensional non-Hermitian parameter space without requiring any symmetry. However, when more elaborate exceptional structures are considered, the role of symmetry becomes critical. One such…
It is, by now, classical that lattices in higher rank semisimple groups have various rigidity properties. In this work, we add another such rigidity property to the list: uniform stability with respect to the family of unitary operators on…
Asymptotic symmetries in Carrollian gravitational theories in 3+1 space and time dimensions obtained from "magnetic" and "electric" ultrarelativistic contractions of General Relativity are analyzed. In both cases, parity conditions are…
This work introduces a complexity measure which addresses some conflicting issues between existing ones by using a new principle - measuring the average amount of symmetry broken by an object. It attributes low (although different)…
One of the prime motivation for topology was Homotopy theory, which captures the general idea of a continuous transformation between two entities, which may be spaces or maps. In later decades, an algebraic formulation of topology was…
A finite subgroup of the conformal group SL(2,C) can be related to invariant polynomials on a hypersurface in C^3. The latter then carries a simple singularity, which resolves by a finite iteration of basic cycles of deprojections. The…