Article contents
PRIORITY ARGUMENTS VIA TRUE STAGES
Published online by Cambridge University Press: 12 December 2014
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
- Type
- Articles
- Information
- Copyright
- Copyright © The Association for Symbolic Logic 2014
References
REFERENCES
- 4
- Cited by