Higher-order Indecomposable Isols |
From inside the book
5 pages matching highly decomposable isols in this book
Where's the rest of this book?
Results 1-3 of 5
Common terms and phrases
AE metatheorem Applying the refinement c₁ cardinal numbers classical theory construction contain a predecessor CORNE CORNELL LIBRARY CORNELL UNIVE CORNELL UNIVERSITY LIBRARY CORNELL VERSITY Corollary decision problem decomposition of linear define definition Dekker-Myhill denote elementary theory elements enumeration equivalence equivalence classes exist isols existence theorems f is excluded finite complete H-chain finite set go to step H-linked H-versions highly decomposable isols Horn-reduct hypothesis implies indecomposable isol induction isols satisfying lemma LIBRARY UNIVERSITY CORNELL LIBRARY UNIVERSITY LIBRARY limit ordinal natural numbers Nerode P₁ pairwise incomparable partial recursive functions refinement property S₁ satisfies the matrix sequence of ideals special AE formula step 8f successor ordinal Suppose theorem 3.8 theorem III.2.1 theory of addition Turing degree UNIVERSITY LIBRARY UNIVERSITY V₁ V₂ valid W₂ x-incomparable X,od X₁ X₂ Y₁ Z₁ Z₂ Zi,j ερ