On Natural Number Objects, Finiteness and Kripke-platek Models in Toposes

Loiseau, B.; Mbilamambu, M.

doi:10.1016/0022-4049(89)90076-5

On Natural Number Objects, Finiteness and Kripke-platek Models in Toposes

Loiseau, B.

;

Mbilamambu, M.

(1989) Journal of Pure and Applied Algebra — Vol. 61, n° 3, p. 257-266 (1989)

Files

pdfdocument.pdf

Restricted Access
Adobe PDF
672.18 KB

No access

Details

Authors

Loiseau, B.
Author
Mbilamambu, M.
Author

Affiliations

UCLouvain

Citations

APA
Chicago
FWB

Loiseau, B., & Mbilamambu, M. (1989). On Natural Number Objects, Finiteness and Kripke-platek Models in Toposes. Journal of Pure and Applied Algebra, 61(3), 257-266. https://doi.org/10.1016/0022-4049(89)90076-5 (Original work published 1989)