On Some Problems Related to Enumerated Types of Algebras

Mathematical Logic Quarterly 34 (6):553-562 (1988)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1002/malq.19880340607

Other Versions

reprint Orlicki, Andrzej (1988) "On Some Problems Related to Enumerated Types of Algebras". Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 34(6):553-562

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 101,458

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

Strong Reducibilities of Enumerations and Partial Enumerated Algebras.A. Orlicki - 1988 - Mathematical Logic Quarterly 34 (2):143-162.
Correction to “Strong Reducibilities of Enumerations and Partial Enumerated Algebras”.Andrzej Orlicki - 1989 - Mathematical Logic Quarterly 35 (1):95-95.
On some categories of partial enumerated sets.Andrzej Orlicki - 1990 - Mathematical Logic Quarterly 36 (6):541-560.
Computable limits and colimits in categories of partial enumerated sets.Andrzej Orlicki - 1993 - Mathematical Logic Quarterly 39 (1):181-196.
Some remarks on ω‐powers of enumerated sets and their applications to ω‐operations.Andrzej Orlicki - 1990 - Mathematical Logic Quarterly 36 (2):149-161.
Constructivity of Endofunctors on Categories of Partial Enumerated Sets II. Some Important Examples.Andrzej Orlicki - 1991 - Mathematical Logic Quarterly 37 (26-30):439-452.
Polyadic and cylindric algebras of sentences.Mohamed Amer & Tarek Ahmed - 2006 - Mathematical Logic Quarterly 52 (5):444-449.
Omitting types and AF algebras.Kevin Carlson, Enoch Cheung, Ilijas Farah, Alexander Gerhardt-Bourke, Bradd Hart, Leanne Mezuman, Nigel Sequeira & Alexander Sherman - 2014 - Archive for Mathematical Logic 53 (1):157-169.
Comparing The Expressive Power of Some Languages for Boolean Algebras.Lutz Heindorf - 1981 - Mathematical Logic Quarterly 27 (25‐30):419-434.

Analytics

Added to PP
2013-12-01

Downloads
10 (#1,471,436)

6 months
5 (#1,043,573)

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