Skip to main content Accessibility help
×
Home

Almost strongly minimal theories. II

  • John T. Baldwin (a1)

Extract

The notion of an almost strongly minimal theory was introduced in [1]. Such a theory is a particularly simple sort of 1-categorical theory. In [1] we characterized this simplicity in terms of the Stone space of models of T. Here, we characterize almost strongly minimal theories which are not 0-categorical in terms of D. M. R. Park's notion [4] of a theory with the strong elementary intersection property. In addition we prove a useful sufficient condition for an elementary theory to be an almost strongly minimal theory. Our notation is from [1] but this paper is independent of the results proved there. We do assume familiarity with §1 and §2 of [2].

In [4], Park defines a theory T to have the strong elementary intersection property (s.e.i.p.) if for each model C of T and each pair of elementary submodels of C either is an elementary submodel of C. T has the nontrivial strong elementary intersection property (n.s.e.i.p.) if for each triple C, as above Park proves the following two statements equivalent:

Copyright

References

Hide All
[1]Baldwin, J. T., Almost strongly minimal theories. I, this Journal, vol. 37 (1972), pp. 487493.
[2]Baldwin, J. T. and Lachlan, A. H., On strongly minimal sets, this Journal, vol. 36 (1971), pp. 7996.
[3]Makowsky, J. A., A note on almost strongly minimal theories, Notices of the American Mathematical Society, vol. 19 (1972), p. A333. Abstract 72T–E23.
[4]Park, D. M. R., Set theoretic constructions in model theory, Doctoral Dissertation, Massachusetts Institute of Technology, Cambridge, Mass., 1964.

Almost strongly minimal theories. II

  • John T. Baldwin (a1)

Metrics

Full text views

Total number of HTML views: 0
Total number of PDF views: 0 *
Loading metrics...

Abstract views

Total abstract views: 0 *
Loading metrics...

* Views captured on Cambridge Core between <date>. This data will be updated every 24 hours.

Usage data cannot currently be displayed.