Priority arguments via true strages
Logic
2013-06-12 v1
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.
Keywords
Cite
@article{arxiv.1306.2623,
title = {Priority arguments via true strages},
author = {Antonio Montalbán},
journal= {arXiv preprint arXiv:1306.2623},
year = {2013}
}