Computable limits and colimits in categories of partial enumerated sets

Mathematical Logic Quarterly 39 (1):181-196 (1993)
  Copy   BIBTEX

Abstract

Computable limits and colimits are “recursive counterparts” of the suitable classical concepts from category theory. We present mainly some interesting problems related to computable products. Moreover, some “computable counterparts” of well-known classical facts from category theory are given. MSC: 03D45, 18A30

Categories

Keywords

Reprint years

DOI

10.1002/malq.19930390121

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 93,867

External links

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

Through your library

My notes

Similar books and articles

Ω-operations over partial enumerated sets.Andrzej Orlicki - 1993 - Mathematical Logic Quarterly 39 (1):551-558.
Stability of representations of effective partial algebras.Jens Blanck, Viggo Stoltenberg-Hansen & John V. Tucker - 2011 - Mathematical Logic Quarterly 57 (2):217-231.
A computable functor from graphs to fields.Russell Miller, Bjorn Poonen, Hans Schoutens & Alexandra Shlapentokh - 2018 - Journal of Symbolic Logic 83 (1):326-348.
Computability and continuity in computable metric partial algebras equipped with computability structures.Fredrik Dahlgren - 2004 - Mathematical Logic Quarterly 50 (4):486.
On the convergence of Fourier series of computable Lebesgue integrable functions.Philippe Moser - 2010 - Mathematical Logic Quarterly 56 (5):461-469.
Computability and continuity in metric partial algebras equipped with computability structures.Fredrik Dahlgren - 2004 - Mathematical Logic Quarterly 50 (4-5):486-500.
Church's thesis without tears.Fred Richman - 1983 - Journal of Symbolic Logic 48 (3):797-803.
Computability & unsolvability.Martin Davis - 1958 - New York: Dover Publications.
Computability of compact operators on computable Banach spaces with bases.Vasco Brattka & Ruth Dillhage - 2007 - Mathematical Logic Quarterly 53 (4‐5):345-364.
Index sets for some classes of structures.Ekaterina B. Fokina - 2009 - Annals of Pure and Applied Logic 157 (2-3):139-147.

Analytics

Added to PP
2013-12-01

Downloads
13 (#1,040,422)

6 months
3 (#1,206,449)

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

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.

Add more references