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.  32
    Trees and Isols II.T. G. McLaughlin - 1976 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 22 (1):45-78.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  4.  14
    Recursive Ultrapowers, Simple Models, and Cofinal Extensions.T. G. McLaughlin - 1992 - Archive for Mathematical Logic 31 (4):287-296.
  5.  7
    Hereditarily Retraceable Isols.T. G. Mclaughlin - 1968 - Journal of Symbolic Logic 33 (1):114-115.
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  6.  6
    Strong Reducibility on Hypersimple Sets.T. G. McLaughlin - 1965 - Notre Dame Journal of Formal Logic 6 (3):229-234.
  7.  5
    Trees and Isols II.T. G. McLaughlin - 1976 - Mathematical Logic Quarterly 22 (1):45-78.
  8.  9
    A Note Concerning the V* Relation on Λr.T. G. McLaughlin - 1975 - Mathematical Logic Quarterly 21 (1):177-179.
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  9. 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  
  10.  7
    Closed Basic Retracing Functions and Hyperimmune Sets.T. G. McLaughlin - 1974 - Mathematical Logic Quarterly 20 (4‐6):49-52.
  11.  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.
  12.  9
    Correction to My Paper “Closed Basic Retracing Functions and Hyperimmune Sets”.T. G. McLaughlin - 1976 - Mathematical Logic Quarterly 22 (1):287-287.
  13.  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.
  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.  3
    Meeting of the Association for Symbolic Logic.T. G. McLaughlin - 1979 - Journal of Symbolic Logic 44 (4):660-664.
  17.  6
    Retraceable Sets and Recursive Permutations.T. G. Mclaughlin - 1968 - Journal of Symbolic Logic 33 (1):114-114.
    Direct download  
     
    Export citation  
     
    Bookmark  
  18.  7
    Some Counterexamples in the Theory of Regressive Sets.T. G. McLaughlin - 1967 - Mathematical Logic Quarterly 13 (6):81-87.
  19.  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 (2 more)  
     
    Export citation  
     
    Bookmark  
  20.  15
    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  
  21.  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.
  22.  22
    Two Remarks on Indecomposable Number Sets.T. G. McLaughlin - 1966 - Mathematical Logic Quarterly 12 (1):187-190.
  23.  7
    Δ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 (3 more)  
     
    Export citation  
     
    Bookmark