Hostname: page-component-8448b6f56d-gtxcr Total loading time: 0 Render date: 2024-04-24T11:25:44.167Z Has data issue: false hasContentIssue false
  • English
  • Français

T-height in weakly o-minimal structures

Published online by Cambridge University Press:  12 March 2014

James Tyne
James Tyne*
Affiliation:
Department of Mathematics, The Ohio State University, 231 West 18th Avenue, Columbus, OH 43210, USA.E-mail:tyne@member.ams.org
Get access Rights & Permissions [Opens in a new window]

Abstract

Given a weakly o-minimal theory T, the T-height of an element of a model of T is defined as a means of classifying the order of magnitude of the element. If T satisfies some easily met technical conditions, then this classification is coarse enough for a Wilkie-type inequality: given a set of elements of a model of T, each of which has a different T-height, the cardinality of this set is at most 1 plus the minimum cardinality of a set that generates the structure.

Type
Research Article
Information
The Journal of Symbolic Logic , Volume 71 , Issue 3 , September 2006 , pp. 747 - 762
Copyright
Copyright © Association for Symbolic Logic 2006

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]Dickmann, M. A., Elimination of quantifiers for ordered valuation rings, this Journal, vol. 52 (1987), no. 1, pp. 116–128.Google Scholar
[2]Dries, Lou Van Den, T-convexity and tame extensions II, this Journal, vol. 62 (1997), no. 1, pp. 14–34.Google Scholar
[3]Dries, Lou Van Den and Lewenberg, Adam H., T-convexity and tame extensions, this Journal, vol. 60 (1995), no. 1, pp. 74–102.Google Scholar
[4]Macpherson, Dugald, Marker, David, and Steinhorn, Charles, Weakly o-minimal structures and real closed fields, Transactions of the American Mathematical Society, vol. 352 (2000), no. 12, pp. 5435–5483 (electronic).CrossRefGoogle Scholar
[5]Miller, Chris, Tameness in expansions of the real field, Logic colloquium '01 (Baaz, M., Friedman, S.-D., and Krajíček, J., editors), Lecture Notes in Logic, vol. 20, ASL and A K Peters, 2005, pp. 281–316.CrossRefGoogle Scholar
[6]Miller, Chris and Tyne, James, Expansions of o-minimal structures by iteration sequences, Notre Dame Journal of Formal Logic, vol. 47 (2006), no. 1, pp. 93–99.CrossRefGoogle Scholar
[7]Pillay, Anand and Steinhorn, Charles, Definable sets in ordered structures I, Transactions of the American Mathematical Society, vol. 295 (1986), no. 2, pp. 565–592.CrossRefGoogle Scholar
[8]Tyne, James, T-levels and T-convexity, Ph.D. thesis, University of Illinois at Urbana-Champaign, 2003.Google Scholar
[9]Wilkie, A. J., Model completeness results for expansions of the ordered field of real numbers by restricted Pfaffian functions and the exponential function, Journal of the American Mathematical Society, vol. 9 (1996), no. 4, pp. 1051–1094.CrossRefGoogle Scholar