- 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 Andrzej Orlicki
23 found
Order:
- Multimorphisms over enumerated sets.Andrzej Orlicki - 1993 - Notre Dame Journal of Formal Logic 34 (4):527-538.
- Constructive and Locally Constructive Endofunctors on the Category of Enumerated Sets.Andrzej Orlicki - 1987 - Mathematical Logic Quarterly 33 (4):371-384.
- Constructive and Locally Constructive Endofunctors on the Category of Enumerated Sets.Andrzej Orlicki - 1987 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 33 (4):371-384.
- Covariant Hom‐Functors on the Category of Enumerated Sets.Andrzej Orlicki - 1989 - Mathematical Logic Quarterly 35 (1):79-94.
- Covariant Hom-Functors on the Category of Enumerated Sets.Andrzej Orlicki - 1989 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 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 II. Some Important Examples.Andrzej Orlicki - 1991 - Mathematical Logic Quarterly 37 (26‐30):439-452.
- 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.
- Correction to “Strong Reducibilities of Enumerations and Partial Enumerated Algebras”.Andrzej Orlicki - 1989 - Mathematical Logic Quarterly 35 (1):95-95.
- Correction to “Strong Reducibilities of Enumerations and Partial Enumerated Algebras”.Andrzej Orlicki - 1989 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 35 (1):95-95.
- On Constructively Non‐Morphisms of Enumerated Sets and Constructive Non‐Reducibility of Enumerations.Andrzej Orlicki - 1987 - Mathematical Logic Quarterly 33 (6):485-496.
- 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.
- 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.
- 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.
- Ω-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.
- On some categories of partial enumerated sets.Andrzej Orlicki - 1990 - Mathematical Logic Quarterly 36 (6):541-560.
- On some categories of partial enumerated sets.Andrzej Orlicki - 1990 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 36 (6):541-560.
- On Some Problems Related to Enumerated Types of Algebras.Andrzej Orlicki - 1988 - Mathematical Logic Quarterly 34 (6):553-562.
- On Some Problems Related to Enumerated Types of Algebras.Andrzej Orlicki - 1988 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 34 (6):553-562.
- Some remarks on ω‐powers of enumerated sets and their applications to ω‐operations.Andrzej Orlicki - 1990 - Mathematical Logic Quarterly 36 (2):149-161.
- Some remarks on ω-powers of enumerated sets and their applications to ω-operations.Andrzej Orlicki - 1990 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 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-6d9b7f7c4c-tstkh uwo