Abstract
AbstractWe describe a variation of Ash’s η-system and give a new proof of Ash’s metatheorem. As an application, we prove a generalization of Ash and Knight’s theorem on pairs of structures.
Publisher
Cambridge University Press (CUP)
Cited by
21 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Completeness of the hyperarithmetic isomorphism equivalence relation;Advances in Mathematics;2022-07
2. Index;Computable Structure Theory;2021-07-31
3. Bibliography;Computable Structure Theory;2021-07-31
4. Σ-Small Classes;Computable Structure Theory;2021-07-31
5. The Jump of A Structure;Computable Structure Theory;2021-07-31