Sprache: Englisch
Verlag: Springer Verlag, Berling, Heidelberg, New York, 1998
ISBN 10: 3540648631 ISBN 13: 9783540648635
Anbieter: Munster & Company LLC, ABAA/ILAB, Corvallis, OR, USA
Paperback. Zustand: Very Good. Berling, Heidelberg, New York: Springer Verlag, 1998. 211 pp. 23.5 x 15.5 cm. Light rubbing to covers from normal shelfwear; small bump to head of spine. Light foxing to inside of covers and edges of text block. Interior is clean and unmarked. Binding is firm. Soft Cover. Very Good.
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
EUR 60,00
Anzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. In.
kartoniert kartoniert. Zustand: Sehr gut. 211 Seiten, mit Abbildungen, Zust: Gutes Exemplar. Schneller Versand und persönlicher Service - jedes Buch händisch geprüft und beschrieben - aus unserem Familienbetrieb seit über 25 Jahren. Eine Rechnung mit ausgewiesener Mehrwertsteuer liegt jeder unserer Lieferungen bei. Wir versenden mit der deutschen Post. Sprache: Englisch Gewicht in Gramm: 344.
Sprache: Englisch
Verlag: Springer Berlin Heidelberg, 1998
ISBN 10: 3540648631 ISBN 13: 9783540648635
Anbieter: moluna, Greven, Deutschland
EUR 52,76
Anzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New.
Sprache: Englisch
Verlag: Springer, Springer Vieweg, 1998
ISBN 10: 3540648631 ISBN 13: 9783540648635
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - Introduction Model theorists have often joked in recent years that the part of mathemat ical logic known as 'pure model theory' (or stability theory), as opposed to the older and more traditional 'model theory applied to algebra' , turns out to have more and more to do with other subjects ofmathematics and to yield gen uine applications to combinatorial geometry, differential algebra and algebraic geometry. We illustrate this by presenting the very striking application to diophantine geometry due to Ehud Hrushovski: using model theory, he has given the first proof valid in all characteristics of the 'Mordell-Lang conjecture for function fields' (The Mordell-Lang conjecture for function fields, Journal AMS 9 (1996), 667-690). More recently he has also given a new (model theoretic) proof of the Manin-Mumford conjecture for semi-abelian varieties over a number field. His proofyields the first effective bound for the cardinality ofthe finite sets involved (The Manin-Mumford conjecture, preprint). There have been previous instances of applications of model theory to alge bra or number theory, but these appl~cations had in common the feature that their proofs used a lot of algebra (or number theory) but only very basic tools and results from the model theory side: compactness, first-order definability, elementary equivalence.
Anbieter: Buchpark, Trebbin, Deutschland
Zustand: Sehr gut. Zustand: Sehr gut | Sprache: Englisch | Produktart: Bücher | Introduction Model theorists have often joked in recent years that the part of mathemat ical logic known as "pure model theory" (or stability theory), as opposed to the older and more traditional "model theory applied to algebra" , turns out to have more and more to do with other subjects ofmathematics and to yield gen uine applications to combinatorial geometry, differential algebra and algebraic geometry. We illustrate this by presenting the very striking application to diophantine geometry due to Ehud Hrushovski: using model theory, he has given the first proof valid in all characteristics of the "Mordell-Lang conjecture for function fields" (The Mordell-Lang conjecture for function fields, Journal AMS 9 (1996), 667-690). More recently he has also given a new (model theoretic) proof of the Manin-Mumford conjecture for semi-abelian varieties over a number field. His proofyields the first effective bound for the cardinality ofthe finite sets involved (The Manin-Mumford conjecture, preprint). There have been previous instances of applications of model theory to alge bra or number theory, but these appl~cations had in common the feature that their proofs used a lot of algebra (or number theory) but only very basic tools and results from the model theory side: compactness, first-order definability, elementary equivalence.