Related papers: Locality Theorems in Semiring Semantics
The 1964 theorem of John Bell shows that no model that reproduces the predictions of quantum mechanics can simultaneously satisfy the assumptions of locality and determinism. On the other hand, the assumptions of \emph{signal locality} plus…
In this paper, a Gaifman-Shapiro-style module architecture is tailored to the case of Smodels programs under the stable model semantics. The composition of Smodels program modules is suitably limited by module conditions which ensure the…
Using the functor of Baumslag rationalization of groups we construct a functor on the category of all (non necessarily simply connected) spaces that extends the classical rationalization of simply connected spaces. We study this functor and…
In this article first we develop the Gabriel localizations (abbreviated as G-localizations) for commutative rings, specially some new results in this direction are proven. Then, as an application, it is shown that a ring map is a flat…
In this paper the concept of local embeddability into finite structures (being LEF) for the class of semigroups is expanded with investigations of non-LEF structures, a closely related generalising property of local wrapping of finite…
In this paper we will see deductive systems for classical propositional and predicate logic in the calculus of structures. Like sequent systems, they have a cut rule which is admissible. In addition, they enjoy a top-down symmetry and some…
We reduce the local limit theorem for a non-compact semisimple Lie group acting on its symmetric space to establishing that a natural operator associated to the measure is quasicompact. Under strong Diophantine assumptions on the underlying…
The goal of this paper is to establish Beilinson-Bernstein type localization theorems for quantizations of some conical symplectic resolutions. We prove the full localization theorems for finite and affine type A Nakajima quiver varieties.…
It is demonstrated that under the hypothesis of boundedness, the semantics appears as a property of spontaneous physical processes. It turns that both semantic structure and semantic meaning have their own physical agents each of which is…
We develop the representation theory of a finite semigroup over an arbitrary commutative semiring with unit, in particular classifying the irreducible and minimal representations. The results for an arbitrary semiring are as good as the…
Semiclassical approximation based on extracting a c-number classical component from quantum field is widely used in the quantum field theory. Semiclassical states are considered then as Gaussian wave packets in the functional Schrodinger…
Bell's theorem shows that the reasonable relativistic causal principle known as "local causality" is not compatible with the predictions of quantum mechanics. It is not possible maintain a satisfying causal principle of this type while…
Local models are schemes defined in linear algebra terms that describe the 'etale local structure of integral models for Shimura varieties and other moduli spaces. We point out that the flatness conjecture of Rapoport-Zink on local models…
Electromagnetism is the paradigm case of a theory that satisfies relativistic locality. This can be proven by demonstrating that, once the theory's laws are imposed, what is happening within a region fixes what will happen in the…
In the classical theory of regular languages the concept of recognition by profinite monoids is an important tool. Beyond regularity, Boolean spaces with internal monoids (BiMs) were recently proposed as a generalization. On the other hand,…
This paper addresses arguments that "separability" is an assumption of Bell's theorem, and that abandoning this assumption in our interpretation of quantum mechanics (a position sometimes referred to as "holism") will allow us to restore a…
In this paper we consider general probabilistic theories that pertain to circuits which satisfy two very natural assumptions. We provide a formalism that is local in the following very specific sense: calculations pertaining to any region…
The theory of abelian categories proved very useful, providing an axiomatic framework for homology and cohomology of modules over a ring and, in particular, of abelian groups. For many years, a similar categorical framework has been lacking…
We give an algebraic characterisation of first-order logic with the neighbour relation, on finite words. For this, we consider languages of finite words over alphabets with an involution on them. The natural algebras for such languages are…
Profinite semigroups are a generalization of finite semigroups that come about naturally when one is interested in considering free structures with respect to classes of finite semigroups. They also appear naturally through dualization of…