Skip to main content Accessibility help
×
Hostname: page-component-6bb9c88b65-kzqxb Total loading time: 0 Render date: 2025-07-26T23:36:11.137Z Has data issue: false hasContentIssue false

Stability Theory and its Variants

Published online by Cambridge University Press:  26 June 2025

Deirdre Haskell
Affiliation:
College of the Holy Cross, Massachusetts
Anand Pillay
Affiliation:
University of Illinois, Urbana-Champaign
Charles Steinhorn
Affiliation:
Vassar College, New York
Get access

Summary

Dimension theory plays a crucial technical role in stability theory and its relatives. The abstract dependence relations defined, although combinatorial in nature, often have surprising geometric meaning in particular cases. This article discusses several aspects of dimension theory, such as categoricity, strongly minimal sets, modularity and the Zil'ber principle, forking, simple theories, orthogonality and regular types and in the third, stability, definability of types, stable groups and 1-based groups.

One of the achievements of the branch of model theory known as stability theory is the use of numerical invariants, dimensions, in a broad setting. In recent years, this dimension theory has been expanded to include the so-called simple theories. In this paper, I wish to give just a brief overview of the elements of this theory. In the first section, the special case of strongly minimal sets is considered. In the second section, the combinatorial definition of dividing is given and how it leads to a general independence relation is outlined. Only in the third section do stable theories appear and the theory surrounding them is developed there with an eye to other papers in this volume.

1. Strongly Minimal Sets

Categorical Theories. One of the simplest questions one can ask about a first order theory is how many models it has of a given cardinality. If T is a countable theory with an infinite model then, by the Lowenheim-Skolem Theorem, it will have at least one model of every infinite power. The situation we will look at first is when a theory has exactly one model of some fixed power.

Information

Type
Chapter
Information
Publisher: Cambridge University Press
Print publication year: 2000

Access options

Get access to the full version of this content by using one of the access options below. (Log in options will check for institutional or personal access. Content may require purchase if you do not have access.)

Book purchase

Temporarily unavailable

Accessibility standard: Unknown

Accessibility compliance for the PDF of this book is currently unknown and may be updated in the future.

Save book to Kindle

To save this book to your Kindle, first ensure no-reply@cambridge.org is added to your Approved Personal Document E-mail List under your Personal Document Settings on the Manage Your Content and Devices page of your Amazon account. Then enter the ‘name’ part of your Kindle email address below. Find out more about saving to your Kindle.

Note you can select to save to either the @free.kindle.com or @kindle.com variations. ‘@free.kindle.com’ emails are free but can only be saved to your device when it is connected to wi-fi. ‘@kindle.com’ emails can be delivered even when you are not connected to wi-fi, but note that service fees apply.

Find out more about the Kindle Personal Document Service.

Available formats
×

Save book to Dropbox

To save content items to your account, please confirm that you agree to abide by our usage policies. If this is the first time you use this feature, you will be asked to authorise Cambridge Core to connect with your account. Find out more about saving content to Dropbox.

Available formats
×

Save book to Google Drive

To save content items to your account, please confirm that you agree to abide by our usage policies. If this is the first time you use this feature, you will be asked to authorise Cambridge Core to connect with your account. Find out more about saving content to Google Drive.

Available formats
×