Models of arithmetic and categories with finiteness conditions
Dedicated to EJA and DMQ
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.