Description |
1 online resource (183 pages). |
Physical Medium |
polychrome |
Description |
text file |
Series |
Lecture notes in logic ; 46
|
|
Lecture notes in logic ; 46.
|
Note |
"Association for Symbolic Logic." |
Bibliography |
Includes bibliographical references and index. |
Contents |
Part 1. Classical results in infinitary model theory -- Part 2. Building uncountable models -- Part 3. Effective considerations. |
Summary |
"Infinitary logic, the logic of languages with infinitely long conjunctions, plays an important role in model theory, recursion theory and descriptive set theory. This book is the first modern introduction to the subject in forty years, and will bring students and researchers in all areas of mathematical logic up to the threshold of modern research. The classical topics of back-and-forth systems, model existence techniques, indiscernibles and end extensions are covered before more modern topics are surveyed. Zilber's categoricity theorem for quasiminimal excellent classes is proved and an application is given to covers of multiplicative groups. Infinitary methods are also used to study uncountable models of counterexamples to Vaught's conjecture, and effective aspects of infinitary model theory are reviewed, including an introduction to Montalbán's recent work on spectra of Vaught counterexamples. Self-contained introductions to effective descriptive set theory and hyperarithmetic theory are provided, as is an appendix on admissible model theory"--Provided by publisher. |
Local Note |
eBooks on EBSCOhost EBSCO eBook Subscription Academic Collection - North America |
Subject |
Infinitary languages.
|
|
Infinitary languages. |
|
Model theory.
|
|
Model theory. |
|
Logic, Symbolic and mathematical.
|
|
Logic, Symbolic and mathematical. |
|
MATHEMATICS -- General. |
Added Author |
Association for Symbolic Logic.
|
Other Form: |
Print version: Marker, D. (David), 1958- Lectures on infinitary model theory. Cambridge, United Kingdom ; New York, NY, USA : Cambridge University Press, [2016] 9781107181939 (DLC) 2016034421 (OCoLC)951835824 |
ISBN |
9781316860366 (electronic book) |
|
1316860361 (electronic book) |
|
9781316861509 (electronic book) |
|
1316861503 (electronic book) |
|
9781316855560 (electronic book) |
|
1316855562 (electronic book) |
|
9781316861127 (MyiLibrary) |
|
1316861120 (MyiLibrary) |
|
1316859223 |
|
9781316859223 |
|
1316859606 |
|
9781316859605 |
|
1316859983 |
|
9781316859988 |
|
9781107181939 (hardback) |
|
1107181933 (hardback) |
|