Hostname: page-component-cd9895bd7-8ctnn Total loading time: 0 Render date: 2024-12-25T18:10:20.355Z Has data issue: false hasContentIssue false
  • English
  • Français

A strongly minimal expansion of (ω, s)

Published online by Cambridge University Press:  12 March 2014

David Marker
David Marker*
Affiliation:
Department of Mathematics, University of Illinois at Chicago, Chicago, Illinois 60680
Get access Rights & Permissions [Opens in a new window]

Extract

We will show that there is a nontrivial strongly minimal expansion of (ω, s), the natural numbers with successor. Pillay and Steinhorn [1] proved that there is no -minimal expansion of (ω, ≤). This result provides an interesting contrast.

The strongly minimal expansion of (ω, s) is very easy to describe. Consider the order-two permutation of ω, π recursively defined by

Let T be Th(ω, s, π, 0).

Type
Research Article
Information
The Journal of Symbolic Logic , Volume 52 , Issue 1 , March 1987 , pp. 205 - 207
Copyright
Copyright © Association for Symbolic Logic 1987

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.)

References

REFERENCE

[1] Pillay, A. and Steinhorn, C., Discrete o-minimal structures, preprint.Google Scholar