13 found
Order:
Disambiguations
John E. Chisholm [9]John Chisholm [5]
  1.  56
    Effective Model Theory Vs. Recursive Model Theory.John Chisholm - 1990 - Journal of Symbolic Logic 55 (3):1168-1191.
  2.  45
    An Undecidable Linear Order That Is $N$-Decidable for All $N$.John Chisholm & Michael Moses - 1998 - Notre Dame Journal of Formal Logic 39 (4):519-526.
    A linear order is -decidable if its universe is and the relations defined by formulas are uniformly computable. This means that there is a computable procedure which, when applied to a formula and a sequence of elements of the linear order, will determine whether or not is true in the structure. A linear order is decidable if the relations defined by all formulas are uniformly computable. These definitions suggest two questions. Are there, for each , -decidable linear orders that are (...)
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  3.  54
    Intrinsic Bounds on Complexity and Definability at Limit Levels.John Chisholm, Ekaterina B. Fokina, Sergey S. Goncharov, Valentina S. Harizanov, Julia F. Knight & Sara Quinn - 2009 - Journal of Symbolic Logic 74 (3):1047-1060.
    We show that for every computable limit ordinal α, there is a computable structure A that is $\Delta _\alpha ^0 $ categorical, but not relatively $\Delta _\alpha ^0 $ categorical (equivalently. it does not have a formally $\Sigma _\alpha ^0 $ Scott family). We also show that for every computable limit ordinal a, there is a computable structure A with an additional relation R that is intrinsically $\Sigma _\alpha ^0 $ on A. but not relatively intrinsically $\Sigma _\alpha ^0 $ (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  4.  24
    $\Pi _{1}^{0}$ Classes and Strong Degree Spectra of Relations.John Chisholm, Jennifer Chubb, Valentina S. Harizanov, Denis R. Hirschfeldt, Carl G. Jockusch, Timothy McNicholl & Sarah Pingrey - 2007 - Journal of Symbolic Logic 72 (3):1003 - 1018.
    We study the weak truth-table and truth-table degrees of the images of subsets of computable structures under isomorphisms between computable structures. In particular, we show that there is a low c.e. set that is not weak truth-table reducible to any initial segment of any scattered computable linear ordering. Countable $\Pi _{1}^{0}$ subsets of 2ω and Kolmogorov complexity play a major role in the proof.
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  5.  7
    The Complexity of Intrinsically R.E. Subsets of Existentially Decidable Models.John Chisholm - 1990 - Journal of Symbolic Logic 55 (3):1213-1232.
  6.  13
    Atheism and Alienation.John E. Chisholm - 1971 - Philosophical Studies (Dublin) 20:352-354.
  7.  9
    Die Handschriftliche Überlieferung der Werke des Heiligen Augustinus.John E. Chisholm - 1977 - Augustinian Studies 8:161-162.
  8.  3
    Key Themes in Philosophy.John E. Chisholm - 1988 - Philosophical Studies (Dublin) 32:320-322.
    No categories
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  9. Key Themes in Philosophy.John E. Chisholm - 1988 - Philosophical Studies (Dublin) 32:320-322.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  10.  12
    Religion, Interpretation, and Diversity of Belief.John E. Chisholm - 1988 - Philosophical Studies (Dublin) 32:311-315.
    No categories
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  11. Religion, Interpretation, and Diversity of Belief.John E. Chisholm - 1988 - Philosophical Studies (Dublin) 32:311-315.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  12.  14
    Solomonic Judgements.John E. Chisholm - 1988 - Philosophical Studies (Dublin) 32:305-307.
    No categories
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  13. Solomonic Judgements.John E. Chisholm - 1988 - Philosophical Studies (Dublin) 32:305-307.
    No categories
    Direct download (2 more)  
    Translate
     
     
    Export citation  
     
    Bookmark