On the Foundations of Corecursion
Open Access
- 1 March 1997
- journal article
- Published by Oxford University Press (OUP) in Logic Journal of the IGPL
- Vol. 5 (2) , 231-257
- https://doi.org/10.1093/jigpal/5.2.231
Abstract
We consider foundational questions related to the definition of functions by corecursion. This method is especially suited to functions into the greatest fixed point of some monotone operator, and it is most applicable in the context of non-wellfounded sets. We review the work on the Special Final Coalgebra Theorem of Aczel [1] and the Corecursion Theorem of Barwise and Moss [4]. We offer a condition weaker than Aczel's condition of uniformity on maps, and then we prove a result relating the operators satisfying the new condition to the smooth operators of [4].Keywords
This publication has 0 references indexed in Scilit: