The structure of algebraically and existentially closed Stone and double Stone algebras

1989 ◽  
Vol 54 (2) ◽  
pp. 363-375 ◽  
Author(s):  
David M. Clark
Keyword(s):  
Finite Algebra ◽  
Amalgamation Property ◽  
Explicit Construction ◽  
Structural Description ◽  
Model Companion ◽  
Existentially Closed ◽  
Boolean Spaces ◽  
Countably Infinite ◽  
Model Completion ◽  
Primitive Recursive

In this paper we study the varieties of Stone algebras (S, ∧, ∨, *, 0, 1) and double Stone algebras (D, ∧, ∨, *, +, 0, 1). Our primary interest is to give a structural description of the algebraically and existentially closed members of both classes. Our technique is an application of the natural dualities of Davey [6] and Clark and Krauss [5]. This approach gives a description of the desired models as the algebras of all continuous structure-preserving maps from certain structured Boolean spaces into the generating algebra for the variety. In each case the resulting description can be converted in a natural way into a finite ∀∃-axiomatization for these models. For Stone algebras these axioms appeared earlier in Schmid [20], [21] and in Schmitt [22].Since both cases we consider satisfy the amalgamation property, the existentially closed members form a model companion for the variety which is also its model completion. Moreover, it is also ℵ0 categorical and its countably infinite member is the unique countable homogeneous universal model for the variety. In the case of Stone algebras, explicit constructions for this model appear in Schmitt [22] and Weispfenning [23]. We give here an explicit construction for double Stone algebras of S. Hayes.This work was motivated by a problem of Stanley Burris. In [4] Burris and Werner superseded many previous results by showing that for any finite algebra A, the universal Horn class ISP has a model companion. Weispfenning [24], [25] discovered that this model companion is always ℵ0 categorical and has a primitive recursive ∀∃-axiomatization. In spite of these very general theorems, there are few instances in which a structural description of the (any!) existentially closed members of ISP is available. Burris and Werner [4] solve this problem in a special setting.

scholarly journals Model companions of theories with an automorphism

2000 ◽  
Vol 65 (3) ◽  
pp. 1215-1222 ◽  
Author(s):  
Hirotaka Kikyo
Keyword(s):  
Amalgamation Property ◽  
Complete Theory ◽  
Model Companion ◽  
Independence Property ◽  
Model Completion

AbstractFor a theory T in L, Tσ is the theory of the models of T with an automorphism σ. If T is an unstable model complete theory without the independence property, then Tσ has no model companion. If T is an unstable model complete theory and Tσ has the amalgamation property, then Tσ has no model companion. If T is model complete and has the fcp, then Tσ has no model completion.

A characterization of companionable, universal theories

1978 ◽  
Vol 43 (3) ◽  
pp. 402-429 ◽  
Author(s):  
William H. Wheeler
Keyword(s):  
Amalgamation Property ◽  
Finiteness Condition ◽  
Model Companion ◽  
Coherence Property ◽  
Finite Presentation ◽  
First Order Theory ◽  
Closed Fields ◽  
Inductive Theory ◽  
Model Completion ◽  
Finitely Presented

A first-order theory is companionable if it is mutually model-consistent with a model-complete theory. The latter theory is then called a model-companion for the former theory. For example, the theory of formally real fields is a companionable theory; its model-companion is the theory of real closed fields. If a companionable, inductive theory has the amalgamation property, then its model-companion is actually a model-completion. For example, the theory of fields is a companionable, inductive theory with the amalgamation property; its model-completion is the theory of algebraically closed fields.The goal of this paper is the characterization, by “algebraic” or “structural” properties, of the companionable, universal theories which satisfy a certain finiteness condition. A theory is companionable precisely when the theory consisting of its universal consequences is companionable. Both theories have the same model-companion if either has one. Accordingly, nought is lost by the restriction to universal theories. The finiteness condition, finite presentation decompositions, is an analogue for an arbitrary theory of the decomposition of a radical ideal in a Noetherian, commutative ring into a finite intersection of prime ideals for the theory of integral domains. The companionable theories with finite presentation decompositions are characterized by two properties: a coherence property for finitely generated submodels of finitely presented models and a homomorphism lifting property for homomorphisms from submodels of finitely presented models.

Finite axiomatizability for equational theories of computable groupoids

1989 ◽  
Vol 54 (3) ◽  
pp. 1018-1022 ◽  
Author(s):  
Peter Perkins
Keyword(s):  
Binary Operation ◽  
Finite Algebra ◽  
Equational Theory ◽  
Natural Numbers ◽  
Finite Axiomatizability ◽  
Finite Algebras ◽  
Equational Theories ◽  
Primitive Recursive ◽  
Positive Integers ◽  
Recursive Set

A computable groupoid is an algebra ‹N, g› where N is the set of natural numbers and g is a recursive (total) binary operation on N. A set L of natural numbers is a computable list of computable groupoids iff L is recursive, ‹N, ϕe› is a computable groupoid for each e ∈ L, and e ∈ L whenever e codes a primitive recursive description of a binary operation on N.Theorem 1. Let L be any computable list of computable groupoids. The set {e ∈ L: the equational theory of ‹N, ϕe› is finitely axiomatizable} is not recursive.Theorem 2. Let S be any recursive set of positive integers. A computable groupoid GS can be constructed so that S is inifinite iff GS has a finitely axiomatizable equational theory.The problem of deciding which finite algebras have finitely axiomatizable equational theories has remained open since it was first posed by Tarski in the early 1960's. Indeed, it is still not known whether the set of such finite algebras is recursively (or corecursively) enumerable. McKenzie [7] has shown that this question of finite axiomatizability for any (finite) algebra of finite type can be reduced to that for a (finite) groupoid.

Model companions for finitely generated universal Horn classes

1984 ◽  
Vol 49 (1) ◽  
pp. 68-74 ◽  
Author(s):  
Stanley Burris
Keyword(s):  
Finitely Generated ◽  
Model Companion ◽  
Universal Horn Class ◽  
Finite Structure ◽  
Finite Structures ◽  
Structure Theorems ◽  
Joint Embedding ◽  
Joint Embedding Property ◽  
Primitive Recursive

AbstractIn an earlier paper we proved that a universal Horn class generated by finitely many finite structures has a model companion. If the language has only finitely many fundamental operations then the theory of the model companion admits a primitive recursive elimination of quantifiers and is primitive recursive. The theory of the model companion is ℵ0-categorical iff it is complete iff the universal Horn class has the joint embedding property iff the universal Horn class is generated by a single finite structure. In the last section we look at structure theorems for the model companions of universal Horn classes generated by functionally complete algebras, in particular for the cases of rings and groups.

Existentially closed models via constructible sets: There are 2ℵ0 existentially closed pairwise non elementarily equivalent existentially closed ordered groups

1996 ◽  
Vol 61 (1) ◽  
pp. 277-284 ◽  
Author(s):  
Anatole Khelif
Keyword(s):  
Open Problem ◽  
General Framework ◽  
Direct Proof ◽  
Model Companion ◽  
Standard Methods ◽  
Division Rings ◽  
Ordered Groups ◽  
Existentially Closed ◽  
Constructible Sets

AbstractWe prove that there are 2χ0 pairwise non elementarily equivalent existentially closed ordered groups, which solve the main open problem in this area (cf. [3, 10]).A simple direct proof is given of the weaker fact that the theory of ordered groups has no model companion; the case of the ordered division rings over a field k is also investigated.Our main result uses constructible sets and can be put in an abstract general framework.Comparison with the standard methods which use forcing (cf. [4]) is sketched.

scholarly journals Existentially closed models of the theory of artinian local rings

1999 ◽  
Vol 64 (2) ◽  
pp. 825-845 ◽  
Author(s):  
Hans Schoutens
Keyword(s):  
Residue Field ◽  
Local Rings ◽  
Model Companion ◽  
Closed Model ◽  
Gorenstein Rings ◽  
Existentially Closed ◽  
Finite Set ◽  
Residue Fields

AbstractThe class of all Artinian local rings of length at most l is ∀2-elementary, axiomatised by a finite set of axioms τtl. We show that its existentially closed models are Gorenstein. of length exactly l and their residue fields are algebraically closed, and, conversely, every existentially closed model is of this form. The theory oτl of all Artinian local Gorenstein rings of length l with algebraically closed residue field is model complete and the theory τtl is companionable, with model-companion oτl.

The model-companion of a class of structures

1972 ◽  
Vol 37 (3) ◽  
pp. 546-556 ◽  
Author(s):  
G. L. Cherlin
Keyword(s):  
Order Theory ◽  
Model Companion ◽  
Elementary Substructure ◽  
Closed Model ◽  
First Order ◽  
First Order Theory ◽  
Logical Equivalence ◽  
Closed Fields ◽  
Algebraically Closed Fields ◽  
Model Completion

If Σ is the class of all fields and Σ* is the class of all algebraically closed fields, then it is well known that Σ* is characterized by the following properties:(i) Σ* is the class of models of some first order theory K*.(ii) If m1m2 are in Σ* and m1 ⊆ m2 then m1 ≺ m2 (m1 is an elementary substructure of m2, i.e. any first order sentence true in m1 is true in m2).(iii) If m1 is in Σ then there is a structure m2 in Σ* such that m1 ⊆ m2.If Σ is some other class of models of a first order theory K and a subclass Σ* of Σ exists satisfying (i)–(iii) then Σ* is uniquely determined and K* (which is unique up to logical equivalence) is called the model-companion of K. This notion is a generalization of the fundamental notion of model-completion introduced and extensively studied by A. Robinson [6], When the model-companion exists it provides the basis for a satisfactory treatment of the notion of an algebraically closed model of K.Recently A. Robinson has developed a more general formulation of the notion of “algebraically closed” structures in Σ, which is applicable to any inductive elementary class Σ of structures (by elementary we always mean ECΔ). Condition (i) must be weakened to(i′) Σ* is closed under elementary substructure (i.e. if m1 is in Σ* and m2 ≺ m1 then m2 is in Σ*).

scholarly journals FIELDS WITH SEVERAL COMMUTING DERIVATIONS

2014 ◽  
Vol 79 (01) ◽  
pp. 1-19 ◽  
Author(s):  
DAVID PIERCE
Keyword(s):  
Natural Number ◽  
Geometric Characterization ◽  
Model Companion ◽  
First Order ◽  
Existentially Closed ◽  
Differential Fields ◽  
Theory Of Fields ◽  
Differential Varieties

AbstractFor every natural numberm, the existentially closed models of the theory of fields withmcommuting derivations can be given a first-order geometric characterization in several ways. In particular, the theory of these differential fields has a model-companion. The axioms are that certain differential varieties determined by certain ordinary varieties are nonempty. There is no restriction on the characteristic of the underlying field.

A note on existentially closed difference fields with algebraically closed fixed field

2001 ◽  
Vol 66 (2) ◽  
pp. 719-721 ◽  
Author(s):  
Anand Pillay
Keyword(s):  
Model Companion ◽  
Fixed Field ◽  
Existentially Closed ◽  
Difference Fields

AbstractWe point out that the theory of difference fields with algebraically closed fixed field has no model companion.

Generic expansions of ω-categorical structures and semantics of generalized quantifiers

1999 ◽  
Vol 64 (2) ◽  
pp. 775-789 ◽  
Author(s):  
A. A. Ivanov
Keyword(s):  
Complete Metric Space ◽  
Amalgamation Property ◽  
General Context ◽  
Generalized Quantifiers ◽  
Joint Embedding ◽  
Categorical Structure ◽  
Joint Embedding Property ◽  
Countably Infinite ◽  
Countable Structure

Let M be a countably infinite ω-categorical structure. Consider Aut(M) as a complete metric space by defining d(g, h) = Ω{2−n: g (xn) ≠ h(xn) or g−1 (xn) ≠ h−1 (xn)} where {xn : n ∈ ω} is an enumeration of M An automorphism α ∈ Aut(M) is generic if its conjugacy class is comeagre. J. Truss has shown in [11] that if the set P of all finite partial isomorphisms contains a co-final subset P1 closed under conjugacy and having the amalgamation property and the joint embedding property then there is a generic automorphism. In the present paper we give a weaker condition of this kind which is equivalent to the existence of generic automorphisms. Really we give more: a characterization of the existence of generic expansions (defined in an appropriate way) of an ω-categorical structure. We also show that Truss' condition guarantees the existence of a countable structure consisting of automorphisms of M which can be considered as an atomic model of some theory naturally associated to M. We do it in a general context of weak models for second-order quantifiers.The author thanks Ludomir Newelski for pointing out a mistake in the first version of Theorem 1.2 and for interesting discussions. Also, the author is grateful to the referee for very helpful remarks.

Sign in / Sign up

Export Citation Format

Share Document