Results for 'Kyriakos Kermedis'

87 found
Order:
  1.  7
    Some weak forms of the Baire category theorem.Kyriakos Kermedis - 2003 - Mathematical Logic Quarterly 49 (4):369.
    We show that the statement “separable, countably compact, regular spaces are Baire” is deducible from a strictly weaker form than AC, namely, CAC . We also find some characterizations of the axiom of dependent choices.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  2.  22
    The effect of childhood bilectalism and multilingualism on executive control.Kyriakos Antoniou, Kleanthes K. Grohmann, Maria Kambanaros & Napoleon Katsos - 2016 - Cognition 149 (C):18-30.
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   15 citations  
  3.  22
    Knowledge and determination: the transition from Hegel to Marx.Kyriakos M. Kontopoulos (ed.) - 1980 - Amsterdam: B. R. Grüner.
    PREFACE Strange or inappropriate as it may appear, we propose to start this little book by stating as flatly and unrhetorically as possible a fundamental ...
    Direct download  
     
    Export citation  
     
    Bookmark  
  4. Migration and health.Kyriakos S. Markides - 2001 - In N. J. Smelser & B. Baltes (eds.), International Encyclopedia of the Social and Behavioral Sciences. pp. 9799--9803.
     
    Export citation  
     
    Bookmark   1 citation  
  5.  76
    Kripke on Necessity : A Metaphysical Investigation.Kyriakos Theodoridis - unknown
    I undertake a metaphysical investigation of Saul Kripke's modern classic, Naming and Necessity . The general problem of my study may be expressed as follows: What is the metaphysical justification of the validity and existence of the pertinent classes of truths, the necessary a posteriori and the contingent a priori, according to the Kripke Paradigm? My approach is meant to disclose the logical and ontological principles underlying Kripke's arguments for the necessary a posteriori and the contingent a priori respectively. The (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  6.  18
    The structure of pre-adolescents’ perceptions of their teacher’s interpersonal behaviours and their relation to pre-adolescents’ learning outcomes.Kyriakos Charalampous & Constantinos M. Kokkinos - 2017 - Educational Studies 44 (2):167-189.
    Previous studies have offered indications that the way pre-adolescents structure their perceptions of their teacher’s interaction in terms of Agency and Communion differs from adolescents. The purpose of this study was to delineate previous findings by thoroughly examining the structure of pre-adolescents’ perceptions of their teacher’s interpersonal behaviour, and by investigating the extent to which this structure relates to pre-adolescents’ learning outcomes. A mixed methods research design was implemented including a qualitative instrument adaptation procedure followed by a quantitative large-scale administration. (...)
    No categories
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  7. Reconsidering the Platonic Cleitophon.Kyriakos N. Demetriou - 2000 - Polis 17 (1-2):133-160.
    The riddle of the Cleitophon is a creature of nineteenth-century German scholarship which premised that Plato had developed a profound philosophical system. Thus, having no intrinsic purpose to serve in the context of the development of Plato's philosophy, Cleitophon was disallowed as spurious. Documenting the reception of this minor dialogue provides insights into the pluralism and the perplexities of modern Platonic exegesis. The more recent idea of a genre of literary fiction helps to restore cleitophon to its place in the (...)
     
    Export citation  
     
    Bookmark   2 citations  
  8.  21
    Nursing as concrete philosophy, Part II: Engaging with reality.Kyriakos Theodoridis - 2018 - Nursing Philosophy 19 (2):e12206.
    This is the second paper of an essay in two parts. The first paper (Part I) is a critical discussion of Mark Risjord's conception of nursing knowledge where I argued against the conception of nursing knowledge as a kind of nursing science. The aim of the present paper (Part II) is to explicate and substantiate the thesis of nursing as a kind of concrete philosophy. My strategy is to elaborate upon certain themes from Wittgenstein's Tractatus in order to canvass a (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  9.  24
    Nursing as concrete philosophy, Part I: Risjord on nursing knowledge.Kyriakos Theodoridis - 2018 - Nursing Philosophy 19 (2):e12205.
    This essay addresses the problem of the essentiality of nursing knowledge and what kind of theory, if any, is essential to nursing practice. The overarching aim of the essay was to argue for the thesis that nursing may be described as a kind of philosophical activity, and, consequently, that philosophy is the kind of “theory” that is essential to nursing practice and to the nursing discipline at large. The essay consists of two papers. The present paper, Part I, is a (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  10.  16
    Nursing as concrete philosophy, Part I: Risjord on nursing knowledge.Kyriakos Theodoridis - 2018 - Nursing Philosophy 19 (2):e12205.
    This essay addresses the problem of the essentiality of nursing knowledge and what kind of theory, if any, is essential to nursing practice. The overarching aim of the essay was to argue for the thesis that nursing may be described as a kind of philosophical activity, and, consequently, that philosophy is the kind of “theory” that is essential to nursing practice and to the nursing discipline at large. The essay consists of two papers. The present paper, Part I, is a (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  11. The Politics of European Liberal Democracy in a World of Transition.Kyriakos Demetriau & Savvas Katsikides - 2001 - Dialogue and Universalism 11 (1):101-116.
     
    Export citation  
     
    Bookmark  
  12.  9
    Kripke and the Predicament of Epistemic Invariance.Kyriakos Theodoridis - 2007 - Philosophical Inquiry 29 (1-2):72-83.
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  13.  18
    The Dirac electron theory as the approximation of the nonlinear electrodynamics.Alexander G. Kyriakos - 2004 - Apeiron 11 (3):58.
  14.  18
    The electromagnetic form of the Dirac electron theory.Alexander G. Kyriakos - 2004 - Apeiron 11 (2):330.
  15. Theophilos Kaīrēs.Dēmētrios Nik Kyriakos - 1971
    No categories
     
    Export citation  
     
    Bookmark  
  16.  87
    Tracing the Development of Thought Experiments in the Philosophy of Natural Sciences.Aspasia S. Moue, Kyriakos A. Masavetas & Haido Karayianni - 2006 - Journal for General Philosophy of Science / Zeitschrift für Allgemeine Wissenschaftstheorie 37 (1):61-75.
    An overview is provided of how the concept of the thought experiment has developed and changed for the natural sciences in the course of the 20th century. First, we discuss the existing definitions of the term 'thought experiment' and the origin of the thought experimentation method, identifying it in Greek Presocratics epoch. Second, only in the end of the 19th century showed up the first systematic enquiry on thought experiments by Ernst Mach's work. After the Mach's work, a negative attitude (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   12 citations  
  17.  11
    A'Legend'in Crisis: The Debate over Plato's Politics, 1930-1960.Kyriakos N. Demetriou - 2002 - Polis 19 (1&2):61-91.
    From the early 1930s to the early 1960s many scholars, whether liberal-minded or socialist ideologues, Marxist or scientific positivists, classical scholars or political theorists and historians, have shown a widespread consensus in discrediting and assailing the man and political philosopher Plato. Such an extensive assault led the 'Platonic Legend' to an unprecedented crisis. Philosophically, it was a reaction to the undisguised Platonolatry coming from Oxford and the school of the British Idealists. Ideologically, the appropriation of Plato by Nazi apologists fostered (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  18.  13
    A ‘Legend’ in Crisis: The Debate Over Plato’s Politics, 1930–1960.Kyriakos N. Demetriou - 2002 - Polis 19 (1-2):61-91.
    From the early 1930s to the early 1960s many scholars, whether liberalminded or socialist ideologues, Marxist or scientific positivists, classical scholars or political theorists and historians, have shown a widespread consensus in discrediting and assailing the man and political philosopher Plato. Such an extensive assault led the ‘Platonic Legend’ to an unprecedented crisis. Philosophically, it was a reaction to the undisguised Platonolatry coming from Oxford and the school of the British Idealists. Ideologically, the appropriation of Plato by Nazi apologists fostered (...)
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  19.  4
    A ‘Legend’ in Crisis: The Debate Over Plato’s Politics, 1930–1960.Kyriakos N. Demetriou - 2002 - Polis 19 (1-2):61-91.
    From the early 1930s to the early 1960s many scholars, whether liberalminded or socialist ideologues, Marxist or scientific positivists, classical scholars or political theorists and historians, have shown a widespread consensus in discrediting and assailing the man and political philosopher Plato. Such an extensive assault led the ‘Platonic Legend’ to an unprecedented crisis. Philosophically, it was a reaction to the undisguised Platonolatry coming from Oxford and the school of the British Idealists. Ideologically, the appropriation of Plato by Nazi apologists fostered (...)
    No categories
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  20.  6
    Introduction.Kyriakos N. Demetriou - 2002 - Polis 19 (1-2):3-5.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  21.  3
    Polis Celebrates Its 40th Volume and Its 45th Year of Existence.Kyriakos Demetriou - 2023 - Polis 40 (1):1-3.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  22.  34
    Versions of Normality and Some Weak Forms of the Axiom of Choice.Paul Howard, Kyriakos Keremedis, Herman Rubin & Jean E. Rubin - 1998 - Mathematical Logic Quarterly 44 (3):367-382.
    We investigate the set theoretical strength of some properties of normality, including Urysohn's Lemma, Tietze-Urysohn Extension Theorem, normality of disjoint unions of normal spaces, and normality of Fσ subsets of normal spaces.
    Direct download  
     
    Export citation  
     
    Bookmark   2 citations  
  23.  7
    Powers of.Kyriakos Keremedis & Horst Herrlich - 1999 - Notre Dame Journal of Formal Logic 40 (3):346-351.
    It is shown that in ZF Martin's $ \aleph_{0}^{}$-axiom together with the axiom of countable choice for finite sets imply that arbitrary powers 2X of a 2-point discrete space are Baire; and that the latter property implies the following: the axiom of countable choice for finite sets, power sets of infinite sets are Dedekind-infinite, there are no amorphous sets, and weak forms of the Kinna-Wagner principle.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  24. Praktikē philosophia kai politiko ēthos tou Sōkratē.Kyriakos S. Katsimanēs - 1981 - Athēna: "Nikodēmos,".
     
    Export citation  
     
    Bookmark  
  25.  18
    Proof beyond a context-relevant doubt. A structural analysis of the standard of proof in criminal adjudication.Kyriakos N. Kotsoglou - 2020 - Artificial Intelligence and Law 28 (1):111-133.
    The present article proceeds from the mainstream view that the conceptual framework underpinning adversarial systems of criminal adjudication, i.e. a mixture of common-sense philosophy and probabilistic analysis, is unsustainable. In order to provide fact-finders with an operable structure of justification, we need to turn to epistemology once again. The article proceeds in three parts. First, I examine the structural features of justification and how various theories have attempted to overcome Agrippa’s trilemma. Second, I put Inferential Contextualism to the test and (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  26.  5
    Proof beyond a context-relevant doubt. A structural analysis of the standard of proof in criminal adjudication.Kyriakos N. Kotsoglou - 2020 - Artificial Intelligence and Law 28 (1):111-133.
    The present article proceeds from the mainstream view that the conceptual framework underpinning adversarial systems of criminal adjudication, i.e. a mixture of common-sense philosophy and probabilistic analysis, is unsustainable. In order to provide fact-finders with an operable structure of justification, we need to turn to epistemology once again. The article proceeds in three parts. First, I examine the structural features of justification and how various theories have attempted to overcome Agrippa’s trilemma. Second, I put Inferential Contextualism to the test and (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  27.  11
    Proof beyond a context-relevant doubt. A structural analysis of the standard of proof in criminal adjudication.Kyriakos N. Kotsoglou - 2020 - Artificial Intelligence and Law 28 (1):111-133.
    The present article proceeds from the mainstream view that the conceptual framework underpinning adversarial systems of criminal adjudication, i.e. a mixture of common-sense philosophy and probabilistic analysis, is unsustainable. In order to provide fact-finders with an operable structure of justification, we need to turn to epistemology once again. The article proceeds in three parts. First, I examine the structural features of justification and how various theories have attempted to overcome Agrippa’s trilemma. Second, I put Inferential Contextualism to the test and (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  28.  2
    Proof beyond a context-relevant doubt. A structural analysis of the standard of proof in criminal adjudication.Kyriakos N. Kotsoglou - 2020 - Artificial Intelligence and Law 28 (1):111-133.
    The present article proceeds from the mainstream view that the conceptual framework underpinning adversarial systems of criminal adjudication, i.e. a mixture of common-sense philosophy and probabilistic analysis, is unsustainable. In order to provide fact-finders with an operable structure of justification, we need to turn to epistemology once again. The article proceeds in three parts. First, I examine the structural features of justification and how various theories have attempted to overcome Agrippa’s trilemma. Second, I put Inferential Contextualism to the test and (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  29.  20
    „Shonubi“ revisited.Kyriakos N. Kotsoglou - 2013 - Archiv für Rechts- und Sozialphilosophie 99 (2):241-251.
    Nearly 20 years after the Shonubi case and an extended discussion in the Anglophone world on the admissibility and probative force of statistical evidence, the labour courts of Germany seem not to have learned a simple lesson: aleatory probabilities are not informative for the individual in question. In this paper I argue that innumeracy (that is the lack of ability to understand and apply simple numerical concepts) is underestimated – if not ignored – both within the German jurisprudence and legal (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  30.  25
    Nonconstructive Properties of Well-Ordered T 2 topological Spaces.Kyriakos Keremedis & Eleftherios Tachtsis - 1999 - Notre Dame Journal of Formal Logic 40 (4):548-553.
    We show that none of the following statements is provable in Zermelo-Fraenkel set theory (ZF) answering the corresponding open questions from Brunner in ``The axiom of choice in topology'':(i) For every T2 topological space (X, T) if X is well-ordered, then X has a well-ordered base,(ii) For every T2 topological space (X, T), if X is well-ordered, then there exists a function f : X × W T such that W is a well-ordered set and f ({x} × W) is (...)
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark  
  31.  10
    The existence of free ultrafilters on ω does not imply the extension of filters on ω to ultrafilters.Eric J. Hall, Kyriakos Keremedis & Eleftherios Tachtsis - 2013 - Mathematical Logic Quarterly 59 (4-5):258-267.
    Let X be an infinite set and let and denote the propositions “every filter on X can be extended to an ultrafilter” and “X has a free ultrafilter”, respectively. We denote by the Stone space of the Boolean algebra of all subsets of X. We show: For every well‐ordered cardinal number ℵ, (ℵ) iff (2ℵ). iff “ is a continuous image of ” iff “ has a free open ultrafilter ” iff “every countably infinite subset of has a limit point”. (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  32.  50
    Disasters in topology without the axiom of choice.Kyriakos Keremedis - 2001 - Archive for Mathematical Logic 40 (8):569-580.
    We show that some well known theorems in topology may not be true without the axiom of choice.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   6 citations  
  33.  3
    Independent families and some notions of finiteness.Eric Hall & Kyriakos Keremedis - 2023 - Archive for Mathematical Logic 62 (5):689-701.
    In \(\textbf{ZF}\), the well-known Fichtenholz–Kantorovich–Hausdorff theorem concerning the existence of independent families of _X_ of size \(|{\mathcal {P}} (X)|\) is equivalent to the following portion of the equally well-known Hewitt–Marczewski–Pondiczery theorem concerning the density of product spaces: “The product \({\textbf{2}}^{{\mathcal {P}}(X)}\) has a dense subset of size |_X_|”. However, the latter statement turns out to be strictly weaker than \(\textbf{AC}\) while the full Hewitt–Marczewski–Pondiczery theorem is equivalent to \(\textbf{AC}\). We study the relative strengths in \(\textbf{ZF}\) between the statement “_X_ has (...)
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  34.  18
    The failure of the axiom of choice implies unrest in the theory of Lindelöf metric spaces.Kyriakos Keremedis - 2003 - Mathematical Logic Quarterly 49 (2):179-186.
    In the realm of metric spaces the role of choice principles is investigated.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  35.  24
    Some Weak Forms of the Axiom of Choice Restricted to the Real Line.Kyriakos Keremedis & Eleftherios Tachtsis - 2001 - Mathematical Logic Quarterly 47 (3):413-422.
    It is shown that AC, the axiom of choice for families of non-empty subsets of the real line ℝ, does not imply the statement PW, the powerset of ℝ can be well ordered. It is also shown that the statement “the set of all denumerable subsets of ℝ has size 2math image” is strictly weaker than AC and each of the statements “if every member of an infinite set of cardinality 2math image has power 2math image, then the union has (...)
    Direct download  
     
    Export citation  
     
    Bookmark   3 citations  
  36.  25
    Products of some special compact spaces and restricted forms of AC.Kyriakos Keremedis & Eleftherios Tachtsis - 2010 - Journal of Symbolic Logic 75 (3):996-1006.
    We establish the following results: 1. In ZF (i.e., Zermelo-Fraenkel set theory minus the Axiom of Choice AC), for every set I and for every ordinal number α ≥ ω, the following statements are equivalent: (a) The Tychonoff product of| α| many non-empty finite discrete subsets of I is compact. (b) The union of| α| many non-empty finite subsets of I is well orderable. 2. The statement: For every infinite set I, every closed subset of the Tychonoff product [0, 1] (...)
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  37.  32
    Disjoint Unions of Topological Spaces and Choice.Paul Howard, Kyriakos Keremedis, Herman Rubin & Jean E. Rubin - 1998 - Mathematical Logic Quarterly 44 (4):493-508.
    We find properties of topological spaces which are not shared by disjoint unions in the absence of some form of the Axiom of Choice.
    Direct download  
     
    Export citation  
     
    Bookmark   2 citations  
  38.  13
    On sequentially closed subsets of the real line in.Kyriakos Keremedis - 2015 - Mathematical Logic Quarterly 61 (1-2):24-31.
    We show: iff every countable product of sequential metric spaces (sequentially closed subsets are closed) is a sequential metric space iff every complete metric space is Cantor complete. Every infinite subset X of has a countably infinite subset iff every infinite sequentially closed subset of includes an infinite closed subset. The statement “ is sequential” is equivalent to each one of the following propositions: Every sequentially closed subset A of includes a countable cofinal subset C, for every sequentially closed subset (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  39.  7
    Decisional Dimensions in Expert Witness Testimony – A Structural Analysis.Alex Biedermann & Kyriakos N. Kotsoglou - 2018 - Frontiers in Psychology 9.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  40.  3
    Scientific statesmanship, governance and the history of political philosophy.Kyriakos N. Dēmētriou & Antis Loizides (eds.) - 2015 - New York, NY: Routledge.
    This edited book explores the relationship between political expertise, which is defined as scientific statesmanship or governance, and political leadership throughout the history of ideas. An outstanding group of experts study and analyze the ideas of significant philosophers, such as Plato, Aristotle, Augustine, Machiavelli, Hobbes, Locke, Montesquieu, Kant, Burke, Comte, and Weber, among others. The contributors aim to interpret these thinkers' approaches to scientific statesmanship, deepening our understanding of the idea itself and decoding its theoretical complexities.
    Direct download  
     
    Export citation  
     
    Bookmark  
  41.  9
    On Countable Products of Finite Hausdorff Spaces.Horst Herrlich & Kyriakos Keremedis - 2000 - Mathematical Logic Quarterly 46 (4):537-542.
    We investigate in ZF conditions that are necessary and sufficient for countable products ∏m∈ℕXm of finite Hausdorff spaces Xm resp. Hausdorff spaces Xm with at most n points to be compact resp. Baire. Typica results: Countable products of finite Hausdorff spaces are compact if and only if countable products of non-empty finite sets are non-empty. Countable products of discrete spaces with at most n + 1 points are compact if and only if countable products of non-empty sets with at most (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  42. Ho agōnas gia tēn aretē.Kyriakos S. Katsimanēs - 1975 - [s. n.],: [S.N.].
     
    Export citation  
     
    Bookmark  
  43.  11
    Powers of 2.Kyriakos Keremedis & Horst Herrlich - 1999 - Notre Dame Journal of Formal Logic 40 (3):346-351.
    It is shown that in ZF Martin's -axiom together with the axiom of countable choice for finite sets imply that arbitrary powers 2X of a 2-point discrete space are Baire; and that the latter property implies the following: (a) the axiom of countable choice for finite sets, (b) power sets of infinite sets are Dedekind-infinite, (c) there are no amorphous sets, and (d) weak forms of the Kinna-Wagner principle.
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  44.  8
    Partition reals and the consistency of t > add(R).Kyriakos Keremedis - 1993 - Mathematical Logic Quarterly 39 (1):545-550.
    We show that it is consistent with ZFC that the additivity number add of the ideal of meager sets of the real line is strictly greater than the tower number t of the reals. MSC: 03E35, 54D20.
    Direct download  
     
    Export citation  
     
    Bookmark   2 citations  
  45.  22
    The Compactness of 2^R and the Axiom of Choice.Kyriakos Keremedis - 2000 - Mathematical Logic Quarterly 46 (4):569-571.
    We show that for every we ordered cardinal number m the Tychonoff product 2m is a compact space without the use of any choice but in Cohen's Second Mode 2ℝ is not compact.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  46.  13
    Topological Framework for Non‐Priority.Kyriakos Kontostathis - 1991 - Mathematical Logic Quarterly 37 (31‐32):495-500.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  47.  4
    Topological framework for finite injury.Kyriakos Kontostathis - 1992 - Mathematical Logic Quarterly 38 (1):189-195.
    We formulate an abstract version of the finite injury method in the form of the Baire category theorem. The theorem has the following corollaries: The Friedberg-Muchnik pair of recursively enumerable degrees, the Sacks splitting theorem, the existence of a minimal degree below 0′ and the Shoenfield jump theorem.
    Direct download  
     
    Export citation  
     
    Bookmark   2 citations  
  48.  23
    Topological Framework for Non‐Priority.Kyriakos Kontostathis - 1991 - Mathematical Logic Quarterly 37 (31-32):495-500.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  49.  30
    Topological framework for finite injury.Kyriakos Kontostathis - 1992 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 38 (1):189-195.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   2 citations  
  50.  8
    Countable products and countable direct sums of compact metrizable spaces in the absence of the Axiom of Choice.Kyriakos Keremedis, Eleftherios Tachtsis & Eliza Wajch - 2023 - Annals of Pure and Applied Logic 174 (7):103283.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
1 — 50 / 87