Topics In Model Theory
Seiten
2024
World Scientific Publishing Co Pte Ltd (Verlag)
978-981-12-4399-8 (ISBN)
World Scientific Publishing Co Pte Ltd (Verlag)
978-981-12-4399-8 (ISBN)
This book has two chapters. The first is a modern or contemporary account of stability theory. A focus is on the local (formula-by-formula) theory, treated a little differently from in the author's book Geometric Stability Theory. There is also a survey of general and geometric stability theory, as well as applications to combinatorics (stable regularity lemma) using pseudofinite methods.The second is an introduction to 'continuous logic' or 'continuous model theory,' drawing on the main texts and papers, but with an independent point of view. This chapter includes some historical background, including some other formalisms for continuous logic and a discussion of hyperimaginaries in classical first order logic.These chapters are based around notes, written by students, from a couple of advanced graduate courses in the University of Notre Dame, in Autumn 2018, and Spring 2021.
| Erscheinungsdatum | 03.05.2024 |
|---|---|
| Verlagsort | Singapore |
| Sprache | englisch |
| Themenwelt | Mathematik / Informatik ► Mathematik ► Logik / Mengenlehre |
| ISBN-10 | 981-12-4399-9 / 9811243999 |
| ISBN-13 | 978-981-12-4399-8 / 9789811243998 |
| Zustand | Neuware |
| Haben Sie eine Frage zum Produkt? |
Mehr entdecken
aus dem Bereich
aus dem Bereich
what we have that machines don't
Buch | Softcover (2024)
Profile Books Ltd (Verlag)
CHF 19,15
An Exploration of Math, Category Theory, and Life
Buch | Softcover (2024)
Cambridge University Press (Verlag)
CHF 26,15
An Introduction to Mathematical Proofs
Buch | Softcover (2023)
Academic Press Inc (Verlag)
CHF 79,95
