21 found
Order:
  1.  39
    Isomorphism Relations on Computable Structures.Ekaterina B. Fokina, Sy-David Friedman, Valentina Harizanov, Julia F. Knight, Charles Mccoy & Antonio Montalbán - 2012 - Journal of Symbolic Logic 77 (1):122-132.
    We study the complexity of the isomorphism relation on classes of computable structures. We use the notion of FF-reducibility introduced in [9] to show completeness of the isomorphism relation on many familiar classes in the context of all ${\mathrm{\Sigma }}_{1}^{1}$ equivalence relations on hyperarithmetical subsets of ω.
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark   8 citations  
  2.  31
    Enumerations in Computable Structure Theory.Sergey Goncharov, Valentina Harizanov, Julia Knight, Charles McCoy, Russell Miller & Reed Solomon - 2005 - Annals of Pure and Applied Logic 136 (3):219-246.
    We exploit properties of certain directed graphs, obtained from the families of sets with special effective enumeration properties, to generalize several results in computable model theory to higher levels of the hyperarithmetical hierarchy. Families of sets with such enumeration features were previously built by Selivanov, Goncharov, and Wehner. For a computable successor ordinal α, we transform a countable directed graph into a structure such that has a isomorphic copy if and only if has a computable isomorphic copy.A computable structure is (...)
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   13 citations  
  3.  10
    Δ20-Categoricity in Boolean Algebras and Linear Orderings.Charles F. D. McCoy - 2003 - Annals of Pure and Applied Logic 119 (1-3):85-120.
    We characterize Δ20-categoricity in Boolean algebras and linear orderings under some extra effectiveness conditions. We begin with a study of the relativized notion in these structures.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   9 citations  
  4.  26
    Computable Categoricity of Trees of Finite Height.Steffen Lempp, Charles McCoy, Russell Miller & Reed Solomon - 2005 - Journal of Symbolic Logic 70 (1):151-215.
    We characterize the structure of computably categorical trees of finite height, and prove that our criterion is both necessary and sufficient. Intuitively, the characterization is easiest to express in terms of isomorphisms of (possibly infinite) trees, but in fact it is equivalent to a Σ03-condition. We show that all trees which are not computably categorical have computable dimension ω. Finally, we prove that for every n≥ 1 in ω, there exists a computable tree of finite height which is δ0n+1-categorical but (...)
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark   7 citations  
  5.  11
    < I> Δ_< Sub> 2< Sup> 0-Categoricity in Boolean Algebras and Linear Orderings.Charles F. D. McCoy - 2003 - Annals of Pure and Applied Logic 119 (1-3):85-120.
  6.  80
    Simple and Immune Relations on Countable Structures.Sergei S. Goncharov, Valentina S. Harizanov, Julia F. Knight & Charles F. D. McCoy - 2003 - Archive for Mathematical Logic 42 (3):279-291.
  7.  5
    Finite Computable Dimension Does Not Relativize.Charles F. D. McCoy - 2002 - Archive for Mathematical Logic 41 (4):309-320.
    In many classes of structures, each computable structure has computable dimension 1 or $\omega$. Nevertheless, Goncharov showed that for each $n < \omega$, there exists a computable structure with computable dimension $n$. In this paper we show that, under one natural definition of relativized computable dimension, no computable structure has finite relativized computable dimension greater than 1.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  8.  37
    American Political Philosophy After 1865.Charles N. R. McCoy - 1946 - Thought: Fordham University Quarterly 21 (2):249-271.
  9. A Response to the Essays On My Thought.Charles S. McCoy - 1997 - Tradition and Discovery 24 (3):44-45.
    This brief essay comments on the several preceding essays analyzing Charles S. McCoy’s thought.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  10.  16
    Democracy and the Rule of Law.Charles N. R. McCoy - 1947 - Modern Schoolman 25 (1):1-10.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  11.  14
    Humanae Vitae.Charles N. R. McCoy - 1970 - New Scholasticism 44 (2):265-272.
  12.  28
    Inevitable Peace.Charles N. R. McCoy - 1949 - Modern Schoolman 26 (4):364-366.
    No categories
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  13.  32
    Keiser's Post-Critical Niebuhr.Charles S. McCoy - 1997 - Tradition and Discovery 24 (1):6-14.
    This review essay on R. Melvin Keiser's Roots of Relational Ethics: Responsibility in Origin and Maturity in H. Richard Niebuhr surveys selected works about Niebuhr, examines the strengths of Keiser's post-critical treatment of Niebuhr and raises questions about Keiser's views and about Niebuhr.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  14.  17
    Marsilius of Padua, The Defender of the Peace.Charles N. R. McCoy - 1954 - Modern Schoolman 31 (2):146-147.
  15.  29
    Power and Morals.Charles N. R. McCoy - 1951 - Modern Schoolman 28 (3):235-235.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  16.  4
    The Dilemma of Liberalism.Charles N. R. McCoy - 1960 - Laval Théologique et Philosophique 16 (1):9.
  17.  17
    The Individual, the State, and World Government.Charles N. R. McCoy - 1951 - Modern Schoolman 28 (2):164-165.
  18.  12
    The King and the Education of the King.Charles N. R. McCoy - 1950 - Modern Schoolman 27 (4):329-331.
    No categories
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  19.  21
    The Myth of the State.Charles N. R. McCoy - 1948 - Modern Schoolman 25 (4):271-278.
    No categories
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  20. The Postcritical and Fiduciary Dimension in Polanyi and Tillich.Charles S. McCoy - 1995 - Tradition and Discovery 22 (1):5-10.
    Paul Tillich and Michael Polanyi had their only face-to-face meeting in Berkeley, in February, 1963. The author reports the circumstances of this conversation, which he arranged and in which he participated, and, on the basis of his participation, offers refelections on the postcritical and fiduciary dimensions in the work of Polanyi and Tillich as a means of identifying similarities and differences in the thought of each.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  21.  6
    The Role of Philosophy in the Catholic Liberal College.Charles N. R. McCoy - 1956 - Proceedings of the American Catholic Philosophical Association 30:50-62.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark