scientific article

zbMath0484.03025MaRDI QIDQ3942950

Thomas G. McLaughlin

Publication date: 1982

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

undecidabilitytreesintersectionsmeager setsembedding resultsdegrees of unsolvabilityhyperimmune setsrecursive equivalence typesuniversal Horn sentencesNerode extensionregressive isolsunit intervalsmin functionretraceable setsalgebraic structure of the isolsarithmetic of special subringsextension procedureshyper-torre isolsisolic integersNerode's metatheoremrate of growth of setssums with respect to a regressive isolunions of regressive setsuniversal isols

Mathematics Subject Classification ID

Introductory exposition (textbooks, tutorial papers, etc.) pertaining to mathematical logic and foundations (03-01) Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) Recursive equivalence types of sets and structures, isols (03D50)

Related Items (18)

Embeddings of and into Nerode semirings ⋮ Extending finite subsets of an immune set ⋮ Torre models in the isols ⋮ Isols and maximal intersecting classes ⋮ On Regressive Isols and Comparability of Summands and a Theorem of R. Downey ⋮ Counting finite subsets of an immune set ⋮ Corrigendum to “Regressive isols and comparability” ⋮ On the Minimality of Tame Models in the Isols ⋮ Myhill's work in recursion theory ⋮ On co-simple isols and their intersection types ⋮ A Fine Structure in the Theory of Isols ⋮ Sub-arithmetical ultrapowers: A survey ⋮ Isols and Burnside's lemma ⋮ Combinatorial Isols and the Arithmetic of Dekker Semirings ⋮ Recursive Fibers of RST Isols ⋮ An isolic generalization of Cauchy's theorem for finite groups ⋮ Isols and generalized Boolean algebras ⋮ Isols and the pigeonhole principle

This page was built for publication: