What is it about?
We give alternative proofs of results due to J. B. Paris and A. J. Wilkie concerning the existence of end extensions of countable models of the theory of Sigma_1 collection.
Featured Image
Read the Original
This page is a summary of: End Extensions of Models of Weak Arithmetic Theories, Notre Dame Journal of Formal Logic, January 2016, Duke University Press,
DOI: 10.1215/00294527-3452693.
You can read the full text:
Contributors
The following have contributed to this page