Book contents
- Frontmatter
- Contents
- Introduction
- Colloquium Program
- TUTORIAL
- RESEARCH ARTICLES
- Indestructibility and strong compactness
- Some applications of regularmarkers
- Has the continuumhypothesis been settled?
- Geometry of interaction IV: the feedback equation
- On local modularity in homogeneous structures
- Descriptive set theory and uncountable model theory
- Decidable properties of logical calculi and of varieties of algebras
- Stabilization — an alternative to double-negation translation for classical natural deduction
- Definability and reducibility in higher types over the reals
- Predicativity problems in point-free topology
- Rank inequalities in the theory of differentially closed fields
- Consistency and games— in search of new combinatorial principles
- Realizability for constructive Zermelo-Fraenkel set theory
- On long EF-equivalence in non-isomorphic models
- The theory of is undecidable
- Cocovering and set forcing
- References
Rank inequalities in the theory of differentially closed fields
from RESEARCH ARTICLES
Published online by Cambridge University Press: 30 March 2017
By
Book contents
- Frontmatter
- Contents
- Introduction
- Colloquium Program
- TUTORIAL
- RESEARCH ARTICLES
- Indestructibility and strong compactness
- Some applications of regularmarkers
- Has the continuumhypothesis been settled?
- Geometry of interaction IV: the feedback equation
- On local modularity in homogeneous structures
- Descriptive set theory and uncountable model theory
- Decidable properties of logical calculi and of varieties of algebras
- Stabilization — an alternative to double-negation translation for classical natural deduction
- Definability and reducibility in higher types over the reals
- Predicativity problems in point-free topology
- Rank inequalities in the theory of differentially closed fields
- Consistency and games— in search of new combinatorial principles
- Realizability for constructive Zermelo-Fraenkel set theory
- On long EF-equivalence in non-isomorphic models
- The theory of is undecidable
- Cocovering and set forcing
- References
- Type
- Chapter
- Information
- Logic Colloquium '03 , pp. 232 - 243Publisher: Cambridge University PressPrint publication year: 2006
References
[1] and , Orderings of monomial ideals, Fundamenta Mathematicae, vol. 181 (2004), pp. 27–74.Google Scholar
[2] and , The differential order, preprint.
[3] , Rangs et types de rang maximum dans les corps diff rentiellement clos, The Journal of Symbolic Logic, vol. 67 (2002), no. 3, pp. 1178–1188.Google Scholar
[4] , Théorie des mod`les des corps différentiellement clos,Mémoire deMagist`re de l'ENS, Paris, 2000.
[5] and , Lascar and Morley ranks differ in differentially closed fields, The Journal of Symbolic Logic, vol. 64 (1999), no. 3, pp. 1280–1284.Google Scholar
[6] , Differential algebra and algebraic groups, Pure and Applied Mathematics, vol. 54, Academic Press, 1973.
[7] , , , and , Differential and difference dimension polynomials, Mathematics and Its Applications, vol. 461, Kluwer Academic Publishers, 1999.
[8] , Model theory of differential fields,Model theory of fields, Lecture Notes in Logic, vol. 5, Springer-Verlag, Berlin, 1996.
[9] ,Model theory of differential fields,Model theory, algebra, and geometry,Math. Sci. Res. Inst. Publ., vol. 39, Cambridge University Press, Cambridge, 2000, pp. 53–63.
[10] , Commutative ring theory, 2nd ed., Cambridge Studies in AdvanceMathematics, vol. 8, Cambridge University Press, Cambridge, 1989.
[11] , The model theory of differential fields with finitely many commuting derivations, The Journal of Symbolic Logic, vol. 65 (2000), no. 2, pp. 885–913.Google Scholar
[12] , Differential forms in the model theory of differetial fields, The Journal of Symbolic Logic, vol. 68 (2003), no. 3, pp. 923–945.Google Scholar
[13] , Differential fields,Lectures on algebraic model theory, Fields Institute Monographs, vol. 15, AmericanMathematical Society, Providence, RI, 2002, pp. 1–45.
[14] and , On Lascar rank and Morley rank of definable groups in differentially closed fields, The Journal of Symbolic Logic, vol. 67 (2002), no. 3, pp. 1189–1196.Google Scholar
[15] , Rangs des types dans les corps diffirentiels, Groupe d'Itude de Thiories Stables, 1re annie (Univ. Pierre et Marie Curie, Paris, 1977/78), Exp. No. 6.
[16] , A course in model theory. An introduction to contemporary mathematical logic, Universitext, Springer-Verlag, New York, 2000, Translated from the French byMoses Klein and revised by the author.
[17] , Some applications of ordinal dimensions to the theory of differentially closed fields, The Journal of Symbolic Logic, vol. 65 (2000), no. 1, pp. 347–356.Google Scholar
[18] , Saturated model theory, Mathematics Lecture Note Series, W. A. Benjamin, Inc., Reading, Mass., 1972.
[19] , Local algebra, Springer Monographs in Mathematics, Springer-Verlag,Berlin, 2000, Translated from the French by CheeWhye Chin and revised by the author.
[20] , Well-ordering of certain numerical polynomials, Transactions of the American Mathematical Society, vol. 212 (1975), pp. 37–45.Google Scholar
[21] , Differentially closed fields,Model theory and algebraic geometry, Lecture Notes in Mathematics, vol. 1696, Springer, Berlin, 1998, pp. 129–141.
- 1
- Cited by