An Introduction to Stability Theory

این درمان مقدماتی مفاهیم اساسی و ماشین آلات تئوری پایداری را پوشش می دهد. لم ها، نتیجه ها، اثبات ها و یادداشت ها به خوانندگان کمک می کنند تا مطالب و کاربردها را بررسی کنند و درک کنند. پر از مثال‌ها، قضایا، قضایا و مسائل، برای دانشجویان کارشناسی ارشد منطق و ریاضیات، ریاضی‌دانان حرفه‌ای و دانشمندان کامپیوتر مناسب است. فصل 1 مفاهیم نوع قابل تعریف، وارث، و هم وراث را معرفی می کند. بحثی در مورد ثبات و نظم به همراه تعاریف فورکینگ که از رویکرد لاسکار و پویزات پیروی می‌کنند، به‌علاوه در نظر گرفتن فورکینگ و قابلیت تعریف انواع در ادامه می‌آید. فصل‌های بعدی به بررسی ابرپایداری، تقسیم و رتبه‌ها، رابطه بین انواع و مجموعه‌های غیرقابل تشخیص، و ویژگی‌های بیشتر نظریه‌های پایدار می‌پردازند. متن با اثبات قضایای مورلی و بالدوین-لاکلان و بسط نظریه بعد که شامل متعامد بودن انواع علاوه بر انواع معمولی است، پایان می‌یابد.

This introductory treatment covers the basic concepts and machinery of stability theory. Lemmas, corollaries, proofs, and notes assist readers in working through and understanding the material and applications. Full of examples, theorems, propositions, and problems, it is suitable for graduate students in logic and mathematics, professional mathematicians, and computer scientists. Chapter 1 introduces the notions of definable type, heir, and coheir. A discussion of stability and order follows, along with definitions of forking that follow the approach of Lascar and Poizat, plus a consideration of forking and the definability of types. Subsequent chapters examine superstability, dividing and ranks, the relation between types and sets of indiscernibles, and further properties of stable theories. The text concludes with proofs of the theorems of Morley and Baldwin-Lachlan and an extension of dimension theory that incorporates orthogonality of types in addition to regular types.