Abstract
We prove that in a rosy theory, the n-uniqueness of a strong type p implies the strong n-uniqueness of p. In addition we study some of the boundary properties of p.
Similar content being viewed by others
References
Buechler, S., Pillay, A., Wagner, F.O.: Supersimple theories. J. Am. Math. Soc. 14, 109–124 (2001)
Ealy, C., Onshuus, A.: Characterizing rosy theories. J. Symb. Log. 72, 919–940 (2007)
Goodrick, J., Kim, B., Kolesnikov, A.: Amalgamation functors and boundary properties in simple theories. Isr. J. Math. 193, 169–207 (2013)
Goodrick, J., Kim, B., Kolesnikov, A.: Homology groups of types in model theory and the computation of \(H_2(p)\). J. Symb. Log. 78, 1086–1114 (2013)
Goodrick, J., Kim, B., Kolesnikov, A.: Type-amalgamation properties and polygroupoids in stable theories. J. Math. Log. 15, 45 (2015)
Goodrick, J., Kim, B., Kolesnikov, A.: Homology groups of types in stable theories and the Hurewicz correspondence. Submitted
Kim, Byunghan: Simplicity Theory. Oxford University Press, Oxford (2014)
Author information
Authors and Affiliations
Corresponding author
Additional information
This work was supported by NRF of Korea Grant 2013R1A1A2073702.
Rights and permissions
About this article
Cite this article
Kim, B. On the n-uniqueness of types in rosy theories. Arch. Math. Logic 55, 677–686 (2016). https://doi.org/10.1007/s00153-016-0487-6
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00153-016-0487-6