Second-Order Characterizable Cardinals and Ordinals |
| |
| Authors: | Benjamin R George |
| |
| Institution: | (1) Department of Linguistics, UCLA, 3125 Campbell Hall, Box 951543, Los Angeles, California USA, 90095-1543 |
| |
| 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.
AMS subject classification : 03B15 and 03C85
Presented by Melvin Fitting |
| |
| Keywords: | Second-order Logic Cardinal Characterizability Ordinal Characterizability Fraenkel-Carnap Question |
| 本文献已被 SpringerLink 等数据库收录！ |
|
