A Presentation Of The Initial Lift-Algebra (1997)
by
Mamuka Jiblad Ze
| Venue: | Journal of Pure and Applied Algebra |
BibTeX
@ARTICLE{Ze97apresentation,
author = {Mamuka Jiblad Ze},
title = {A Presentation Of The Initial Lift-Algebra},
journal = {Journal of Pure and Applied Algebra},
year = {1997},
volume = {116}
}
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
The object of study of the present paper may be considered as a model, in an elementary topos with a natural numbers object, of a non-classical variation of the Peano arithmetic. The new feature consists in admitting, in addition to the constant (zero) s0 2 N and the unary operation (the successor map) s1 : N ! N, arbitrary operations su : N u ! N of arities u `between 0 and 1'. That is, u is allowed to range over subsets of a singleton set.
