No CrossRef data available.
Article contents
Regular types in nonmultidimensional ω-stable theories
Published online by Cambridge University Press: 12 March 2014
Abstract
We define a hierarchy on the regular types of an ω-stable nonmultidimensional theory, using generalised notions of algebraic and strongly minimal formulae. As an application we show that any resplendent model of an ω-stable finite-dimensional theory is saturated.
- Type
- Research Article
- Information
- Copyright
- Copyright © Association for Symbolic Logic 1984