Extensions to isols

DOI10.2307/1970338MaRDI QIDQ774266zbMATH OpenOpenAlexFDO

Authors Anil Nerode

Publication date 1961

Published in Annals of Mathematics. Second Series (Search for Journal in Brave)

Full work available at URL https://doi.org/10.2307/1970338

zbMATH Keywords

foundationsmathematical logicphilosophy

Cited in

(46)

• Embeddings of and into Nerode semirings
• Ideals in isols containing a set of regressive isols
• Myhill's work in recursion theory
• Eight problems about Nerode semirings (recursive ultrapowers)
• Cancellation laws for polynomial-time \(p\)-isolated sets
• A hierarchy of independent -processions of cosimple isols
• Meager and universal regressive isols
• An isolic generalization of Cauchy's theorem for finite groups
• Extending finite subsets of an immune set
• Models of arithmetic in \(A\)-isols
• Non-linear combinatorial functions of isols
• Regressive upper bounds
• Additive relations among recursive equivalence types
• Universal isols
• The minimum of two regressive isols
• scientific article; zbMATH DE number 3829927 (Why is no real title available?)
• scientific article; zbMATH DE number 3427337 (Why is no real title available?)
• Incompatible extensions of combinatorial functions
• Twilight graphs
• On the Divergence of Extension Procedures in Isol Theory
• Hyper-torre isols
• Recursive Fibers of RST Isols
• Isols and the pigeonhole principle
• On the Minimality of Tame Models in the Isols
• Torre models in the isols
• Combinatorial Isols and the Arithmetic of Dekker Semirings
• The Structure of Dedekind Cardinals
• The recursive equivalence type of a class of sets
• Recursive equivalence types and groups
• Elementary Differences Between the Isols and the Co-Simple Isols
• The Summation of Certain Series of Infinite Regressive Isols
• scientific article; zbMATH DE number 3329911 (Why is no real title available?)
• Higher-Order Indecomposable Isols
• A coding theorem for isols
• scientific article; zbMATH DE number 3339407 (Why is no real title available?)
• ω-homomorphisms and ω-groups
• The positive properties of isolic integers
• A characterization of the orders of regressive ω-groups
• Nonrecursive combinatorial functions
• scientific article; zbMATH DE number 3405919 (Why is no real title available?)
• Nonrecursive Relations Among the Isols
• A note on frame extensions
• The recursive equivalence type of a decomposition of an ω-group: The RET of a decomposition
• Extension Methods in Cardinal Arithmetic
• Isols and Burnside's lemma
• Counting finite subsets of an immune set

This page was built for publication: Extensions to isols

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