Abstract
Let L be a countable relational language. Baldwin asked whether there is an ab initio generic L-structure which is superstable but not ω-stable. We give a positive answer to his question, and prove that there is no ab initio generic L-structure which is superstable but not ω-stable, if L is finite and the generic is saturated.
Similar content being viewed by others
References
Anbo Y., Ikeda K.: A note on stability spectrum of generic structures. Math. Log. Q. 56, 257–261 (2010)
Aref’ev R., Baldwin J.T., Mazzucco M.: δ-invariant amalgamation classes. J. Symb. Log. 64, 1743–1750 (1999)
Baldwin, J.T.: Problems on pathological structures. In: Wolter, H., Weese, M. (eds.) Proceedings of 10th Easter Conference in Model Theory (1993), pp. 1–9
Baldwin J.T.: An almost strongly minimal non-Desarguesian projective plane. Trans. Am. Math. Soc. 342, 695–711 (1994)
Baldwin, J.T.: A field guide to Hrushovski’s constructions. http://www.math.uic.edu/~jbaldwin/pub/hrutrav.pdf (2009)
Baldwin J.T., Shelah S.: Randomness and semigenericity. Trans. Am. Math. Soc. 349, 1359–1376 (1997)
Baldwin J.T., Shi N.: Stable generic structures. Ann. Pure Appl. Log. 79, 1–35 (1996)
Herwig B.: Weight ω in stable theories with few types. J. Symb. Log. 60, 353–373 (1995)
Hrushovski, E.: A stable \({\aleph_0}\) -categorical pseudoplane, preprint. (1988)
Hrushovski E.: A new strongly minimal set. Ann. Pure Appl. Log. 62, 147–166 (1993)
Ikeda K.: Minimal but not strongly minimal structures with arbitrary finite dimension. J. Symb. Log. 66, 117–126 (2001)
Ikeda K.: A remark on the stability of saturated generic graphs. J. Math. Soc. Jpn. 57, 1229–1234 (2005)
Laskowski C.: A simpler axiomatization of the Shelah-Spencer almost sure theory. Israel J. Math. 161, 157–186 (2007)
Nesin A., De Bonis M.J.: There are \({2^{\aleph_0} }\) many almost strongly minimal generalized n-gons that do not interpret an infinite group. J. Symb. Log. 63(2), 485–508 (1998)
Shelah S., Spencer J.: Zero-one laws for sparse random graphs. J. Am. Math. Soc. 1, 97–115 (1988)
Tent K.: Very homogeneous generalized n-gons of finite Morley rank. J. Lond. Math. Soc. 62, 1–15 (2000)
Wagner, F.O.: Relational structures and dimensions. In: Automorphisms of First-Order Structures, pp. 153–181. Clarendon Press, Oxford (1994)
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
About this article
Cite this article
Ikeda, K. Ab initio generic structures which are superstable but not ω-stable. Arch. Math. Logic 51, 203–211 (2012). https://doi.org/10.1007/s00153-011-0263-6
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00153-011-0263-6