scientific article; zbMATH DE number 3760150

MaRDI QIDQ3942950zbMATH OpenFDO

Authors Thomas G. McLaughlin

Publication date 1982

zbMATH Keywords

algebraic structure of the isolsarithmetic of special subringsdegrees of unsolvabilityembedding resultsextension procedureshyper-torre isolshyperimmune setsintersectionsisolic integersmeager setsmin functionNerode extensionNerode's metatheoremrate of growth of setsrecursive equivalence typesregressive isolsretraceable setssums with respect to a regressive isoltreesundecidabilityunions of regressive setsunit intervalsuniversal Horn sentencesuniversal 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)

Cited in

(18)

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

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3942950)