Countable infinite existentially closed models of universally axiomatizable theories

In the present article, we obtain a new criterion for amodel of a universally axiomatizable theory to be existentially closed. The notion of a maximal existential type is used in the proof and for investigating properties of countable infinite existentially closed structures. The notions of a prime and a homogeneous model, which are classical for the general model theory, are introduced for such structures. We study universal theories with the joint embedding property admitting a single countable infinite existentially closed model. We also construct, for every natural n, an example of a complete inductive theory with a countable infinite family of countable infinite models such that n of them are existentially closed and exactly two are homogeneous.     

On existentially closed and generic nilpotent groups

Letn≧2 be an integer. We prove the following results that are known in casen=2: The upper and the lower central series of an existentially closed nilpotent group of classn coincide. A finitely generic nilpotent group of classn is periodic and the center of a finitely generic torsion-free nilpotent group of classn is isomorphic toQ ⁺, whereas infinitely generic nilpotent groups do not enjoy these properties. We determine the structure of the torsion subgroup of existentially closed nilpotent groups of class 2. Finally we give an algebraic proof that there exist 2^κ non-isomorphic existentially closed nilpotent groups of classn in cardinalityK ≧N ₀. Some results of this paper were contained in [6].     

Existentially complete nilpotent groups

Letn be a positive integer, letK _n denote the theory of groups nilpotent of class at mostn, and letK _n ⁺ denote the theory of torsion-free groups nilpotent of class at mostn. We show that ifn≧2 then neitherK _n norK _n ⁺ has a model companion. ForK _n we obtain the stronger result that the class of finitely generic models is disjoint from the class of infinitely generic models. We also give some other results about existentially complete nilpotent groups. Dedicated to the Memory of Abraham Robinson.     

Model theoretic dynamics in Galois fashion

We fix a monster model $\mathfrak{D}$ of some stable theory and investigate substructures of $\mathfrak{D}$ which are existentially closed within the class of substructures equipped with an action of a fixed group G. We describe them as PAC substructures of $\mathfrak{D}$ and obtain results related to Galois theory.Assuming that the class of these existentially closed substructures is elementary, we show that, under the assumption of having bounded models, its theory is simple and eliminates quantifiers up to some existential formulas. Moreover, this theory codes finite sets and allows a geometric elimination of imaginaries, but not always a weak elimination of imaginaries.     

Model-theoretic aspects of the Gurarij operator system

We establish some of the basic model theoretic facts about the Gurarij operator system GS recently constructed by the second-named author. In particular, we show: (1) GS is the unique separable 1-exact existentially closed operator system; (2) GS is the unique separable nuclear model of its theory; (3) every embedding of GS into its ultrapower is elementary; (4) GS is the prime model of its theory; and (5) GS does not have quantifier-elimination, whence the theory of operator systems does not have a model companion. We also show that, for any q ∈ ?, the theories of M_q-spaces and M_q-systems do have a model companion, namely the Fra¨?ssé limit of the class of finite-dimensional M_q-spaces and M_q-systems respectively; moreover, we show that the model companion is separably categorical. We conclude the paper by showing that no C* algebra can be existentially closed as an operator system.     

Bilinear spaces over a fixed field are simple unstable

We study the model theory of vector spaces with a bilinear form over a fixed field. For finite fields this can be, and has been, done in the classical framework of full first-order logic. For infinite fields we need different logical frameworks. First we take a category-theoretic approach, which requires very little set-up. We show that linear independence forms a simple unstable independence relation. With some more work we then show that we can also work in the framework of positive logic, which is much more powerful than the category-theoretic approach and much closer to the classical framework of full first-order logic. We fully characterise the existentially closed models of the arising positive theory. Using the independence relation from before we conclude that the theory is simple unstable, in the sense that dividing has local character but there are many distinct types. We also provide positive version of what is commonly known as the Ryll-Nardzewski theorem for ω-categorical theories in full first-order logic, from which we conclude that bilinear spaces over a countable field are ω-categorical.     

All Finitely Axiomatizable Normal Extensions of K4.3 are Decidable

We use the apparatus of the canonical formulas introduced by Zakharyaschev [10] to prove that all finitely axiomatizable normal modal logics containing K4.3 are decidable, though possibly not characterized by classes of finite frames. Our method is purely frame-theoretic. Roughly, given a normal logic L above K4.3, we enumerate effectively a class of (possibly infinite) frames with respect to which L is complete, show how to check effectively whether a frame in the class validates a given formula, and then apply a Harropstyle argument to establish the decidability of L, provided of course that it has finitely many axioms.     

A simpler axiomatization of the Shelah-Spencer almost sure theories

We give an explicit AE-axiomatization of the almost sure theories of sparse random graphs G(n, n ^−α) of Shelah-Spencer. In the process we give a method of constructing extensions of graphs whose ‘relative dimension’ is negative, but arbitrarily small. We describe the existentially closed and locally finite models of the theory and produce types of dimension zero. We offer a useful characterization of forking and generalize results about stability and the Dimensional Order Property (DOP) that were known for graphs to arbitrary relational languages. Partially supported by NSF grant DMS-0300080. The author thanks John Baldwin for several useful conversations.     

Commutative basic algebras and non-associative fuzzy logics

Several investigations in probability theory and the theory of expert systems show that it is important to search for some reasonable generalizations of fuzzy logics (e.g. ?ukasiewicz, Gödel or product logic) having a non-associative conjunction. In the present paper, we offer a non-associative fuzzy logic L _CBA having as an equivalent algebraic semantics lattices with section antitone involutions satisfying the contraposition law, so-called commutative basic algebras. The class (variety) CBA of commutative basic algebras was intensively studied in several recent papers and includes the class of MV-algebras. We show that the logic L _CBA is very close to the ?ukasiewicz one, both having the same finite models, and can be understood as its non-associative generalization.     

Existentially closed structures and Jensen’s principle

AssumeV=L, or even ◊ _{M 1}, there is no uncountable locally finite group which can be embedded in every uncountable universal locally finite group. Similar results hold for existentially closed groups and division rings. Partially supported by NSF.     

Infinite Random Geometric Graphs

We introduce a new class of countably infinite random geometric graphs, whose vertices V are points in a metric space, and vertices are adjacent independently with probability p ? (0, 1){p \in (0, 1)} if the metric distance between the vertices is below a given threshold. For certain choices of V as a countable dense set in \mathbbRⁿ{\mathbb{R}^n} equipped with the metric derived from the L _∞-norm, it is shown that with probability 1 such infinite random geometric graphs have a unique isomorphism type. The isomorphism type, which we call GR _n , is characterized by a geometric analogue of the existentially closed adjacency property, and we give a deterministic construction of GR _n . In contrast, we show that infinite random geometric graphs in \mathbbR²{\mathbb{R}^{2}} with the Euclidean metric are not necessarily isomorphic.     

Existentially closed CSA-groups

We study existentially closed CSA-groups. We prove that existentially closed CSA-groups without involutions are simple and divisible, and that their maximal abelian subgroups are conjugate. We also prove that every countable CSA-group without involutions embeds into a finitely generated one having, up to conjugacy, the same maximal abelian subgroups, except maybe the infinite cyclic ones. We deduce from this that there exist 2^₀ countable existentially closed CSA-groups without involutions and that their first-order theories have 2^₀ types over .     

Algebraically and verbally closed subgroups and retracts of finitely generated nilpotent groups

We study algebraically and verbally closed subgroups and retracts of finitely generated nilpotent groups. A special attention is paid to free nilpotent groups and the groups UT _n (Z) of unitriangular (n×n)-matrices over the ring Z of integers for arbitrary n. We observe that the sets of retracts of finitely generated nilpotent groups coincides with the sets of their algebraically closed subgroups. We give an example showing that a verbally closed subgroup in a finitely generated nilpotent group may fail to be a retract (in the case under consideration, equivalently, fail to be an algebraically closed subgroup). Another example shows that the intersection of retracts (algebraically closed subgroups) in a free nilpotent group may fail to be a retract (an algebraically closed subgroup) in this group. We establish necessary conditions fulfilled on retracts of arbitrary finitely generated nilpotent groups. We obtain sufficient conditions for the property of being a retract in a finitely generated nilpotent group. An algorithm is presented determining the property of being a retract for a subgroup in free nilpotent group of finite rank (a solution of a problem of Myasnikov). We also obtain a general result on existentially closed subgroups in finitely generated torsion-free nilpotent with cyclic center, which in particular implies that for each n the group UT _n (Z) has no proper existentially closed subgroups.     

Existential equivalence of ordered abelian groups with parameters

Summary In [GK], Gurevich and Kokorin proved that any two non-trivial ordered abelian groups (o-groups, for short) satisfy the same existential sentences. Let nowG, H be non-trivialo-groups with a commono-subgroupG ₀. We determine whetherG andH are existentially equivalent overG ₀. As a corollary, we obtain algebraic criteria for deciding, whether ano-subgroupG is existentially closed in ano-groupH. Corresponding results are proved foro-groups in which congruences are regarded as atomic relations.     

The countable existentially closed pseudocomplemented semilattice

As the class \(\mathcal {PCSL}\) of pseudocomplemented semilattices is a universal Horn class generated by a single finite structure it has a \(\aleph _0\)-categorical model companion \(\mathcal {PCSL}^*\). As \(\mathcal {PCSL}\) is inductive the models of \(\mathcal {PCSL}^*\) are exactly the existentially closed models of \(\mathcal {PCSL}\). We will construct the unique existentially closed countable model of \(\mathcal {PCSL}\) as a direct limit of algebraically closed pseudocomplemented semilattices.     

La connaissance commune en logique modale

The problem of Common Knowledge will be considered in two classes of models: a class K.* of Kripke models and a class S of Scott models. Two modal logic systems will be defined. Those systems, KC and MC, include an axiomatisation of Common Knowledge. We prove determination of each system by the corresponding class of models. MSC: 03B45, 68T25.     

Nearly Model Complete Theories

A theory T of a language L is 1-model complete (nearly model complete) iff for every formula ρ of L there is a formula ? (χ) of L which is a ??-formula (a Boolean combination of universal formulas) such that T ? ?x [??θ]. The main results of the paper give characterizations of nearly model complete theories and of 1-model complete theories. As a consequence we obtain that a theory T is nearly model complete iff whenever ?? is a model of T and ???₁??, then T ∪ Δ¹_?? is a complete L(A)-theory, where Δ¹_?? is the 1-diagram of ??. We also point out that our main results extend to (n + l)-model complete and nearly ra-model complete theories for all n > 0.     

The Disjunction Property in the Class of Paraconsistent Extensions of Minimal Logic

We consider the disjunction property, DP, in the class of extensions of minimal logic L _j . Conditions are described under which DP is translated from the class PAR of properly paraconsistent extensions of the logics of class L _j into the class INT of intermediate extensions and the class NEG of negative extensions, and conditions for its being translated back into PAR. The logic L _F in PAR, which specifies conditions for DP to be translated from PAR into NEG, is defined and is characterized in terms of j-algebras and Kripke frames. Moreover, we show that L _F is decidable and possesses the disjunction property.     

Algebras of Singular Integral Operators with Piecewise Continuous Coefficients on Reflexive Orlicz Spaces

We consider singular integral operators with piecewise continuous coefficients on reflexive Orlicz spaces L_m(σ) which are generalizations of the Lebesgue spaces L_P(σ), 1 < p < ∞. We suppose that σ belongs to a large class of Carleson curves, including curves with corners and cusps as well as curves that look locally like two logarithmic spirals scrolling up at the same point. For the singular integral operator associated with the Riemann boundary value problem with a piecewise continuous coefficient G, we establish a Fredholm criterion and an index formula in terms of the essential range of G complemented by spiralic horns depending on the Boyd indices of L_M(σ) and contour properties. Our main result is a symbol calculus for the closed algebra of singular integral operators with piecewise continuous matrix - valued coefficients on L_Mⁿ(σ).     

Nonself-Adjoint Operators with Almost Hermitian Spectrum: Weak Annihilators

We consider nonself-adjoint nondissipative trace class additive perturbations L=A+iV of a bounded self-adjoint operator A in a Hilbert space ,H. The main goal is to study the properties of the singular spectral subspace N _i ⁰ of L corresponding to part of the real singular spectrum and playing a special role in spectral theory of nonself-adjoint nondissipative operators.To some extent, the properties of N _i ⁰ resemble those of the singular spectral subspace of a self-adjoint operator. Namely, we prove that L and the adjoint operator ,L ^* are weakly annihilated by some scalar bounded outer analytic functions if and only if both of them satisfy the condition N _i ⁰ =H. This is a generalization of the well-known Cayley identity to nonself-adjoint operators of the above-mentioned class.