The inverse of a regressive object

Publisher： Cambridge University Press

E-ISSN： 1943-5886|48|3|804-815

ISSN： 0022-4812

Source： The Journal of Symbolic Logic, Vol.48, Iss.3, 1983-09, pp. : 804-815

Disclaimer: Any content in publications that violate the sovereignty, the constitution or regulations of the PRC is not accepted or approved by CNPIEC.

Previous Menu Next

Abstract

If C 1, …, Ck are members of a certain class of suitable categories (which contains those arising from models with dimension), C = C 1 × … × Ck , C′ is a suitable category, F: C → C′ is a partial recursive combinatorial functor satisfying a certain property (which, if C = C 1, 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.

Related content

There exist two regressive sets whose intersection is not regressive

By  

The Journal of Symbolic Logic, Vol. 32, Iss. 3, 1967-10 ,pp. : 322-324 (3)

Cambridge University Press

Access to resources Recommend Favorite

Regressive partitions and Borel diagonalization

By  

The Journal of Symbolic Logic, Vol. 54, Iss. 2, 1989-06 ,pp. : 540-552 (13)

Cambridge University Press

Access to resources Recommend Favorite

Ed-regressive sets of order n

By  

The Journal of Symbolic Logic, Vol. 41, Iss. 1, 1976-03 ,pp. : 146-152 (7)

Cambridge University Press

Access to resources Recommend Favorite

Mixed frequency structural vector auto‐regressive models

By  

JOURNAL OF THE ROYAL STATISTICAL SOCIETY: SERIES A (STATISTICS IN SOCIETY), Vol. 179, Iss. 2, 2016-02 ,pp. : 403-425 (23)

John Wiley & Sons Inc

Access to resources Recommend Favorite

A Δ0 2 theory of regressive isols

By  

The Journal of Symbolic Logic, Vol. 39, Iss. 3, 1974-09 ,pp. : 459-468 (10)

Cambridge University Press

Access to resources Recommend Favorite