Hostname: page-component-745bb68f8f-5r2nc Total loading time: 0 Render date: 2025-01-23T11:20:30.026Z Has data issue: false hasContentIssue false
  • English
  • Français

The inverse of a regressive object

Published online by Cambridge University Press:  12 March 2014

W.F. Gross
W.F. Gross*
Affiliation:
5 Liverpool St., Macquarie, A.C.T. 2614, Australia
Get access Rights & Permissions [Opens in a new window]

Abstract

If C1, …, Ck are members of a certain class of suitable categories (which contains those arising from models with dimension), C = C1 × … × Ck, C′ is a suitable category, F: C → C′ is a partial recursive combinatorial functor satisfying a certain property (which, if C = C1, is that F is nonconstant) and ∈ C, then (1) if F is regressive so is as is each i, and (2) if F is Dedekind then each i is Dedekind.

Type
Research Article
Information
The Journal of Symbolic Logic , Volume 48 , Issue 3 , September 1983 , pp. 804 - 815
Copyright
Copyright © Association for Symbolic Logic 1983

Access options

Get access to the full version of this content by using one of the access options below. (Log in options will check for institutional or personal access. Content may require purchase if you do not have access.)

References

REFERENCE

[1]Crossley, J.N. and Nerode, A., Combinatorial functors, Springer-Verlag, Berlin, 1974.CrossRefGoogle Scholar