Book contents
- Frontmatter
- Preface
- Plenary sessions
- Special sessions
- Contents
- The Number of Path-Components of a Compact Subset of Rn
- Intervals without Critical Triples
- Beyond Gödel's Theorem: Turing Nonrigidity Revisited
- Types and Indescernibles in Finite Models
- Model Theory of Modules
- Noninterpretability of Infinite Linear Orders
- Combinatorial Principles from Adding Cohen Reals
- Extensions of models of PV
- Convergence Laws for Random Graphs
- V=L and Maximize
- Towards a Categorical Foundation of Mathematics
- Strongly Minimal Sets and Geometry
- Computationally-Sound Proofs
- Lambek Calculus and Formal Languages
- Zil'ber's Trichotomy and o-minimal Structures
- The Higher Infinite in Proof Theory
- There May Be No Nowhere Dense Ultrafilter
- Towards Recursive Model Theory
- Accessible Segments of the Fast Growing Hierarchy
- Author Index
- References
Strongly Minimal Sets and Geometry
Published online by Cambridge University Press: 24 March 2017
By
Book contents
- Frontmatter
- Preface
- Plenary sessions
- Special sessions
- Contents
- The Number of Path-Components of a Compact Subset of Rn
- Intervals without Critical Triples
- Beyond Gödel's Theorem: Turing Nonrigidity Revisited
- Types and Indescernibles in Finite Models
- Model Theory of Modules
- Noninterpretability of Infinite Linear Orders
- Combinatorial Principles from Adding Cohen Reals
- Extensions of models of PV
- Convergence Laws for Random Graphs
- V=L and Maximize
- Towards a Categorical Foundation of Mathematics
- Strongly Minimal Sets and Geometry
- Computationally-Sound Proofs
- Lambek Calculus and Formal Languages
- Zil'ber's Trichotomy and o-minimal Structures
- The Higher Infinite in Proof Theory
- There May Be No Nowhere Dense Ultrafilter
- Towards Recursive Model Theory
- Accessible Segments of the Fast Growing Hierarchy
- Author Index
- 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 '95 , pp. 191 - 213Publisher: Cambridge University PressPrint publication year: 2017
References
[AV] and
Towards a proof of the Mordell-Lang conjecture in positive characteristic, Duke Math. J.
5 (1992).Google Scholar
[Bol]
The group configuration-after E. Hrushovski, The Model Theory of Groups, and ed., Notre Dame Press, 1989.
[Bo2] The proof of the Mordell-Lang conjecture, in [BoL], to appear.
[BoL] and
Stability Theory and Algebraic Geometry: an introduction, Springer Lecture Notes, to appear.
[Bu]
Intersections in jet spaces and a conjecture of S. Lang, Annals of Math. 136 (1992).Google Scholar
[CK] and
Model Theory, North Holland, 1977.
[CS] and
Arithmetic Geometry, Springer, 1986.
[H3]
Strongly minimal expansions of algebraically closed fields, Israel J. Math. 79 (1992).Google Scholar
[H4]
Stability and its uses, Current Developments in Mathematics, et. al. ed., International Press Inc., 1996.
[HP] and
Weakly normal groups, Logic Colloquium –85, North Holland, 1987.
[HS] and Minimal sets in differentially closed set, Trans. AMS, to appear.
[L]
Number Theory III, Springer Verlag, 1991.
[Ma]
Rational points of algebraic curves over function fields, AMS Translations ser. II
59 (1966).Google Scholar
[M1] Zariski Geometries, to appear in [BoL].
[M2] Model Theory of Differential Fields, in [MMP].
[MMP]
and
Model Theory of Fields, Lecture Notes in Logic 5, Springer Verlag, 1996.
[Me]
Division points on semi-abelian varieties, Inventiones Math., 120 (1995), 143-159.Google Scholar
[Me]
Groups and fields interpretable in separably closed fields, Trans. AMS
344 (1994).Google Scholar
[Mi1] Abelian varieties, in [CS].
[Mi2] Jacobian varieties, in [CS]
[P1]
Geometric Stability Theory, Oxford University Press, 1996.
[P2] Differential algebraic groups and the number of countable differentially closed fields, in [MMP].
[P3] Model theory and diophantine geometry, preprint.
[Po1]
Groupes Stables, Nur Al-Maniq wal-Ma'rifah, 1987.
[Po2]
(Hrushovski-Lang-Mordell), Séminaire Bourbaki, to appear.
[R] Abelian varieties over C, in [CS]
[S]
Saturated Model Theory, Benjamin, 1972.
[Sh]
Basic Algebraic Geometry, Springer, 1977.
[Si1]
The arithmetic of elliptic curves, Springer
1986.
[Si2]
Advanced topics in the arithmetic of elliptic curves, Springer
1994.
[SiT] and
Rational Points on Elliptic Curves, Springer, 1992.
[Z]
Zariski type structures, unpublished lecture notes, University of Illinois Chicago, 1991.