23 found
Order:
  1.  19
    Some Extension and Rearrangement Theorems For Nerode Semirings.T. G. McLaughlin - 1989 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 35 (3):197-209.
  2.  6
    Some Extension and Rearrangement Theorems For Nerode Semirings.T. G. McLaughlin - 1989 - Mathematical Logic Quarterly 35 (3):197-209.
  3. A partial comparison of two conditions on the intersections of regressive sets.T. G. McLaughlin - 1977 - Archive for Mathematical Logic 18 (1):159-167.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  4.  22
    Two Remarks on Indecomposable Number Sets.T. G. McLaughlin - 1966 - Mathematical Logic Quarterly 12 (1):187-190.
    Direct download  
     
    Export citation  
     
    Bookmark  
  5.  22
    Correction to my Paper “Closed Basic Retracing Functions and Hyperimmune Sets”.T. G. McLaughlin - 1976 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 22 (1):287-287.
    Direct download  
     
    Export citation  
     
    Bookmark  
  6.  6
    Strong reducibility on hypersimple sets.T. G. McLaughlin - 1965 - Notre Dame Journal of Formal Logic 6 (3):229-234.
  7.  21
    Closed Basic Retracing Functions and Hyperimmune Sets.T. G. McLaughlin - 1974 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 20 (4-6):49-52.
    Direct download  
     
    Export citation  
     
    Bookmark  
  8.  18
    Some Counterexamples in the Theory of Regressive Sets.T. G. McLaughlin - 1967 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 13 (6):81-87.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  9.  17
    Some elementary degree-theoretic reasons why structures need similarity types.T. G. McLaughlin - 1986 - Journal of Symbolic Logic 51 (3):732-747.
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark  
  10.  9
    A note concerning the V* relation on Λr.T. G. McLaughlin - 1975 - Mathematical Logic Quarterly 21 (1):177-179.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  11.  9
    Δ1 Ultrapowers are totally rigid.T. G. McLaughlin - 2007 - Archive for Mathematical Logic 46 (5-6):379-384.
    Hirschfeld and Wheeler proved in 1975 that ∑1 ultrapowers (= “simple models”) are rigid; i.e., they admit no non-trivial automorphisms. We later noted, essentially mimicking their technique, that the same is true of Δ1 ultrapowers (= “Nerode semirings”), a class of models of Π2 Arithmetic that overlaps, but is mutually non-inclusive with, the class of Σ1 ultrapowers. Hirschfeld and Wheeler left as open the question whether some Σ1 ultrapowers might admit proper isomorphic self-injections. We do not answer that question; but (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  12.  33
    Trees and Isols II.T. G. McLaughlin - 1976 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 22 (1):45-78.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  13.  9
    Correction to my Paper “Closed Basic Retracing Functions and Hyperimmune Sets”.T. G. McLaughlin - 1976 - Mathematical Logic Quarterly 22 (1):287-287.
    Direct download  
     
    Export citation  
     
    Bookmark  
  14.  8
    Eight problems about nerode semirings.T. G. McLaughlin - 1992 - Annals of Pure and Applied Logic 56 (1-3):137-146.
    Several problems that pertain to certain arithmetically well-behaved countable subsemirings of Λ, the semiring of isols, are discussed. This is relevant to the present volume memorializing the late John Myhill, in that Myhill was an early co-developer of the theory of Λ.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  15.  8
    Meeting of the association for symbolic logic Houston, 1978.T. G. McLaughlin - 1979 - Journal of Symbolic Logic 44 (4):660-664.
  16.  7
    Some Counterexamples in the Theory of Regressive Sets.T. G. McLaughlin - 1967 - Mathematical Logic Quarterly 13 (6):81-87.
    Direct download  
     
    Export citation  
     
    Bookmark  
  17.  7
    Closed Basic Retracing Functions and Hyperimmune Sets.T. G. McLaughlin - 1974 - Mathematical Logic Quarterly 20 (4‐6):49-52.
    Direct download  
     
    Export citation  
     
    Bookmark  
  18.  6
    Retraceable Sets and Recursive Permutations.T. G. Mclaughlin - 1968 - Journal of Symbolic Logic 33 (1):114-114.
    Direct download  
     
    Export citation  
     
    Bookmark  
  19.  14
    Recursive ultrapowers, simple models, and cofinal extensions.T. G. McLaughlin - 1992 - Archive for Mathematical Logic 31 (4):287-296.
  20.  3
    Meeting of the Association for Symbolic Logic.T. G. McLaughlin - 1979 - Journal of Symbolic Logic 44 (4):660-664.
  21.  7
    Hereditarily Retraceable Isols.T. G. Mclaughlin - 1968 - Journal of Symbolic Logic 33 (1):114-115.
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  22.  6
    Trees and Isols II.T. G. McLaughlin - 1976 - Mathematical Logic Quarterly 22 (1):45-78.
  23.  1
    Some Remarks on Extensibility, Confluence of Paths, Branching Properties, and Index Sets, for Certain Recursively Enumerable Graphs.T. G. Mclaughlin - 1969 - Journal of Symbolic Logic 34 (3):518-518.