X
feed icon rss

Your email was sent successfully. Check your inbox.

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

Proceed reservation?

Export
Filter
Type of Medium
Language
Region
Library
Years
Person/Organisation
Subjects(RVK)
Keywords
Access
  • 1
    Online Resource
    Online Resource
    A Guide to Classical and Modern Model Theory (2003)
    Dordrecht :Springer Netherlands :
    Details
    UID:
    almahu_9947363395402882
    Format: XI, 371 p. , online resource.
    ISBN: 9789400708129
    Series Statement: Trends in Logic, Studia Logica Library, 19
    Content: Since its birth, Model Theory has been developing a number of methods and concepts that have their intrinsic relevance, but also provide fruitful and notable applications in various fields of Mathematics. It is a lively and fertile research area which deserves the attention of the mathematical world. This volume: -is easily accessible to young people and mathematicians unfamiliar with logic; -gives a terse historical picture of Model Theory; -introduces the latest developments in the area; -provides 'hands-on' proofs of elimination of quantifiers, elimination of imaginaries and other relevant matters. A Guide to Classical and Modern Model Theory is for trainees and professional model theorists, mathematicians working in Algebra and Geometry and young people with a basic knowledge of logic.
    Note: Structures -- 1.1 Structures -- 1.2 Sentences -- 1.3 Embeddings -- 1.4 The Compactness Theorem -- 1.5 Elementary classes and theories -- 1.6 Complete theories -- 1.7 Definable sets -- 1.8 References -- Quantifier Elimination -- 2.1 Elimination sets -- 2.2 Discrete linear orders -- 2.3 Dense linear orders -- 2.4 Algebraically closed fields (and Tarski) -- 2.5 Tarski again: Real closed fields -- 2.6 pp-elimination of quantifiers and modules -- 2.7 Strongly minimal theories -- 2.8 o-minimal theories -- 2.9 Computational aspects of q. e -- 2.10 References -- Model Completeness -- 3.1 An introduction -- 3.2 Abraham Robinson’s test -- 3.3 Model completeness and Algebra -- 3.4 p-adic fields and Artin’s Conjecture -- 3.5 Existentially closed structures -- 3.6 DCF0 -- 3.7 SCFp and DCFp -- 3.8 ACFA -- 3.9 References -- Elimination of imaginaries -- 4.1 Interpretability -- 4.2 Imaginary elements -- 4.3 Algebraically closed fields -- 4.4 Real closed fields -- 4.5 The elimination of imaginaries sometimes fails -- 4.6 References -- Morley rank -- 5.1 A tale of two chapters -- 5.2 Definable sets -- 5.3 Types -- 5.4 Saturated models -- 5.5 A parenthesis: pure injective modules -- 5.6 Omitting types -- 5.7 The Morley rank, at last -- 5.8 Strongly minimal sets -- 5.9 Algebraic closure and definable closure -- 5.10 References -- ? -stability -- 6.1 Totally transcendental theories -- 6.2 ?-stable groups -- 6.3 ?-stable fields -- 6.4 Prime models -- 6.5 DCF0 revisited -- 6.6 Ryll-Nardzewski’s Theorem, and other things -- 6.7 References -- Classifying -- 7.1 Shelah’s Classification Theory -- 7.2 Simple theories -- 7.3 Stable theories -- 7.4 Superstable theories -- 7.5 ?-stable theories -- 7.6 Classifiable theories -- 7.7 Shelah’s Uniqueness Theorem -- 7.8 Morley’s Theorem -- 7.9 Biinterpretability and Zilber Conjecture -- 7.10 Two algebraic examples -- 7.11 References -- Model Theory and Algebraic Geometry -- 8.1 Introduction -- 8.2 Algebraic varieties, ideals, types -- 8.3 Dimension and Morley rank -- 8.4 Morphisms and definable functions -- 8.5 Manifolds -- 8.6 Algebraic groups -- 8.7 The Mordell-Lang Conjecture -- 8.8 References -- O-minimality -- 9.1 Introduction -- 9.2 The Monotonicity Theorem -- 9.3 Cells -- 9.4 Cell decomposition and other theorems -- 9.5 Their proofs -- 9.6 Definable groups in o-minimal structures -- 9.7 O-minimality and Real Analysis -- 9.8 Variants on the o-minimal theme -- 9.9 No rose without thorns -- 9.10 References.
    In: Springer eBooks
    Additional Edition: Printed edition: ISBN 9781402013317
    Language: English
    DOI: 10.1007/978-94-007-0812-9
    URL: http://dx.doi.org/10.1007/978-94-007-0812-9
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
    Online Resource
    Open Access Request
    HU Berlin
  • 2
    Online Resource
    Online Resource
    A Guide to Classical and Modern Model Theory (2003)
    Dordrecht : Springer
    Details
    UID:
    gbv_1655474952
    Format: Online-Ressource (XI, 371 p, online resource)
    ISBN: 9789400708129
    Series Statement: Trends in Logic, Studia Logica Library 19
    Content: Since its birth, Model Theory has been developing a number of methods and concepts that have their intrinsic relevance, but also provide fruitful and notable applications in various fields of Mathematics. It is a lively and fertile research area which deserves the attention of the mathematical world. This volume: -is easily accessible to young people and mathematicians unfamiliar with logic; -gives a terse historical picture of Model Theory; -introduces the latest developments in the area; -provides 'hands-on' proofs of elimination of quantifiers, elimination of imaginaries and other relevant matters. A Guide to Classical and Modern Model Theory is for trainees and professional model theorists, mathematicians working in Algebra and Geometry and young people with a basic knowledge of logic
    Additional Edition: ISBN 9781402013317
    Additional Edition: Erscheint auch als Druck-Ausgabe Marcja, Annalisa A guide to classical and modern model theory Dordrecht : Kluwer Academic, 2003 ISBN 1402013302
    Additional Edition: ISBN 1402013310
    Additional Edition: ISBN 1402013302
    Language: English
    Subjects: Philosophy
    RVK:
    CC 2400
    Keywords: Modelltheorie ; Bibliografie
    DOI: 10.1007/978-94-007-0812-9
    URL: Volltext  (lizenzpflichtig)
    URL: Cover
    URL: Kapitel 3
    URL: Kapitel 4
    URL: Kapitel 5
    URL: Inhaltstext
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
    Online Resource
    Online Access
    Open Access Request
    UB Potsdam
  • 3
    Online Resource
    Online Resource
    A Guide to Classical and Modern Model Theory (2003)
    Dordrecht : Springer Netherlands
    Details
    UID:
    b3kat_BV042423616
    Format: 1 Online-Ressource (XI, 371 p)
    ISBN: 9789400708129 , 9781402013317
    Series Statement: Trends in Logic, Studia Logica Library 19
    Note: Since its birth, Model Theory has been developing a number of methods and concepts that have their intrinsic relevance, but also provide fruitful and notable applications in various fields of Mathematics. It is a lively and fertile research area which deserves the attention of the mathematical world. This volume: -is easily accessible to young people and mathematicians unfamiliar with logic; -gives a terse historical picture of Model Theory; -introduces the latest developments in the area; -provides 'hands-on' proofs of elimination of quantifiers, elimination of imaginaries and other relevant matters. A Guide to Classical and Modern Model Theory is for trainees and professional model theorists, mathematicians working in Algebra and Geometry and young people with a basic knowledge of logic
    Language: English
    DOI: 10.1007/978-94-007-0812-9
    URL: Volltext
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
    Online Resource
    Online Access
    Open Access Request
    BTU Cottbus
  • 4
    Book
    Book
    A guide to classical and modern model theory / (2003)
    Dordrecht [u.a.] :Kluwer Acad. Publ.,
    Details
    UID:
    almahu_BV020873584
    Format: XI, 369 S.
    ISBN: 1-4020-1330-2 , 1-4020-1331-0
    Series Statement: Trends in logic 19
    Language: English
    Subjects: Philosophy
    RVK:
    CC 2400
    URL: http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=014195292&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
    Book
    HU Berlin get availability status
  • 5
    Book
    Book
    A guide to classical and modern model theory (2003)
    Dordrecht : Kluwer Academic
    Details
    UID:
    gbv_367112957
    Format: XI, 369 S
    ISBN: 1402013302 , 1402013310 , 1402013302
    Series Statement: Trends in logic 19
    Note: Includes bibliographical references (p. 351-361) and index
    Additional Edition: Erscheint auch als Online-Ausgabe Marcja, Annalisa A Guide to Classical and Modern Model Theory Dordrecht : Springer, 2003 ISBN 9789400708129
    Language: English
    Subjects: Philosophy
    RVK:
    CC 2400
    Keywords: Modelltheorie ; Bibliografie
    URL: Cover
    URL: Kapitel 3
    URL: Kapitel 4
    URL: Kapitel 5
    URL: Inhaltstext
    URL: Einführung/Vorwort
    URL: Inhaltstext
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
    Book
    UB Potsdam get availability status
Nothing or not found what you are looking for? Please check your search query or use the Interlibrary Loan Search.
Did you mean 9781402011337?
Did you mean 9781000213317?
Did you mean 9781402000317?
Close ⊗
This website uses cookies and the analysis tool Matomo. Further information can be found on the KOBV privacy pages