A note on the Σ1 spectrum of a theory |
| |
| Authors: | Michael Möllerfeld Michael Rathjen |
| |
| Institution: | Institut für mathematische Logik und Grundlagenforschung, Westf?lische Wilhelms-Universit?t, Einsteinstr. 62, 48149 Münster, Germany. e-mail: mimoe@math.uni-muenster.de, DE
School of Mathematics, University of Leeds, Leeds LS2 9JT, UK. e-mail: rathjen@amsta.leeds.ac.uk, GB
|
| |
| Abstract: | Let T be a suitable system of classical set theory. We will show, that the Σ1 spectrum of T, i.e. the set of ordinals having good Σ1 definition in T is an initial segment of the ordinals.
Received: 11 October 1999 / Published online: 12 December 2001 |
| |
| Keywords: | |
| 本文献已被 SpringerLink 等数据库收录！ |
|
