13 found
Order:
Disambiguations
John E. Chisholm [9]John Chisholm [5]
  1.  59
    Effective model theory vs. recursive model theory.John Chisholm - 1990 - Journal of Symbolic Logic 55 (3):1168-1191.
  2.  48
    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 (6 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  3.  58
    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   2 citations  
  4.  30
    $\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 (5 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  5.  2
    Key Themes in Philosophy.John E. Chisholm - 1988 - Philosophical Studies (Dublin) 32:320-322.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  6.  2
    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  
  7.  2
    Solomonic Judgements.John E. Chisholm - 1988 - Philosophical Studies (Dublin) 32:305-307.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  8.  7
    The complexity of intrinsically R.e. Subsets of existentially decidable models.John Chisholm - 1990 - Journal of Symbolic Logic 55 (3):1213-1232.
  9.  13
    Atheism and Alienation. [REVIEW]John E. Chisholm - 1971 - Philosophical Studies (Dublin) 20:352-354.
  10.  10
    Die handschriftliche Überlieferung der Werke des heiligen Augustinus. [REVIEW]John E. Chisholm - 1977 - Augustinian Studies 8:161-162.
  11.  3
    Key Themes in Philosophy. [REVIEW]John E. Chisholm - 1988 - Philosophical Studies (Dublin) 32:320-322.
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  12.  15
    Religion, Interpretation, and Diversity of Belief. [REVIEW]John E. Chisholm - 1988 - Philosophical Studies (Dublin) 32:311-315.
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  13.  15
    Solomonic Judgements. [REVIEW]John E. Chisholm - 1988 - Philosophical Studies (Dublin) 32:305-307.
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark