A note on the Σ1 spectrum of a theory

&
Archive for Mathematical Logic 41 (1):33-34 (2002)
  Copy   BIBTEX

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.

Categories

Add categories

Keywords

Reprint years

DOI

10.1007/s001530200001

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 92,197

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Explaining the theory of mind deficit in autism spectrum disorder.Marcus P. Adams - 2013 - Philosophical Studies 163 (1):233-249.
Spectrum inversion without a difference in representation is impossible.Jeff Speaks - 2011 - Philosophical Studies 156 (3):339-361.
Michael Rathjen. The superjump in Martin-Löf type theory_. _Logic Colloquium '98, Proceedings of the annual European summer meeting of the Association for Symbolic Logic, held in Prague, Czech Republic, August 9–15, 1998, edited by Samuel R. Buss, Petr Hájek, and Pavel Pudlák, Lecture notes in logic, no. 13, Association for Symbolic Logic, Urbana, and A K Peters, Natick, Mass., 2000, pp. 363–386. [REVIEW]Michael Möllerfeld - 2002 - Bulletin of Symbolic Logic 8 (4):538-538.
A note on Bar Induction in Constructive Set Theory.Michael Rathjen - 2006 - Mathematical Logic Quarterly 52 (3):253-258.
Betterness, Spectrum Cases and the Challenge to Transitivity in Axiology.Oscar Horta - 2011 - Diacritica 25:125-137.
A New Spectrum of Recursive Models.André Nies - 1999 - Notre Dame Journal of Formal Logic 40 (3):307-314.
Inverted spectrum.William G. Lycan - 1973 - Ratio (Misc.) 15 (July):315-9.
Fifty years of the spectrum problem: survey and new results.Arnaud Durand, Neil D. Jones, Johann A. Makowsky & Malika More - 2012 - Bulletin of Symbolic Logic 18 (4):505-553.
A new spectrum of recursive models using an amalgamation construction.Uri Andrews - 2011 - Journal of Symbolic Logic 76 (3):883 - 896.
Intentionalism and the Inverted Spectrum.Michael Watkins - 2008 - Croatian Journal of Philosophy 8 (3):299-313.
Inverting intentional content.R. Takenaga - 2002 - Philosophical Studies 110 (3):197-229.
Affective spectra, synchronization, and motion: Aspects of the emotional response to music.Jamshed J. Bharucha & Meagan Curtis - 2008 - Behavioral and Brain Sciences 31 (5):579-579.
The cofinality spectrum of the infinite symmetric group.Saharon Shelah & Simon Thomas - 1997 - Journal of Symbolic Logic 62 (3):902-916.
Theories of arithmetics in finite models.Michał Krynicki & Konrad Zdanowski - 2005 - Journal of Symbolic Logic 70 (1):1-28.

Analytics

Added to PP
2013-11-23

Downloads
10 (#1,198,034)

6 months
2 (#1,205,524)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Michael Rathjen
University of Leeds

Citations of this work

Add more citations

References found in this work

No references found.

Add more references