An algebraic framework to a theory of sets based on the surreal numbers
The notion of surreal number was introduced by J.H. Conway in the mid 1970\'s: the surreal numbers constitute a linearly ordered (proper) class No containing the class of all ordinal numbers (On) that, working within the background set theory NBG, can be defined by a recursion on the class...
Main Author: | |
---|---|
Other Authors: | |
Language: | English |
Published: |
Universidade de São Paulo
2018
|
Subjects: | |
Online Access: | http://www.teses.usp.br/teses/disponiveis/45/45131/tde-02032019-143956/ |