Work

Priority arguments via true strages

Year: 2013
Type: preprint
Abstract: 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.
Language: English
Open Access status: green
OpenAlex ID: W2062038955
Cites: 12
Cited by: 1
Related to: 20