Hostname: page-component-586b7cd67f-g8jcs Total loading time: 0 Render date: 2024-11-25T03:41:54.686Z Has data issue: false hasContentIssue false
  • English
  • Français

Syntactic characterisations of amalgamation, convexity and related properties

Published online by Cambridge University Press:  12 March 2014

Paul D. Bacsich  and
Dafydd Rowlands Hughes
Paul D. Bacsich
Affiliation:
Open University, Bletchley, Milton Keynes, England
Dafydd Rowlands Hughes
Affiliation:
Mathematical Institute, Oxford, England
Get access Rights & Permissions [Opens in a new window]

Extract

We prove that certain syntactic conditions similar to separation principles on a theory are equivalent to semantic properties such as amalgamation and strong amalgamation, by showing that appropriate classes of structures are definable by Lω1ω-sentences. Then we characterise the elements of core models and thus give a natural proof of Rabin's characterisation of convex theories.

The notion of a syntactic characterisation of a semantic property of a theory is by now fairly well known. The earliest such were the classical preservation theorems: For example, a theorem of Lyndon characterised the theories whose models were closed under homomorphic images as those with a set of positive axioms.

Presumably the notion of syntactic characterisation can be made precise, but it is probably better at this stage to leave it vague. The general idea is that theories are “algebras” (cylindric algebras, or logical categories, with suitable extra structure) and that a semantic property P of theories is syntactically characterisable if the class of theories with P is an “elementary” class of “algebras.”

When one codes countable theories as real numbers, a syntactically characterisable property will be arithmetical. The converse does not seem reasonable, especially as it is often fairly easy to prove a property arithmetical (using extra predicates, usually), when we may not be able to find a syntactic characterisation.

Type
Research Article
Information
The Journal of Symbolic Logic , Volume 39 , Issue 3 , September 1974 , pp. 433 - 451
Copyright
Copyright © Association for Symbolic Logic 1974

Access options

Get access to the full version of this content by using one of the access options below. (Log in options will check for institutional or personal access. Content may require purchase if you do not have access.)

References

REFERENCES

[1]Bacsich, P., Defining algebraic elements, this Journal, vol. 38 (1973), pp. 93–101.Google Scholar
[2]Bacsich, P., The strong amalgamation property (submitted).Google Scholar
[3]Bryars, D., On the syntactic characterisation of some model theoretic relations, Ph.D. Thesis, London, 1973.Google Scholar
[4]Day, A., A note on the Congruence Extension Property, Algebra Universalis, vol. 1 (1971), pp. 75–76.CrossRefGoogle Scholar
[5]Eklof, P., Algebraic closure operators and strong amalgamation bases (preprint).Google Scholar
[6]Grätzer, G., Universal algebra, Van Nostrand, Princeton, N.J., 1968.Google Scholar
[7]Kelsler, H. J., Theory of models with generalised atomic formulas, this Journal, vol. 25 (1960), pp. 1–26.Google Scholar
[8]Kueker, D., Generalised interpolation and definability, Annals of Mathematical Logic, vol. 1 (1970), pp. 423–468.CrossRefGoogle Scholar
[9]Kueker, D., On intersections of the models of a theory, Notices of the American Mathematical Society, vol. 1° (1972). Abstract 693–E3.Google Scholar
[10]Makkai, M., Svenonius sentences and Lindstrom's theory on preservation theorems, Fundamenta Mathematicae, vol. 73 (1972), pp. 219–233.CrossRefGoogle Scholar
[11]Rabin, M., Characterisation of convex systems of axioms. Notices of the American Mathematical Society, vol. 7 (1960), p. 503.Google Scholar
[12]Rabin, M., Classes of models and sets of sentences with the intersection property, Annales de la Faculté de Sciences de L'Université de Clermont, vol. 7 (1962).Google Scholar
[13]Robinson, A., Introduction to model theory and the metamathematics of algebra, North-Holland, Amsterdam, 1963.Google Scholar
[14]Hughes, D. Rowlands, A combinatorial lemma with applications to model theory (in preparation).Google Scholar
[15]Sacks, G., Saturated model theory, Benjamin, New York, 1972.Google Scholar
[16]Simmons, H., Existentially closed structures, this Journal, vol. 37 (1972), pp. 293–310.Google Scholar
[17]Taylor, W., Residually small varieties, Algebra Universalis, vol. 2 (1972), pp. 33–53.CrossRefGoogle Scholar
[18]Taylor, W., Characterising Malcev conditions (preprint).Google Scholar