Final Coalgebras as Greatest Fixed Points in ZF Set Theory (1999)
Cached
Download Links
- [www.cl.cam.ac.uk]
- [www.cl.cam.ac.uk]
- [www.cl.cam.ac.uk.]
- [www.cl.cam.ac.uk]
- [www.cl.cam.ac.uk]
- [www.cl.cam.ac.uk]
- [www.cl.cam.ac.uk]
- DBLP
Other Repositories/Bibliography
by
Lawrence C. Paulson
,
L. C. Paulson
| Citations: | 2 - 2 self |
BibTeX
@MISC{Paulson99finalcoalgebras,
author = {Lawrence C. Paulson and L. C. Paulson},
title = {Final Coalgebras as Greatest Fixed Points in ZF Set Theory},
year = {1999}
}
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
this paper is not to change the axiom system but to adopt new definitions of ordered pairs, functions, and derived concepts such as Cartesian products. Under the new definitions, the stream functor's final coalgebra is indeed its (exact) greatest fixedpoint and each stream is an infinite nest of pairs. Recursion equations are solved up to equality
