Extensions to isols

From MaRDI portal
Publication:774266

DOI10.2307/1970338zbMath0101.01203OpenAlexW2320814124MaRDI QIDQ774266

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



Related Items

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