Book contents
- Frontmatter
- Preface
- Contents
- SURVEY ARTICLES
- RESEARCH ARTICLES
- The intuitionistic arithmetical hierarchy
- On solvable groups and rings definable in o-minimal structures
- Logical topologies and semantic completeness
- Valued fields and elimination of imaginaries
- Simple sets and ideals under m-reducibility
- Borel irreducibility between two large families of Borel equivalence relations
- Linear logic as a framework for specifying sequent calculus
- Kripke models of certain subtheories of Heyting Arithmetic
- From bounded structural rules to linear logic modalities
- A description of the non-sequential execution of Petri nets in partially commutative linear logic
- A very slow growing hierarchy for
- References
Valued fields and elimination of imaginaries
from RESEARCH ARTICLES
Published online by Cambridge University Press: 30 March 2017
Book contents
- Frontmatter
- Preface
- Contents
- SURVEY ARTICLES
- RESEARCH ARTICLES
- The intuitionistic arithmetical hierarchy
- On solvable groups and rings definable in o-minimal structures
- Logical topologies and semantic completeness
- Valued fields and elimination of imaginaries
- Simple sets and ideals under m-reducibility
- Borel irreducibility between two large families of Borel equivalence relations
- Linear logic as a framework for specifying sequent calculus
- Kripke models of certain subtheories of Heyting Arithmetic
- From bounded structural rules to linear logic modalities
- A description of the non-sequential execution of Petri nets in partially commutative linear logic
- A very slow growing hierarchy for
- References
Summary
A summary is not available for this content so a preview has been provided. Please use the Get access link above for information on how to access this content.
- Type
- Chapter
- Information
- Logic Colloquium '99 , pp. 80 - 88Publisher: Cambridge University PressPrint publication year: 2004
References
[1] , Essential stability theory, Springer, 1996.
[2] , , and , Definable sets in algebraically closed valued fields. Part I: elimination of imaginaries, preprint, 2002.
[3] ,Model theory, Cambridge University Press, 1993.
[4] , Prototypes for definable subsets of algebraically closed valued fields, The Journal of Symbolic Logic, vol. 62 (1997), pp. 1093-1141.Google Scholar
[5] and , On the elimination of imaginaries from certain valued fields, Annals of Pure and Applied Logic, vol. 61 (1993), pp. 241-276.Google Scholar
[6] , Groups and fields definable in o-minimal structures, Journal of Pure and Applied Algebra, vol. 53 (1988), pp. 239-255.Google Scholar
[7] and , Formally p-adic fields, Lecture Notes in Mathematics, vol. 1050, Springer, 1984.
[8] , Complete theories, North-Holland, 1956.
[9] , Classification theory and the number of nonisomorphic models, North Holland, 1990, (revised edition).