Hostname: page-component-78c5997874-8bhkd Total loading time: 0 Render date: 2024-11-13T01:44:17.621Z Has data issue: false hasContentIssue false

Discouraging results for ultraimaginary independence theory

Published online by Cambridge University Press:  12 March 2014

Itay Ben-Yaacov*
Affiliation:
Équipe de Logique Mathématique, UFR de Mathématiques (Case 7012), Université Paris7, 2 Place Jussieu, 75251 Paris Cedex 05, France, E-mail: pezz@logique.jussieu.fr, URL: http://www.logique.jussieu.fr/www.pezz

Abstract

Dividing independence for ultraimaginaries is neither symmetric nor transitive. Moreover, any notion of independence satisfying certain axioms (weaker than those for independence in a simple theory) and denned for all ultraimaginary sorts, is necessarily trivial.

Type
Research Article
Copyright
Copyright © Association for Symbolic Logic 2003

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] Ben-Yaacov, Itay, Tomašić, Ivan, and Wagner, Frank O., Constructing an almost hyperdefinable group, preprint, 2001.Google Scholar
[2] Hart, Bradd, Kim, Byunghan, and Pillay, Anand, Coordinatisation and canonical bases in simple theories, this Journal, vol. 65 (2000), pp. 293309.Google Scholar
[3] Kim, Byunghan, Forking in simple unstable theories, Journal of the London Mathematical Society, vol. 57 (1998), no. 2, pp. 257267.Google Scholar
[4] Kim, Byunghan, Simplicity, and stability in there, this Journal, vol. 66 (2001), pp. 822836.Google Scholar
[5] Wagner, Frank O., Simple theories, Kluwer Academic Publishers, 2000.Google Scholar