Some remarks on generic structures
David E. Evans and Mark Wing Ho Wong
Source: J. Symbolic Logic Volume 74, Issue 4 (2009), 1143-1154.
Abstract
We show that the ℵ0-categorical structures produced by Hrushovski's predimension construction with a control function fit neatly into Shelah's SOPn hierarchy: if they are not simple, then they have SOP3 and NSOP4. We also show that structures produced without using a control function can be undecidable and have SOP.
Primary Subjects: 03C45.
Full-text: Access denied (no subscription detected)
We're sorry, but we are unable to provide you with the full text of this article because we are not able to identify you as a subscriber.
If you have a personal subscription to this journal, then please login. If you are already logged in, then you may need to update your profile to register your subscription. Read more about accessing full-text
Links and Identifiers
Permanent link to this document: http://projecteuclid.org/euclid.jsl/1254748684
Digital Object Identifier: doi:10.2178/jsl/1254748684
References
John T. Baldwin and Saharon Shelah, Randomness and semigenericity, Transactions of the American Mathematical Society, vol. 349 (1997), pp. 1359--1376.
Mathematical Reviews (MathSciNet):
MR1407480
Zentralblatt MATH:
0952.03029
Digital Object Identifier: doi:10.1090/S0002-9947-97-01869-2
JSTOR: links.jstor.org
David M. Evans, $\aleph_0$-categorical structures with a predimension, Annals of Pure and Applied Logic, vol. 116 (2002), pp. 157--186.
Mathematical Reviews (MathSciNet):
MR1900903
Zentralblatt MATH:
1002.03022
Digital Object Identifier: doi:10.1016/S0168-0072(01)00109-9
David M. Evans and M. E. Pantano, $\aleph_0$-categorical structures with arbitrarily fast growth of algebraic closure, Journal of Symbolic Logic, vol. 67 (2002), pp. 897--909.
Mathematical Reviews (MathSciNet):
MR1925946
Zentralblatt MATH:
1013.03032
Digital Object Identifier: doi:10.2178/jsl/1190150137
Project Euclid: euclid.jsl/1190150137
Wilfrid Hodges, Model Theory, Cambridge University Press, 1993.
Mathematical Reviews (MathSciNet):
MR1221741
Ehud Hrushovski, A stable $\aleph_0$-categorical pseudoplane, 1988, unpublished notes.
--------, A new strongly minimal set, Annals of Pure and Applied Logic, vol. 62 (1993), pp. 147--166.
Mathematical Reviews (MathSciNet):
MR1226304
Zentralblatt MATH:
0804.03020
Digital Object Identifier: doi:10.1016/0168-0072(93)90171-9
--------, Simplicity and the Lascar group, 1997, unpublished notes.
D. W. Kueker and M. C. Laskowski, On generic structures, Notre Dame Journal of Formal Logic, vol. 33 (1992), pp. 175--183.
Mathematical Reviews (MathSciNet):
MR1167973
Zentralblatt MATH:
0768.03010
Digital Object Identifier: doi:10.1305/ndjfl/1093636094
Project Euclid: euclid.ndjfl/1093636094
Massoud Pourmahdian, Smooth classes without AC and Robinson theories, Journal of Symbolic Logic, vol. 67 (2002), pp. 1274--1294.
Mathematical Reviews (MathSciNet):
MR1955238
Zentralblatt MATH:
1041.03028
Digital Object Identifier: doi:10.2178/jsl/1190150285
Project Euclid: euclid.jsl/1190150285
--------, Simple generic structures, Annals of Pure and Applied Logic, vol. 121 (2003), pp. 227--260.
Mathematical Reviews (MathSciNet):
MR1982948
Zentralblatt MATH:
1028.03027
Digital Object Identifier: doi:10.1016/S0168-0072(02)00114-8
Saharon Shelah, Toward classifying unstable theories, Annals of Pure and Applied Logic, vol. 80 (1996), pp. 229--255.
Mathematical Reviews (MathSciNet):
MR1402297
Zentralblatt MATH:
0874.03043
Digital Object Identifier: doi:10.1016/0168-0072(95)00066-6
Saharon Shelah and Joel Spencer, Zero-one laws for sparse random graphs, Journal of the American Mathematical Society, vol. 1 (1988), pp. 97--115.
Mathematical Reviews (MathSciNet):
MR924703
Zentralblatt MATH:
0647.05051
Digital Object Identifier: doi:10.2307/1990968
JSTOR: links.jstor.org
Frank O. Wagner, Simple Theories, Kluwer, Dordrecht, 2000.
Mathematical Reviews (MathSciNet):
MR1747713
Mark Wing Ho Wong Ph.D. thesis, University of East Anglia, Norwich,June 2007.,
