The class of all Artinian local rings of length at most l is ∀ 2 -elementary, axiomatised by a finite set of axioms Art l . 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 Got l of all Artinian local Gorenstein rings of length l with algebraically closed residue field (...) is model complete and the theory Art l is companionable, with model-companion Got l. (shrink)

We 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. (shrink)

We prove that any 1-closed (see def 1.1) model of the Π 2 consequences of PA satisfies ¬Cons PA which gives a proof of the second Godel incompleteness theorem without the use of the Godel diagonal lemma. We prove a few other theorems by the same method.

We study algebraic and model-theoretic properties of existentially closed fields with an action of a fixed finite group. Such fields turn out to be pseudo-algebraically closed in a rather strong sense. We place this work in a more general context of the model theory of fields with a group scheme action.

A Boolean product construction is used to give examples of existentially closed algebras in the universal Horn class ISP generated by a universal classKof finitely subdirectly irreducible algebras such that Γa has the Fraser-Horn property. If ⟦a≠b⟧ ∩ ⟦c≠d⟧ = ∅ is definable inKandKhas a model companion ofK-simple algebras, then it is shown that ISP has a model companion. Conversely, a sufficient condition is given for ISP to have no model companion.

The variety of Brouwerian semilattices is amalgamable and locally finite; hence, by well-known results [19], it has a model completion. In this article, we supply a finite and rather simple axiomatization of the model completion.

Abstract.In this paper we show that the theory of fields together with an integrally closed subring, the theory of formally real fields with a real holomorphy ring and the theory of formally \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document} $p$\end{document}-adic fields with a \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document} $p$\end{document}-adic holomorphy ring have no model companions in the language of fields augmented by a unary predicate for the corresponding ring.

The purpose of this paper is to clarify the relationship between various conditions implying essential undecidability: our main result is that there exists a theory T in which all partially recursive functions are representable, yet T does not interpret Robinson’s theory R. To this end, we borrow tools from model theory — specifically, we investigate model-theoretic properties of the model completion of the empty theory in a language with function symbols. We obtain a certain characterization of ∃∀ theories interpretable in (...) existential theories in the process. (shrink)

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

PARC is an "appended numeral" system of natural deduction that I learned as an undergraduate and have taught for many years. Despite its considerable pedagogical strengths, PARC appears to have never been published. The system features explicit "tracking" of premises and assumptions throughout a derivation, the collapsing of indirect proofs into conditional proofs, and a very simple set of quantificational rules without the long list of exceptions that bedevil students learning existential instantiation and universal generalization. The system can be used (...) with any Copi-style set of inference rules, so it is quite adaptable to many mainstream symbolic logic textbooks. Consequently, PARC may be especially attractive to logic teachers who find Jaskowski/Gentzen-style introduction/elimination rules to be far less "natural" than Copi-style rules. The PARC system is also keyboard-friendly in comparison to the widely adopted Jaskowski-style graphical subproof system of natural deduction, viz., Fitch diagrams and Copi "bent arrow" diagrams. (shrink)

We continue the analysis of foundations of positive model theory as introduced by Ben Yaacov and Poizat. The objects of this analysis are $h$-inductive theories and their models, especially the “positively” existentially closed ones. We analyze topological properties of spaces of types, introduce forms of quantifier elimination, and characterize minimal completions of arbitrary $h$-inductive theories. The main technical tools consist of various forms of amalgamations in special classes of structures.

We compare two different notions of generic expansions of countable saturated structures. One kind of genericity is related to existential closure, and another is defined via topological properties and Baire category theory. The second type of genericity was first formulated by Truss for automorphisms. We work with a later generalization, due to Ivanov, to finite tuples of predicates and functions. Let $N$ be a countable saturated model of some complete theory $T$ , and let $(N,\sigma)$ denote an expansion of $N$ (...) to the signature $L_{0}$ which is a model of some universal theory $T_{0}$ . We prove that when all existentially closed models of $T_{0}$ have the same existential theory, $(N,\sigma)$ is Truss generic if and only if $(N,\sigma)$ is an e-atomic model. When $T$ is $\omega$ -categorical and $T_{0}$ has a model companion $T_{\mathrm {mc}}$ , the e-atomic models are simply the atomic models of $T_{\mathrm {mc}}$. (shrink)

In this paper, we study bounded versions of some model-theoretic notions and results. We apply these results to the context of models of bounded arithmetic theories as well as some related complexity questions. As an example, we show that if the theory \(\rm S_2 ^1(PV)\) has bounded model companion then \(\rm NP=coNP\). We also study bounded versions of some other related notions such as Stone topology.

The complex hexaploid wheat genome offers many challenges for genomics research. Expressed sequence tags facilitate the analysis of gene-coding regions and provide a rich source of molecular markers for mapping and comparison with model organisms. The objectives of this study were to construct a high-density EST chromosome bin map of wheat homoeologous group 2 chromosomes to determine the distribution of ESTs, construct a consensus map of group 2 ESTs, investigate synteny, examine patterns of duplication, and assess the colinearity with rice (...) of ESTs assigned to the group 2 consensus bin map. A total of 2600 loci generated from 1110 ESTs were mapped to group 2 chromosomes by Southern hybridization onto wheat aneuploid chromosome and deletion stocks. A consensus map was constructed of 552 ESTs mapping to more than one group 2 chromosome. Regions of high gene density in distal bins and low gene density in proximal bins were found. Two interstitial gene-rich islands flanked by relatively gene-poor regions on both the short and long arms and having good synteny with rice were discovered. The map locations of two ESTs indicated the possible presence of a small pericentric inversion on chromosome 2B. Wheat chromosome group 2 was shown to share syntenous blocks with rice chromosomes 4 and 7. (shrink)

In this paper we give a differential lifting principle which provides a general method to geometrically axiomatize the model companion (if it exists) of some theories of differential topological fields. The topological fields we consider here are in fact topological systems in the sense of van den Dries, and the lifting principle we develop is a generalization of the geometric axiomatization of the theory DCF₀ given by Pierce and Pillay. Moreover, it provides a geometric alternative to the axiomatizations obtained by (...) Tressl and Guzy/Point in separate papers where the authors also build general schemes of axioms for some model complete theories of differential fields. We first characterize the existentially closed models of a given theory of differential topological fields and then, under an additional hypothesis of largeness, we show how to modify this characterization to get a general scheme of first-order axioms for the model companion of any large theory of differential topological fields. We conclude with an application of this lifting principle proving that, in existentially closed models of a large theory of differential topological fields, the jet-spaces are dense in their ambient topological space. (shrink)

This paper introduces a new theory of constant regions, which generalizes that of interstices, in nonstandard models of arithmetic. In particular, we show that two homogeneity notions introduced by Richard Kaye and the author, namely, constantness and pregenericity, are equivalent. This led to some new characterizations of generic cuts in terms of existential closedness.

Vector spaces over unspecified fields can be axiomatized as one-sorted structures, namely, abelian groups with the relation of parallelism. Parallelism is binary linear dependence. When equipped with the n-ary relation of linear dependence for some positive integer n, a vector-space is existentially closed if and only if it is n-dimensional over an algebraically closed field. In the signature with an n-ary predicate for linear dependence for each positive integer n, the theory of infinite-dimensional vector spaces over algebraically (...) closed fields is the model-completion of the theory of vector spaces. (shrink)

We give a detailed account of the Algebraically Closed and Existentially Closed members of the second Lee class B 2 of distributive p-algebras, culminating in an explicit construction of the countable homogeneous universal model of B 2. The axioms of Schmid [7], [8] for the AC and EC members of B 2 are reduced to what we prove to be an irredundant set of axioms. The central tools used in this study are the strong duality of Clark (...) and Davey [3] for B 2 and the method of Clark [2] for constructing AC and EC algebras using a strong duality. Applied to B 2, this method transfers the entire discussion into an equivalent dual category X 2 of Boolean spaces which carry a pair of tightly interacting orderings. The doubly ordered spaces of X 2 prove to be much more readily constructed and analyzed than the corresponding algebras in B 2. (shrink)

We show that the quantifier elimination result for the Shelah-Spencer almost sure theories of sparse random graphs $$G(n,n^{-\alpha })$$ given by Laskowski (Isr J Math 161:157–186, 2007) extends to their various analogues. The analogues will be obtained as theories of generic structures of certain classes of finite structures with a notion of strong substructure induced by rank functions and we will call the generics Baldwin–Shi hypergraphs. In the process we give a method of constructing extensions whose ‘relative rank’ is negative (...) but arbitrarily small in context. We give a necessary and sufficient condition for the theory of a Baldwin–Shi hypergraph to have atomic models. We further show that for certain well behaved classes of theories of Baldwin–Shi hypergraphs, the existentially closed models and the atomic models correspond. (shrink)

If are structures for a first-order language , is said to be algebraically closed in just in case every positive existential -sentence true in is true in . In 1976 Elliott showed that unital AF algebras are classified up to isomorphism by corresponding dimension groups with order unit. This paper shows that one dimension group with order unit is algebraically closed in another just in case the corresponding AF algebras, viewed as metric structures, fall in the same relation.

The study of existentially closed closure algebras begins with Lipparini’s 1982 paper. After presenting new nonelementary axioms for algebraically closed and existentially closed closure algebras and showing that these nonelementary classes are different, this paper shows that the classes of finitely generic and infinitely generic closure algebras are closed under finite products and bounded Boolean powers, extends part of Hausdorff’s theory of reducible sets to existentially closed closure algebras, and shows that finitely (...) generic and infinitely generic closure algebras are elementarily inequivalent. Special properties of algebraically closed, existentially closed, finitely generic, and infinitely generic closure algebras are established along the way. (shrink)

Fields of characteristic zero with several commuting derivations can be treated as fields equipped with a space of derivations that is closed under the Lie bracket. The existentially closed instances of such structures can then be given a coordinate-free characterization in terms of differential forms. The main tool for doing this is a generalization of the Frobenius Theorem of differential geometry.

Gödel logics with truth sets being countable closed subsets of the unit real interval containing 0 and 1 are studied under their usual semantics and under the witnessed semantics, the latter admitting only models in which the truth value of each universally quantified formula is the minimum of truth values of its instances and dually for existential quantification and maximum. An infinite system of such truth sets is constructed such that under the usual semantics the corresponding logics have (...) pairwise different sets of tautologies, all these sets being non-arithmetical, whereas under the witnessed semantics all the logics have the same set of tautologies and it is Π2-complete. Further similar results are obtained. (shrink)

We describe classes of existentially closed ordered difference fields and rings. We show an Ax-Kochen type result for a class of valued ordered difference fields.

This paper develops a 'conceptual map' by which to chart contemporary developments in policy on school diversity. In part this has been prompted by the prospect in England of (private) Steiner schools becoming more closely involved in mainstream state-funded education. Whilst generated principally by policy developments within the UK, the conceptual thinking may also have wider applicability. We conceptualise diversity in the context of a differentiating public domain and a concern with existential questions which, arguably, persists in educational policy even (...) where narrow 'performative' criteria are dominant. Four diversity models are outlined and a policy path over time suggested in relation to these. We suggest that this may be leading towards diversity policy which affords greater recognition to different conceptions of valued learning and encourages co-operative exploration of these, though it is acknowledged that there remain strong contrary pressures. (shrink)

Hannah Arendt’s exposition of the human condition provides the basic framework for a theoretical perspective on close relationships. According to Arendt, the human condition is comprised of three modes of activity: labor, work, and action. Labor is need-driven behavior, work concerns goal-directed activity and the fabrication of things, and action involves the mutual validation of unique individuals. Within this framework, the gift is the means by which relational ties are made concrete. I propose a model of gift-giving organized by two (...) axes: whether or not the partner is singularized by the gift and whether or not the gift is given with an expectation of a return gift. I then apply this model to the three modes of the human condition. (shrink)

The claim that human dignity is universal is challenged by the particular experience of the horrible things people do to others. If dignity is just a ‘vacuous concept’ then the notion of universal human rights and the claim of cosmopolitism that all human beings for a single moral community are also called into question. A close reading of the Universal Declaration of Human Rights and an analysis the historical development of the text reveals a complex conception of human dignity expressed (...) by the Component Dimensions of Human Dignity model. The model conceives of human dignity in terms of four Component Dimensions – existential, behavioral, cognitive-affective and social- each consisting of a Complementary Duality comprising two facets held in tension along an axis of the Already and the Not Yet. Consequently, human dignity can be understood both as Already a universal truth, and as Not Yet realized in every particular life. (shrink)

The underlying modules of existentially closed ▵-algebras are studied. Among other things, it is proved that they are all elementarily equivalent, and that all of them are existentially closed as modules if and only if ▵ is regular. It is also proved that every saturated module in the appropriate elementary equivalence class underlies an e.c. ▵-algebra. Applications to some problems in module theory are given. A number of open questions are mentioned.

We give geometric axioms for existentially closed Hasse fields. We prove a quantifier elimination result for existentially closed n-truncated Hasse fields and characterize them as reducts of existentially closed Hasse fields.

This corrigendum concerns [, § ] on ordered difference existentially closed valued fields where we overlooked the problem of immediate extensions.

This paper is a general introduction to Positive Logic, where only what we call h-inductive sentences are under consideration, allowing the extension to homomorphisms of model-theoric notions which are classically associated to embeddings; in particular, the existentially closed models, that were primitively defined by Abraham Robinson, become here positively closed models. It accounts for recent results in this domain, and is oriented towards the positivisation of Jonsson theories.

In this paper we make an attempt to study classes of models by using general logics. We do not believe that Lww is always the best logic for analyzing a class of models. Let K be a class of models and L a logic. The main assumptions we make about K and C are that K has the L-amalgamation property and, later in the paper, that K does not omit L-types. We show that, if modified suitably, most (...) of the results of stability theory hold in this context. The main difference is that existentially closed models of K play the role that arbitrary models play in traditional stability theory. We prove e. g. a structure theorem for the class of existentially closed models of K assuming that K is a trivial superstable class with ndop. (shrink)

For a quasi variety of algebras K, the Higman Theorem is said to be true if every recursively presented K-algebra is embeddable into a finitely presented K-algebra; the Generalized Higman Theorem is said to be true if any K-algebra which is recursively presented over its finitely generated subalgebra is embeddable into a K-algebra which is finitely presented over this subalgebra. We suggest certain general conditions on K under which the Higman Theorem implies the Generalized Higman Theorem; a finitely generated K-algebra (...) A is embeddable into every existentially closed K-algebra containing a finitely generated K-algebra B if and only if the word problem for A is Q-reducible to the word problem for B. The quasi varieties of groups, torsion-free groups, and semigroups satisfy these conditions. (shrink)

Let T be a strongly minimal theory with quantifier elimination. We show that the class of existentially closed models of T{“σ is an automorphism”} is an elementary class if and only if T has the definable multiplicity property, as long as T is a finite cover of a strongly minimal theory which does have the definable multiplicity property. We obtain cleaner results working with several automorphisms, and prove: the class of existentially closed models of (...) T{“σi is an automorphism”: i=1,2} is an elementary class if and only if T has the definable multiplicity property. (shrink)

A study of smooth classes whose generic structures have simple theory is carried out in a spirit similar to Hrushovski 147; Simplicity and the Lascar group, preprint, 1997) and Baldwin–Shi 1). We attach to a smooth class K0, of finite -structures a canonical inductive theory TNat, in an extension-by-definition of the language . Here TNat and the class of existentially closed models of =T+,EX, play an important role in description of the theory of the K0,-generic. We show (...) that if M is the K0,-generic then MEX. Furthermore, if this class is an elementary class then Th=Th). The investigations by Hrushovski and Pillay , provide a general theory for forking and simplicity for the nonelementary classes, and using these ideas, we show that if K0,, where {,*}, has the joint embedding property and is closed under the Independence Theorem Diagram then EX is simple. Moreover, we study cases where EX is an elementary class. We introduce the notion of semigenericity and show that if a K0,-semigeneric structure exists then EX is an elementary class and therefore the -theory of K0,-generic is near model complete. By this result we are able to give a new proof for a theorem of Baldwin and Shelah 1359). We conclude this paper by giving an example of a generic structure whose first-order theory is simple. (shrink)

For 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.

We introduce prime products as a generalization of ultraproducts for positive logic. Prime products are shown to satisfy a version of Łoś’s Theorem restricted to positive formulas, as well as the following variant of the Keisler Isomorphism Theorem: under the generalized continuum hypothesis, two models have the same positive theory if and only if they have isomorphic prime powers of ultrapowers.

In this paper, we introduce an AEC framework for studying fields with commuting automorphisms. Fields with commuting automorphisms are closely related to difference fields. Some authors define a difference ring (or field) as a ring (or field) together with several commuting endomorphisms, while others only study one endomorphism. Z. Chatzidakis and E. Hrushovski have studied in depth the model theory of ACFA, the model companion of difference fields with one automorphism. Our fields with commuting automorphisms generalize this setting. We have (...) several automorphisms and they are required to commute. Hrushovski has proved that in the case of fields with two or more commuting automorphisms, the existentially closed models do not necessarily form a first order model class. In the present paper, we introduce FCA-classes, an AEC framework for studying the existentially closed models of the theory of fields with commuting automorphisms. We prove that an FCA-class has AP and JEP and thus a monster model, that Galois types coincide with existential types in existentially closed models, that the class is homogeneous, and that there is a version of type amalgamation theorem that allows to combine three types under certain conditions. Finally, we use these results to show that our monster model is a simple homogeneous structure in the sense of S. Buechler and O. Lessman (this is a non-elementary analogue for the classification theoretic notion of a simple first order theory). (shrink)

In model theory, a branch of mathematical logic, we can classify mathematical structures based on their logical complexity. This yields the so-called stability hierarchy. Independence relations play an important role in this stability hierarchy. An independence relation tells us which subsets of a structure contain information about each other, for example, linear independence in vector spaces yields such a relation.Some important classes in the stability hierarchy are stable, simple, and NSOP $_1$, each being contained in the next. For each of (...) these classes there exists a so-called Kim-Pillay style theorem. Such a theorem describes the interaction between independence relations and the stability hierarchy. For example, simplicity is equivalent to admitting a certain independence relation, which must then be unique.All of the above classically takes place in full first-order logic. Parts of it have already been generalised to other frameworks, such as continuous logic, positive logic, and even a very general category-theoretic framework. In this thesis we continue this work.We introduce the framework of AECats, which are a specific kind of accessible category. We prove that there can be at most one stable, simple, or NSOP $_1$ -like independence relation in an AECat. We thus recover (part of) the original stability hierarchy. For this we introduce the notions of long dividing, isi-dividing, and long Kim-dividing, which are based on the classical notions of dividing and Kim-dividing but are such that they work well without compactness.Switching frameworks, we generalise Kim-dividing in NSOP $_1$ theories to positive logic. We prove that Kim-dividing over existentially closed models has all the nice properties that it is known to have in full first-order logic. We also provide a full Kim-Pillay style theorem: a positive theory is NSOP $_1$ if and only if there is a nice enough independence relation, which then must be given by Kim-dividing.Abstract prepared by Mark Kamsma.E-mail:[email protected]:https://markkamsma.nl/phd-thesis. (shrink)