- New
-
Topics
- All Categories
- Metaphysics and Epistemology
- Value Theory
- Science, Logic, and Mathematics
- Science, Logic, and Mathematics
- Logic and Philosophy of Logic
- Philosophy of Biology
- Philosophy of Cognitive Science
- Philosophy of Computing and Information
- Philosophy of Mathematics
- Philosophy of Physical Science
- Philosophy of Social Science
- Philosophy of Probability
- General Philosophy of Science
- Philosophy of Science, Misc
- History of Western Philosophy
- Philosophical Traditions
- Philosophy, Misc
- Other Academic Areas
- Journals
- Submit material
- More
Works by A. Orlicki
16 found
Order:
Disambiguations
Disambiguations:
| Andrzej Orlicki [22] | A. Orlicki [4] |
- Multimorphisms over enumerated sets.Andrzej Orlicki - 1993 - Notre Dame Journal of Formal Logic 34 (4):527-538.
- (1 other version)Binary Relations Over the Category of Enumerated Sets.A. Orlicki - 1988 - Mathematical Logic Quarterly 34 (3):265-276.
- (1 other version)Constructive and Locally Constructive Endofunctors on the Category of Enumerated Sets.Andrzej Orlicki - 1987 - Mathematical Logic Quarterly 33 (4):371-384.
- (1 other version)Covariant Hom‐Functors on the Category of Enumerated Sets.Andrzej Orlicki - 1989 - Mathematical Logic Quarterly 35 (1):79-94.
- Computable limits and colimits in categories of partial enumerated sets.Andrzej Orlicki - 1993 - Mathematical Logic Quarterly 39 (1):181-196.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.
- Constructivity of Endofunctors on Categories of Partial Enumerated Sets I. General Results.Andrzej Orlicki - 1991 - Mathematical Logic Quarterly 37 (19‐22):307-316.
- 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.
- Constructivity of Endofunctors on Categories of Partial Enumerated Sets II. Some Important Examples.Andrzej Orlicki - 1991 - Mathematical Logic Quarterly 37 (26-30):439-452.
- (1 other version)Correction to “Strong Reducibilities of Enumerations and Partial Enumerated Algebras”.Andrzej Orlicki - 1989 - Mathematical Logic Quarterly 35 (1):95-95.
- (1 other version)On Constructively Non‐Morphisms of Enumerated Sets and Constructive Non‐Reducibility of Enumerations.Andrzej Orlicki - 1987 - Mathematical Logic Quarterly 33 (6):485-496.
- (1 other version)On Lifting of Ω‐Operations From the Category of Sets to the Category of Enumerated Sets.Andrzej Orlicki - 1989 - Mathematical Logic Quarterly 35 (5):457-468.
- Ω-operations over partial enumerated sets.Andrzej Orlicki - 1993 - Mathematical Logic Quarterly 39 (1):551-558.In the present paper we concentrate on fundamental problems concerning ω-operations over partial enumerated sets. The notion of “HOM-lifts” seems to be an adequate tool for this kind of investigations. MSC: 03D45, 18A30.
- (1 other version)On some categories of partial enumerated sets.Andrzej Orlicki - 1990 - Mathematical Logic Quarterly 36 (6):541-560.
- (1 other version)On Some Problems Related to Enumerated Types of Algebras.Andrzej Orlicki - 1988 - Mathematical Logic Quarterly 34 (6):553-562.
- (1 other version)Strong Reducibilities of Enumerations and Partial Enumerated Algebras.A. Orlicki - 1988 - Mathematical Logic Quarterly 34 (2):143-162.
- (1 other version)Some remarks on ω‐powers of enumerated sets and their applications to ω‐operations.Andrzej Orlicki - 1990 - Mathematical Logic Quarterly 36 (2):149-161.
PhilPapers logo by Andrea Andrews and Meghan Driscoll.
This site uses cookies and Google Analytics (see our terms & conditions for details regarding the privacy implications). Use of this site is subject to terms & conditions.
All rights reserved by The PhilPapers Foundation
Server: philpapers-web-667477cd97-wmc4m dc2