Some remarks on ω-powers of enumerated sets and their applications to ω-operations

Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 36 (2):149-161 (1990)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 92,497

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Similar books and articles

Ω-operations over partial enumerated sets.Andrzej Orlicki - 1993 - Mathematical Logic Quarterly 39 (1):551-558.
On Lifting of Ω-Operations From the Category of Sets to the Category of Enumerated Sets.Andrzej Orlicki - 1989 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 35 (5):457-468.
On some categories of partial enumerated sets.Andrzej Orlicki - 1990 - Mathematical Logic Quarterly 36 (6):541-560.
Covariant Hom‐Functors on the Category of Enumerated Sets.Andrzej Orlicki - 1989 - Mathematical Logic Quarterly 35 (1):79-94.
Multimorphisms over enumerated sets.Andrzej Orlicki - 1993 - Notre Dame Journal of Formal Logic 34 (4):527-538.
On some categories of partial enumerated sets.Andrzej Orlicki - 1990 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 36 (6):541-560.
Covariant Hom-Functors on the Category of Enumerated Sets.Andrzej Orlicki - 1989 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 35 (1):79-94.
On Constructively Non-Morphisms of Enumerated Sets and Constructive Non-Reducibility of Enumerations.Andrzej Orlicki - 1987 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 33 (6):485-496.
Constructivity of Endofunctors on Categories of Partial Enumerated Sets I. General Results.Andrzej Orlicki - 1991 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 37 (19-22):307-316.

Analytics

Added to PP
2016-02-04

Downloads
19 (#805,446)

6 months
2 (#1,206,551)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

Theory of Recursive Functions and Effective Computability.Hartley Rogers - 1971 - Journal of Symbolic Logic 36 (1):141-146.

Add more references