Chains of theories and companionability

Kasal, Özcan; Pierce, David

doi:10.1090/proc12789

Chains of theories and companionability
HTML articles powered by AMS MathViewer

by Özcan Kasal and David Pierce

Proc. Amer. Math. Soc. 143 (2015), 4937-4949

DOI: https://doi.org/10.1090/proc12789

Published electronically: July 15, 2015

PDF | Request permission

Abstract:

The theory of fields that are equipped with a countably infinite family of commuting derivations is not companionable, but if the axiom is added whereby the characteristic of the fields is zero, then the resulting theory is companionable. Each of these two theories is the union of a chain of companionable theories. In the case of characteristic $0$, the model-companions of the theories in the chain form another chain, whose union is therefore the model-companion of the union of the original chain. However, in a signature with predicates, in all finite numbers of arguments, for linear dependence of vectors, the two-sorted theory of vector-spaces with their scalar-fields is companionable, and it is the union of a chain of companionable theories, but the model-companions of the theories in the chain are mutually inconsistent. Finally, the union of a chain of non-companionable theories may be companionable.

References

Zoé Chatzidakis and Ehud Hrushovski, Model theory of difference fields, Trans. Amer. Math. Soc. 351 (1999), no. 8, 2997–3071. MR 1652269, DOI 10.1090/S0002-9947-99-02498-8
Paul Eklof and Gabriel Sabbagh, Model-completions and modules, Ann. Math. Logic 2 (1970/71), no. 3, 251–295. MR 277372, DOI 10.1016/0003-4843(71)90016-7
Wilfrid Hodges, Model theory, Encyclopedia of Mathematics and its Applications, vol. 42, Cambridge University Press, Cambridge, 1993. MR 1221741, DOI 10.1017/CBO9780511551574
Joseph Johnson, Georg M. Reinhart, and Lee A. Rubel, Some counterexamples to separation of variables, J. Differential Equations 121 (1995), no. 1, 42–66. MR 1348535, DOI 10.1006/jdeq.1995.1121
E. R. Kolchin, Differential algebra and algebraic groups, Pure and Applied Mathematics, Vol. 54, Academic Press, New York-London, 1973. MR 0568864
E. R. Kolchin, Differential algebraic groups, Pure and Applied Mathematics, vol. 114, Academic Press, Inc., Orlando, FL, 1985. MR 776230
Omar León Sánchez, Geometric axioms for differentially closed fields with several commuting derivations, J. Algebra 362 (2012), 107–116. MR 2921633, DOI 10.1016/j.jalgebra.2012.03.043
Omar León Sánchez, Corrigendum to “Geometric axioms for differentially closed fields with several commuting derivations” [J. Algebra 362 (2012) 107–116] [MR2921633], J. Algebra 382 (2013), 332–334. MR 3034485, DOI 10.1016/j.jalgebra.2013.02.030
Angus Macintyre, Generic automorphisms of fields, Ann. Pure Appl. Logic 88 (1997), no. 2-3, 165–180. Joint AILA-KGS Model Theory Meeting (Florence, 1995). MR 1600899, DOI 10.1016/S0168-0072(97)00020-1
Tracey McGrail, The model theory of differential fields with finitely many commuting derivations, J. Symbolic Logic 65 (2000), no. 2, 885–913. MR 1771092, DOI 10.2307/2586576
Alice Medvedev, $\mathbb Q$ACFA, Talk given at Recent Developments in Model Theory, Oléron, France, http://modeltheory2011.univ-lyon1.fr/abstracts.html, June 2011.
Alice Medvedev, $\mathbb Q$ACFA, preprint, http://www.sci.ccny.cuny.edu/~abear/grouplessqacfa. pdf, November 2012.
David Pierce, Differential forms in the model theory of differential fields, J. Symbolic Logic 68 (2003), no. 3, 923–945. MR 2000487, DOI 10.2178/jsl/1058448448
David Pierce, Geometric characterizations of existentially closed fields with operators, Illinois J. Math. 48 (2004), no. 4, 1321–1343. MR 2114160
David Pierce, Model-theory of vector-spaces over unspecified fields, Arch. Math. Logic 48 (2009), no. 5, 421–436. MR 2505433, DOI 10.1007/s00153-009-0130-x
David Pierce, Fields with several commuting derivations, J. Symb. Log. 79 (2014), no. 1, 1–19. MR 3226008, DOI 10.1017/jsl.2013.19