A formalisation of the arithmetic of transfinite ordinals in a multisuccessor equation calculus
This thesis presents a syntactic development of the arithmetic of ordinal numbers less than This is done by means of an Equation calculus v/here.all statements are given in the form of equations. There are rules of inference for deriving; one equation from another. Certain functions, including a cou...
| Main Author: | |
|---|---|
| Published: |
University of Leicester
1968
|
| Subjects: | |
| Online Access: | https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.737097 |