feed icon rss

Your email was sent successfully. Check your inbox.

An error occurred while sending the email. Please try again.

Proceed reservation?

Export
  • 1
    UID:
    almahu_9947367839602882
    Format: 1 online resource (389 p.)
    ISBN: 0-08-096043-X
    Series Statement: Studies in logic and the foundations of mathematics ; volume 120
    Content: This proceedings volume contains most of the invited talks presented at the colloquium. The main topics treated are the model theory of arithmetic and algebra, the semantics of natural languages, and applications of mathematical logic to complexity theory. The volume contains both surveys by acknowledged experts and original research papers presenting advances in these disciplines.
    Note: Chiefly English, some French. , Front Cover; Logic Colloquium '84; Copyright Page; Preface; Contents; Chapter 1. Some Results on Open and Diophantine Induction; Chapter 2. Situations, Sets and the Axiom of Foundation; Chapter 3. Ultrafiters on Definable Sets of Arithmetic; Chapter 4. Tarski's Problem and Pfaffian Functions; Chapter 5. Situation Schemata and Systems of Logic Related to Situation Semantics; Chapter 6. Effective Construction of Models; Chapter 7. Twenty Years of p-adic Model Theory; Chapter 8. Malaise et Guérison; Chapter 9. On the Lengths of Proofs of Finitistic Consistency Statements in First Order Theories , Chapter 10. On Categorical TheoriesChapter 11. Finite Homogeneous Rings of Odd Characteristic; Chapter 12. Substructure Lattices of Models of Peano Arithmetic; Chapter 13. Decidable Theories of Valuated Abelian Groups; Chapter 14. Complete Universal Locally Finite Groups of Large Cardinality; Chapter 15. p-χo-Categorial Structures; Chapter 16. On Sentences Interpretable in Systems of Arithmetic; Chapter 17. On the Model Theory of Exponential Fields (Survey); Chapter 18. Bounded Arithmetic Formulas and Turing Machines of Constant Attention , English
    Additional Edition: ISBN 0-444-87999-4
    Language: English
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
  • 2
    UID:
    gbv_622972030
    Format: viii, 377 Seiten , Illustrationen
    Edition: [Amsterdam] Elsevier 1 Online-Ressource Elsevier e-book collection on ScienceDirect
    ISBN: 9780444879998
    Series Statement: Studies in logic and foundations of mathematics volume 120
    Content: This proceedings volume contains most of the invited talks presented at the colloquium. The main topics treated are the model theory of arithmetic and algebra, the semantics of natural languages, and applications of mathematical logic to complexity theory. The volume contains both surveys by acknowledged experts and original research papers presenting advances in these disciplines
    Note: Includes one chapter in French , Master and use copy. Digital master created according to Benchmark for Faithful Digital Reproductions of Monographs and Serials, Version 1. Digital Library Federation, December 2002.
    Additional Edition: ISBN 0444879994
    Additional Edition: Erscheint auch als Druck-Ausgabe Logic Colloquium '84 (Manchester) Logic Colloquium '84 Amsterdam ; Oxford : North-Holland, 1986
    Additional Edition: Elektronische Reproduktion von Logic Colloquium (1984 : Manchester) Logic Colloquium ʹ84 Amsterdam [u.a.] : North-Holland, 1986 ISBN 0444879994
    Language: English
    Keywords: Mathematische Logik ; Mathematische Logik ; Electronic books ; Electronic books ; Konferenzschrift ; Konferenzschrift
    URL: Volltext  (Deutschlandweit zugänglich)
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
  • 3
    Online Resource
    Online Resource
    Cambridge :Cambridge University Press,
    UID:
    almahu_9948233423102882
    Format: 1 online resource (xii, 221 pages) : , digital, PDF file(s).
    ISBN: 9781316106839 (ebook)
    Series Statement: London Mathematical Society lecture note series ; 421
    Content: This collection of articles, originating from a short course held at the University of Manchester, explores the ideas behind Pila's proof of the Andre-Oort conjecture for products of modular curves. The basic strategy has three main ingredients: the Pila-Wilkie theorem, bounds on Galois orbits, and functional transcendence results. All of these topics are covered in this volume, making it ideal for researchers wishing to keep up to date with the latest developments in the field. Original papers are combined with background articles in both the number theoretic and model theoretic aspects of the subject. These include Martin Orr's survey of abelian varieties, Christopher Daw's introduction to Shimura varieties, and Jacob Tsimerman's proof via o-minimality of Ax's theorem on the functional case of Schanuel's conjecture.
    Note: Title from publisher's bibliographic system (viewed on 05 Oct 2015). , The Manin-Mumford Conjecture, an elliptic Curve, its Torsion Points & their Galois Orbits / , Rational points on definable sets / , Functional transcendence via o-minimality / , Introduction to abelian varieties and the Ax-Lindemann-Weierstrass theorem / , The André-Oort conjecture via o-minimality / , Lectures on elimination theory for semialgebraic and subanalytic sets / , Relative Manin-Mumford for abelian varieties / , Improving the bound in the Pila-Wilkie theorem for curves / , Ax-Schanuel and o-minimality /
    Additional Edition: Print version: ISBN 9781107462496
    Language: English
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
  • 4
    UID:
    gbv_409346942
    Format: 259 S. 8"
    Language: Undetermined
    Keywords: Dominion ; Großbritannien ; Armee ; Militär ; Erster Weltkrieg
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
  • 5
    Book
    Book
    Auckland [usw.] : Whitcombe & Tombs
    UID:
    gbv_444037004
    Format: XV, 284 S.
    Series Statement: (Powles: Official History of New Zealand's effort in the Great War Vol. 3)
    Language: English
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
  • 6
    UID:
    edoccha_9958071901102883
    Format: 1 online resource (389 p.)
    ISBN: 0-08-096043-X
    Series Statement: Studies in logic and the foundations of mathematics ; volume 120
    Content: This proceedings volume contains most of the invited talks presented at the colloquium. The main topics treated are the model theory of arithmetic and algebra, the semantics of natural languages, and applications of mathematical logic to complexity theory. The volume contains both surveys by acknowledged experts and original research papers presenting advances in these disciplines.
    Note: Chiefly English, some French. , Front Cover; Logic Colloquium '84; Copyright Page; Preface; Contents; Chapter 1. Some Results on Open and Diophantine Induction; Chapter 2. Situations, Sets and the Axiom of Foundation; Chapter 3. Ultrafiters on Definable Sets of Arithmetic; Chapter 4. Tarski's Problem and Pfaffian Functions; Chapter 5. Situation Schemata and Systems of Logic Related to Situation Semantics; Chapter 6. Effective Construction of Models; Chapter 7. Twenty Years of p-adic Model Theory; Chapter 8. Malaise et Guérison; Chapter 9. On the Lengths of Proofs of Finitistic Consistency Statements in First Order Theories , Chapter 10. On Categorical TheoriesChapter 11. Finite Homogeneous Rings of Odd Characteristic; Chapter 12. Substructure Lattices of Models of Peano Arithmetic; Chapter 13. Decidable Theories of Valuated Abelian Groups; Chapter 14. Complete Universal Locally Finite Groups of Large Cardinality; Chapter 15. p-χo-Categorial Structures; Chapter 16. On Sentences Interpretable in Systems of Arithmetic; Chapter 17. On the Model Theory of Exponential Fields (Survey); Chapter 18. Bounded Arithmetic Formulas and Turing Machines of Constant Attention , English
    Additional Edition: ISBN 0-444-87999-4
    Language: English
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
  • 7
    UID:
    edocfu_9958071901102883
    Format: 1 online resource (389 p.)
    ISBN: 0-08-096043-X
    Series Statement: Studies in logic and the foundations of mathematics ; volume 120
    Content: This proceedings volume contains most of the invited talks presented at the colloquium. The main topics treated are the model theory of arithmetic and algebra, the semantics of natural languages, and applications of mathematical logic to complexity theory. The volume contains both surveys by acknowledged experts and original research papers presenting advances in these disciplines.
    Note: Chiefly English, some French. , Front Cover; Logic Colloquium '84; Copyright Page; Preface; Contents; Chapter 1. Some Results on Open and Diophantine Induction; Chapter 2. Situations, Sets and the Axiom of Foundation; Chapter 3. Ultrafiters on Definable Sets of Arithmetic; Chapter 4. Tarski's Problem and Pfaffian Functions; Chapter 5. Situation Schemata and Systems of Logic Related to Situation Semantics; Chapter 6. Effective Construction of Models; Chapter 7. Twenty Years of p-adic Model Theory; Chapter 8. Malaise et Guérison; Chapter 9. On the Lengths of Proofs of Finitistic Consistency Statements in First Order Theories , Chapter 10. On Categorical TheoriesChapter 11. Finite Homogeneous Rings of Odd Characteristic; Chapter 12. Substructure Lattices of Models of Peano Arithmetic; Chapter 13. Decidable Theories of Valuated Abelian Groups; Chapter 14. Complete Universal Locally Finite Groups of Large Cardinality; Chapter 15. p-χo-Categorial Structures; Chapter 16. On Sentences Interpretable in Systems of Arithmetic; Chapter 17. On the Model Theory of Exponential Fields (Survey); Chapter 18. Bounded Arithmetic Formulas and Turing Machines of Constant Attention , English
    Additional Edition: ISBN 0-444-87999-4
    Language: English
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
  • 8
    UID:
    gbv_1611059844
    Format: VI, 410 S.
    ISBN: 0387102698 , 3540102698
    Series Statement: Lecture notes in mathematics 834
    Note: Beitr. teilw. engl., teilw. franz. - Literaturangaben
    Additional Edition: Online-Ausg. Pacholski, Leszek Model Theory of Algebra and Arithmetic Berlin, Heidelberg : Springer Berlin Heidelberg, 1980 ISBN 9783540383932
    Additional Edition: ISBN 9783540102694
    Language: English
    Subjects: Mathematics
    RVK:
    Keywords: Modelltheorie ; Zahlentheorie ; Algebra ; Modelltheorie ; Modelltheorie ; Algebra ; Konferenzschrift
    URL: Cover
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
  • 9
    Online Resource
    Online Resource
    Cambridge : Cambridge University Press
    UID:
    gbv_883313200
    Format: 1 Online-Ressource (xii, 221 pages) , digital, PDF file(s).
    ISBN: 9781316106839
    Series Statement: London Mathematical Society lecture note series 421
    Content: This collection of articles, originating from a short course held at the University of Manchester, explores the ideas behind Pila's proof of the Andre–Oort conjecture for products of modular curves. The basic strategy has three main ingredients: the Pila–Wilkie theorem, bounds on Galois orbits, and functional transcendence results. All of these topics are covered in this volume, making it ideal for researchers wishing to keep up to date with the latest developments in the field. Original papers are combined with background articles in both the number theoretic and model theoretic aspects of the subject. These include Martin Orr's survey of abelian varieties, Christopher Daw's introduction to Shimura varieties, and Jacob Tsimerman's proof via o-minimality of Ax's theorem on the functional case of Schanuel's conjecture.
    Note: Title from publisher's bibliographic system (viewed on 05 Oct 2015) , The Manin-Mumford Conjecture, an elliptic Curve, its Torsion Points & their Galois Orbits , Rational points on definable sets , Functional transcendence via o-minimality , Introduction to abelian varieties and the Ax-Lindemann-Weierstrass theorem , The André-Oort conjecture via o-minimality , Lectures on elimination theory for semialgebraic and subanalytic sets , Relative Manin-Mumford for abelian varieties , Improving the bound in the Pila-Wilkie theorem for curves , Ax-Schanuel and o-minimality
    Additional Edition: ISBN 9781107462496
    Additional Edition: ISBN 9781107462496
    Additional Edition: ISBN 9781107462496
    Additional Edition: Erscheint auch als O-minimality and diophantine geometry Cambridge : Cambridge University Press, 2015 ISBN 9781107462496
    Additional Edition: Erscheint auch als Druck-Ausgabe ISBN 9781107462496
    Language: English
    Subjects: Mathematics
    RVK:
    Keywords: O-Minimalität ; Diophantische Geometrie ; Aufsatzsammlung
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
Close ⊗
This website uses cookies and the analysis tool Matomo. Further information can be found on the KOBV privacy pages