scholarly journals Finite representability of semigroups with demonic refinement

2021 ◽  
Vol 82 (2) ◽  
Author(s):  
Robin Hirsch ◽  
Jaš Šemrl
Keyword(s):  
Partial Order ◽  
Turing Machines ◽  
Binary Relations ◽  
Finite Representation ◽  
First Order ◽  
Finite Structures ◽  
Finite Base ◽  
Finite Set ◽  
Finite Representability ◽  
Representation Class

AbstractThe motivation for using demonic calculus for binary relations stems from the behaviour of demonic turing machines, when modelled relationally. Relational composition (; ) models sequential runs of two programs and demonic refinement ($$\sqsubseteq $$ ⊑ ) arises from the partial order given by modeling demonic choice ($$\sqcup $$ ⊔ ) of programs (see below for the formal relational definitions). We prove that the class $$R(\sqsubseteq , ;)$$ R ( ⊑ , ; ) of abstract $$(\le , \circ )$$ ( ≤ , ∘ ) structures isomorphic to a set of binary relations ordered by demonic refinement with composition cannot be axiomatised by any finite set of first-order $$(\le , \circ )$$ ( ≤ , ∘ ) formulas. We provide a fairly simple, infinite, recursive axiomatisation that defines $$R(\sqsubseteq , ;)$$ R ( ⊑ , ; ) . We prove that a finite representable $$(\le , \circ )$$ ( ≤ , ∘ ) structure has a representation over a finite base. This appears to be the first example of a signature for binary relations with composition where the representation class is non-finitely axiomatisable, but where the finite representation property holds for finite structures.

Time and Duration in Noninterleaving Concurrency

1993 ◽  
Vol 19 (3-4) ◽  
pp. 403-416
Author(s):  
David Murphy
Keyword(s):  
Partial Order ◽  
Independent Interest ◽  
Underlying Event ◽  
Strict Partial Order ◽  
Event Structures ◽  
Concurrency Theory ◽  
Finite Structures

The purpose of this paper is to present a real-timed concurrency theory in the noninterleaving tradition. The theory is based on the occurrences of actions; each occurrence or event has a start and a finish. Causality is modelled by assigning a strict partial order to these starts and finishes, while timing is modelled by giving them reals. The theory is presented in some detail. All of the traditional notions found in concurrency theories (such as conflict, confusion, liveness, and so on) are found to be expressible. Four notions of causality arise naturally from the model, leading to notions of securing. Three of the notions give rise to underlying event structures, demonstrating that our model generalises Winskel’s. Infinite structures are then analysed: a poset of finite structures is defined and suitably completed to give one containing infinite structures. These infinite structures are characterised as just those arising as limits of finite ones. Our technique here, which relies on the structure of time, is of independent interest.

scholarly journals Transitive action on finite points of a full shift and a finitary Ryan’s theorem

2017 ◽  
Vol 39 (06) ◽  
pp. 1637-1667 ◽  
Author(s):  
VILLE SALO
Keyword(s):  
Automorphism Group ◽  
Commutator Subgroup ◽  
Turing Machines ◽  
Finite Support ◽  
Transitive Action ◽  
Group Invariant ◽  
Finite Set ◽  
Transitivity Property ◽  
Full Shift ◽  
Subshifts Of Finite Type

We show that on the four-symbol full shift, there is a finitely generated subgroup of the automorphism group whose action is (set-theoretically) transitive of all orders on the points of finite support, up to the necessary caveats due to shift-commutation. As a corollary, we obtain that there is a finite set of automorphisms whose centralizer is $\mathbb{Z}$ (the shift group), giving a finitary version of Ryan’s theorem (on the four-symbol full shift), suggesting an automorphism group invariant for mixing subshifts of finite type (SFTs). We show that any such set of automorphisms must generate an infinite group, and also show that there is also a group with this transitivity property that is a subgroup of the commutator subgroup and whose elements can be written as compositions of involutions. We ask many related questions and prove some easy transitivity results for the group of reversible Turing machines, topological full groups and Thompson’s  $V$ .

scholarly journals KINETIC INVESTIGATION OF PROPANE DISAPPEARANCE AND PROPENE FORMATION IN PROPANE OXIDATION ON DILUTED AND LEACHED MoVTeNb CATALYST

2010 ◽  
Vol 10 (2) ◽  
pp. 172-176
Author(s):  
Restu Kartiko Widi
Keyword(s):  
Reaction Kinetics ◽  
Partial Order ◽  
Reaction Order ◽  
Propane Oxidation ◽  
Kinetic Investigation ◽  
Formation Kinetic ◽  
Kinetic Reaction ◽  
First Order ◽  
Langmuir Hinshelwood Mechanism

Reaction kinetics for the oxidation of propane over diluted-leached MoVTeNb is described. This paper is focused on the study of products selectivity profile and determination of the orders of propane disappearance and propene formation. The result shows that selective oxidation of propane to propene over this catalyst follows the Langmuir-Hinshelwood mechanism. The disappearance of propane is first order with respect to hydrocarbon and partial order (0.21) with respect to oxygen. The propene formation is first order with respect to hydrocarbon and not depending on oxygen concentration.   Keywords: propane oxidation, propane disappearance, propene formation, kinetic, reaction order

Some Aspects of Model Theory and Finite Structures

2002 ◽  
Vol 8 (3) ◽  
pp. 380-403 ◽  
Author(s):  
Eric Rosen
Keyword(s):  
Computer Science ◽  
Complexity Theory ◽  
Model Theory ◽  
Order Logic ◽  
First Order Logic ◽  
Finite Model ◽  
Finite Model Theory ◽  
First Order ◽  
Single Sentence ◽  
Finite Structures

Model theory is concerned mainly, although not exclusively, with infinite structures. In recent years, finite structures have risen to greater prominence, both within the context of mainstream model theory, e.g., in work of Lachlan, Cherlin, Hrushovski, and others, and with the advent of finite model theory, which incorporates elements of classical model theory, combinatorics, and complexity theory. The purpose of this survey is to provide an overview of what might be called the model theory of finite structures. Some topics in finite model theory have strong connections to theoretical computer science, especially descriptive complexity theory (see [26, 46]). In fact, it has been suggested that finite model theory really is, or should be, logic for computer science. These connections with computer science will, however, not be treated here.It is well-known that many classical results of ‘infinite model theory’ fail over the class of finite structures, including the compactness and completeness theorems, as well as many preservation and interpolation theorems (see [35, 26]). The failure of compactness in the finite, in particular, means that the standard proofs of many theorems are no longer valid in this context. At present, there is no known example of a classical theorem that remains true over finite structures, yet must be proved by substantially different methods. It is generally concluded that first-order logic is ‘badly behaved’ over finite structures.From the perspective of expressive power, first-order logic also behaves badly: it is both too weak and too strong. Too weak because many natural properties, such as the size of a structure being even or a graph being connected, cannot be defined by a single sentence. Too strong, because every class of finite structures with a finite signature can be defined by an infinite set of sentences. Even worse, every finite structure is defined up to isomorphism by a single sentence. In fact, it is perhaps because of this last point more than anything else that model theorists have not been very interested in finite structures. Modern model theory is concerned largely with complete first-order theories, which are completely trivial here.

scholarly journals THE VARIETY OF COSET RELATION ALGEBRAS

2018 ◽  
Vol 83 (04) ◽  
pp. 1595-1609 ◽  
Author(s):  
STEVEN GIVANT ◽  
HAJNAL ANDRÉKA
Keyword(s):  
Large Class ◽  
Identity Element ◽  
Relation Algebra ◽  
Order Theory ◽  
Relation Algebras ◽  
First Order ◽  
First Order Theory ◽  
Atomic Pair ◽  
Finite Set ◽  
Image Position

AbstractGivant [6] generalized the notion of an atomic pair-dense relation algebra from Maddux [13] by defining the notion of a measurable relation algebra, that is to say, a relation algebra in which the identity element is a sum of atoms that can be measured in the sense that the “size” of each such atom can be defined in an intuitive and reasonable way (within the framework of the first-order theory of relation algebras). In Andréka--Givant [2], a large class of examples of such algebras is constructed from systems of groups, coordinated systems of isomorphisms between quotients of the groups, and systems of cosets that are used to “shift” the operation of relative multiplication. In Givant--Andréka [8], it is shown that the class of these full coset relation algebras is adequate to the task of describing all measurable relation algebras in the sense that every atomic and complete measurable relation algebra is isomorphic to a full coset relation algebra.Call an algebra $\mathfrak{A}$ a coset relation algebra if $\mathfrak{A}$ is embeddable into some full coset relation algebra. In the present article, it is shown that the class of coset relation algebras is equationally axiomatizable (that is to say, it is a variety), but that no finite set of sentences suffices to axiomatize the class (that is to say, the class is not finitely axiomatizable).

scholarly journals Injectives in finitely generated universal Horn classes

1987 ◽  
Vol 52 (3) ◽  
pp. 786-792
Author(s):  
Michael H. Albert ◽  
Ross Willard
Keyword(s):  
Finitely Generated ◽  
Finite Structures ◽  
Finite Set

AbstractLet K be a finite set of finite structures. We give a syntactic characterization of the property: every element of K is injective in ISP(K). We use this result to establish that is injective in ISP() for every two-element algebra .

Undecidability of representability as binary relations

2012 ◽  
Vol 77 (4) ◽  
pp. 1211-1244 ◽  
Author(s):  
Robin Hirsch ◽  
Marcel Jackson
Keyword(s):  
Relation Algebra ◽  
Binary Relations ◽  
Wide Range ◽  
Finite Representability

AbstractIn this article we establish the undecidability of representability and of finite representability as algebras of binary relations in a wide range of signatures. In particular, representability and finite representability are undecidable for Boolean monoids and lattice ordered monoids, while representability is undecidable for Jónsson's relation algebra. We also establish a number of undecidability results for representability as algebras of injective functions.

Sign in / Sign up

Export Citation Format

Share Document