Models of arithmetic and categories with finiteness conditions

Dedicated to EJA and DMQ
https://doi.org/10.1016/0168-0072(87)90059-5Get rights and content
Under an Elsevier user license
open archive

Cited by (0)

∗

The first author wishes to thank S. Tennenbaum for numerous stimulating conversations and continuous encouragement.

†

The second author was supported by the NSF Grant DCR-8308412.

Copyright © 1987 Published by Elsevier B.V.