Priority arguments via true strages

الأصل · EN

We 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.