Electronic Resource
Springer
Archive for mathematical logic
38 (1999), S. 449-460
ISSN:
1432-0665
Keywords:
Mathematics Subject Classification (1991):03F13
Source:
Springer Online Journal Archives 1860-2000
Topics:
Mathematics
Notes:
Abstract. We will introduce a partial ordering $\preceq_1$ on the class of ordinals which will serve as a foundation for an approach to ordinal notations for formal systems of set theory and second-order arithmetic. In this paper we use $\preceq_1$ to provide a new characterization of the ubiquitous ordinal $\epsilon _{0}$ .
Type of Medium:
Electronic Resource
URL:
http://dx.doi.org/10.1007/s001530050150
Permalink
|
Location |
Call Number |
Expected |
Availability |