Book contents
- Frontmatter
- Preface
- Contents
- TUTORIALS
- ARTICLES
- Modified bar recursion and classical dependent choice
- Choice and uniformity in weak applicative theories
- Compactness and incompactness phenomena in set theory
- Selection for Borel relations
- Interpolation in goal-directed proof systems 1
- Sequences of degrees associated with models of arithmetic
- The limit theory of generic polynomials
- Moschovakis's notion of meaning as applied to linguistics
- Tameness in expansions of the real field
- The model theory of compact complex spaces
- “Natural” representations and extensions of Gödel's second theorem 350
- Effective Hausdorff dimension
- Mutual stationarity in the coremodel
- The pair (Nn, N0) may fail N0-compactness
- Incompleteness theoremand its frontier
- Groups in Simple Theories
- References
The limit theory of generic polynomials
from ARTICLES
Published online by Cambridge University Press: 31 March 2017
Book contents
- Frontmatter
- Preface
- Contents
- TUTORIALS
- ARTICLES
- Modified bar recursion and classical dependent choice
- Choice and uniformity in weak applicative theories
- Compactness and incompactness phenomena in set theory
- Selection for Borel relations
- Interpolation in goal-directed proof systems 1
- Sequences of degrees associated with models of arithmetic
- The limit theory of generic polynomials
- Moschovakis's notion of meaning as applied to linguistics
- Tameness in expansions of the real field
- The model theory of compact complex spaces
- “Natural” representations and extensions of Gödel's second theorem 350
- Effective Hausdorff dimension
- Mutual stationarity in the coremodel
- The pair (Nn, N0) may fail N0-compactness
- Incompleteness theoremand its frontier
- Groups in Simple Theories
- References
- Type
- Chapter
- Information
- Logic Colloquium '01 , pp. 242 - 254Publisher: Cambridge University PressPrint publication year: 2005
References
[1] , , , and , Complexity and real computation, Springer- Verlag, 1998.
[2] , , , and , La limite des thèories de courbes gènèriques, The Journal of Symbolic Logic, vol. 67 (2002), pp. 24–34.Google Scholar
[3] , On defining irreducibility, Comptes Rendus de l'Acadèmie des Sciences, vol. 330 (2000), pp. 529–532.Google Scholar
[4] , The theory of Liouville functions, The Journal of Symbolic Logic, vol. 68 (2003), no. 2, pp. 353–365.Google Scholar
[5] and , Back-and-forth systems for generic curves and a decision algorithm for the limit theory, Annals of Pure and Applied Logic, vol. 111 (2001), pp. 257–275.Google Scholar
[6] , , and , A rank theorem for Vandermonde matrices, Linear Algebra and Its Applications, vol. 378 (2004), pp. 99–107.Google Scholar
[7] , Gèomètrie algèbrique: une introduction, Interèditions / CNRS Editions, 1995.
[8] , Amalgames de Hrushovski: une tentative de classification, Tits buildings and the model theory of groups (Würzburg, 2000), London Mathematical Society Lecture Note Series, 291, Cambridge University Press, Cambridge, 2002.
[9] , On defining, The Journal of Symbolic Logic, vol. 59 (1994), no. 1, p. 344.
[10] , O-minimality, Documenta Mathematica, vol. I (1998), pp. 633–636, http:// www.mathematik.uni-bielefeld.de/documenta, Extra Volume ICM 1998.Google Scholar
[11] , Liouville functions, Logic colloquium 2000 ( et al., editors), Lecture Notes in Logic, vol. 19, AK Peters, to appear.
[12] , A theory of a generic function with derivations, Logic and algebra (, editor), Contemporary Mathematics, vol. 302, American Mathematical Society, 2002, pp. 85–100.