Hostname: page-component-77c89778f8-5wvtr Total loading time: 0 Render date: 2024-07-23T04:37:00.740Z Has data issue: false hasContentIssue false

CONSTRUCTING TYPES IN DIFFERENTIALLY CLOSED FIELDS THAT ARE ANALYSABLE IN THE CONSTANTS

Published online by Cambridge University Press:  21 December 2018

RUIZHANG JIN*
Affiliation:
DEPARTMENT OF PURE MATHEMATICS UNIVERSITY OF WATERLOO 200 UNIVERSITY AVENUE WEST WATERLOO, ON N2L 3G1, CANADAE-mail: r6jin@uwaterloo.ca

Abstract

Analysability of finite U-rank types are explored both in general and in the theory ${\rm{DC}}{{\rm{F}}_0}$. The well-known fact that the equation $\delta \left( {{\rm{log}}\,\delta x} \right) = 0$ is analysable in but not almost internal to the constants is generalized to show that $\underbrace {{\rm{log}}\,\delta \cdots {\rm{log}}\,\delta }_nx = 0$ is not analysable in the constants in $\left( {n - 1} \right)$-steps. The notion of a canonical analysis is introduced–-namely an analysis that is of minimal length and interalgebraic with every other analysis of that length. Not every analysable type admits a canonical analysis. Using properties of reductions and coreductions in theories with the canonical base property, it is constructed, for any sequence of positive integers $\left( {{n_1}, \ldots ,{n_\ell }} \right)$, a type in ${\rm{DC}}{{\rm{F}}_0}$ that admits a canonical analysis with the property that the ith step has U-rank ${n_i}$.

Type
Articles
Copyright
Copyright © The Association for Symbolic Logic 2018 

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

Bell, J., Sánchez, O. L., and Moosa, R., D-groups and the Dixmier-Moeglin equivalence. Algebra & Number Theory, vol. 12 (2018), no. 2, pp. 343378.CrossRefGoogle Scholar
Chatzidakis, Z., Harrison-Trainor, M., and Moosa, R., Differential-algebraic jet spaces preserve internality to the constants, this Journal, vol. 80 (2015), no. 3, pp. 10221034.Google Scholar
Chatzidakis, Z., A note on canonical bases and one-based types in supersimple theories. Confluentes Mathematici, vol. 4 (2012), no. 03, pp. 1250004.CrossRefGoogle Scholar
Kowalski, P. and Pillay, A., Quantifier elimination for algebraic D-groups. Transactions of the American Mathematical Society, vol. 358 (2006), no. 1, pp. 167181.CrossRefGoogle Scholar
Marker, D., Model theory of differential fields, Model Theory of Fields (Fortnow, L., Kanovei, V., Lavine, S., Lempp, S., Marker, D., and Pillay, A., editors), Association for Symbolic Logic, Wellesley, MA, 1996, pp. 38113.CrossRefGoogle Scholar
Moosa, R., A model-theoretic counterpart to moishezon morphisms. Models, Logics, and Higher-Dimensional Categories: A Tribute to the Work of Mihaly Makkai (Hart, B., Kucera, T. G., Pillay, A., Scott, P. J., and Seely, R. A. G., editors), American Mathematical Society, Providence, RI, 2010, pp. 177188.Google Scholar
Moosa, R. and Pillay, A., On canonical bases and internality criteria. Illinois Journal of Mathematics, vol. 52 (2008), no. 3, pp. 901917.Google Scholar
Pillay, A., Geometric Stability Theory, vol. 32, Oxford University Press, Oxford, 1996.Google Scholar
Pillay, A. and Ziegler, M., Jet spaces of varieties over differential and difference fields. Selecta Mathematica, New Series, vol. 9 (2003), no. 4, pp. 579599.CrossRefGoogle Scholar