Abstract
We give alternative proofs of results due to Paris and Wilkie concerning the existence of end extensions of countable models of , that is, the theory of collection.
Citation
Costas Dimitracopoulos. Vasileios S. Paschalis. "End Extensions of Models of Weak Arithmetic Theories." Notre Dame J. Formal Logic 57 (2) 181 - 193, 2016. https://doi.org/10.1215/00294527-3452693
Information