An open problem posed by John H. Conway in [2] was whether one could, on his system of numbers and games, '... define operations of addition and multiplication which will restrict on the ordinals to give their usual operations'. Such a definition for addition was later given in [4], and this paper will show that a definition also exists for multiplication. An ordinal exponentiation operation is also considered. 1
This thesis presents a syntactic development of the arithmetic of ordinal numbers less than This is ...
In [3] the existence of the Cantor normal form of ordinals was proven in the Mizar system [6]. In th...
The text is concerned with the definition and investigation of some classes of ordinal valued-functi...
The generalization of the concept of natural integers by means of sum, subtraction, product and quot...
The generalization of the concept of natural integers by means of sum, subtraction, product and quot...
Following the literature from the origin of Set Theory in the late 19th century to more current time...
In this paper is introduced a fourth new technique of "the enlargment real numbers",that in...
In this paper is introduced a fourth new technique of "the enlargment real numbers",that in...
In this paper is introduced a forth new technique different from that of "the enlargment re...
In the first half of this paper we study John H. Conway’s construction of the Surreal Numbers, showi...
In this paper are introduced the ordinal integers ,the ordinal rational numbers ,the ordinal real nu...
Summary. In the first part of the article we introduce the following operations: On X that yields th...
In this paper are introduced the ordinal integers ,the ordinal rational numbers ,the ordinal real nu...
This thesis presents a syntactic development of the arithmetic of ordinal numbers less than This is ...
Ordinal computability theory is based on ordinal numbers, just as standard computability theory is b...
This thesis presents a syntactic development of the arithmetic of ordinal numbers less than This is ...
In [3] the existence of the Cantor normal form of ordinals was proven in the Mizar system [6]. In th...
The text is concerned with the definition and investigation of some classes of ordinal valued-functi...
The generalization of the concept of natural integers by means of sum, subtraction, product and quot...
The generalization of the concept of natural integers by means of sum, subtraction, product and quot...
Following the literature from the origin of Set Theory in the late 19th century to more current time...
In this paper is introduced a fourth new technique of "the enlargment real numbers",that in...
In this paper is introduced a fourth new technique of "the enlargment real numbers",that in...
In this paper is introduced a forth new technique different from that of "the enlargment re...
In the first half of this paper we study John H. Conway’s construction of the Surreal Numbers, showi...
In this paper are introduced the ordinal integers ,the ordinal rational numbers ,the ordinal real nu...
Summary. In the first part of the article we introduce the following operations: On X that yields th...
In this paper are introduced the ordinal integers ,the ordinal rational numbers ,the ordinal real nu...
This thesis presents a syntactic development of the arithmetic of ordinal numbers less than This is ...
Ordinal computability theory is based on ordinal numbers, just as standard computability theory is b...
This thesis presents a syntactic development of the arithmetic of ordinal numbers less than This is ...
In [3] the existence of the Cantor normal form of ordinals was proven in the Mizar system [6]. In th...
The text is concerned with the definition and investigation of some classes of ordinal valued-functi...
DOI
Add to ORKG