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:

Read

Contributors

The following have contributed to this page