10 found
Order:
Disambiguations
John E. Chisholm [6]John Chisholm [5]
  1. Effective model theory vs. recursive model theory.John Chisholm - 1990 - Journal of Symbolic Logic 55 (3):1168-1191.
  2.  70
    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.  76
    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.  67
    $\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.  30
    Key Themes in Philosophy.John E. Chisholm - 1988 - Philosophical Studies (Dublin) 32:320-322.
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  6.  43
    Religion, Interpretation, and Diversity of Belief.John E. Chisholm - 1988 - Philosophical Studies (Dublin) 32:311-315.
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  7.  45
    Solomonic Judgements.John E. Chisholm - 1988 - Philosophical Studies (Dublin) 32:305-307.
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  8.  32
    The complexity of intrinsically R.e. Subsets of existentially decidable models.John Chisholm - 1990 - Journal of Symbolic Logic 55 (3):1213-1232.
  9.  34
    Atheism and Alienation. [REVIEW]John E. Chisholm - 1971 - Philosophical Studies (Dublin) 20:352-354.
    The thinker today who wishes to understand the phenomenon of contemporary atheism must take some account of the general development of speculation about God that took place in the modern centuries and particularly since the time of Immanuel Kant. The reason for this is obvious enough, for it is only against the background of its development and in the light of the various influences which caused it that the peculiar character of present-day atheism and its precise significance can be adequately (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  10.  33
    Die handschriftliche Überlieferung der Werke des heiligen Augustinus. [REVIEW]John E. Chisholm - 1977 - Augustinian Studies 8:161-162.