Graduate studies at Western
Studia Logica 84 (3):425 - 449 (2006)
|Abstract||The notions of finite and infinite second-order characterizability of cardinal and ordinal numbers are developed. Several known results for the case of finite characterizability are extended to infinite characterizability, and investigations of the second-order theory of ordinals lead to some observations about the Fraenkel-Carnap question for well-orders and about the relationship between ordinal characterizability and ordinal arithmetic. The broader significance of cardinal characterizability and the relationships between different notions of characterizability are also discussed.|
|Keywords||No keywords specified (fix it)|
|Categories||categorize this paper)|
|Through your library||Configure|
Similar books and articles
Mitch Rudominer (1999). The Largest Countable Inductive Set is a Mouse Set. Journal of Symbolic Logic 64 (2):443-459.
John E. Hutchinson (1976). Order Types of Ordinals in Models of Set Theory. Journal of Symbolic Logic 41 (2):489-502.
Pierluigi Minari, Mitio Takano & Hiroakira Ono (1990). Intermediate Predicate Logics Determined by Ordinals. Journal of Symbolic Logic 55 (3):1099-1124.
Thomas Jech (1989). Positive Σ Operations on Ordinals and Normal Filters on Greatly Mahlo Cardinals. Journal of Symbolic Logic 54 (1):226-233.
Peter Koepke (2005). Turing Computations on Ordinals. Bulletin of Symbolic Logic 11 (3):377-397.
Michael Rathjen (2006). Theories and Ordinals in Proof Theory. Synthese 148 (3):719 - 743.
Itay Neeman & Jindřich Zapletal (2001). Proper Forcing and L(ℝ). Journal of Symbolic Logic 66 (2):801-810.
Menachem Kojman & Saharon Shelah (1992). Nonexistence of Universal Orders in Many Cardinals. Journal of Symbolic Logic 57 (3):875-891.
Jeremy Avigad & Richard Sommer (1999). The Model-Theoretic Ordinal Analysis of Theories of Predicative Strength. Journal of Symbolic Logic 64 (1):327-349.
O. Finkel & J. P. Ressayre (1996). Stretchings. Journal of Symbolic Logic 61 (2):563-585.
Added to index2009-01-28
Total downloads7 ( #142,372 of 739,318 )
Recent downloads (6 months)0
How can I increase my downloads?