Translator Disclaimer
2016 End Extensions of Models of Weak Arithmetic Theories
Costas Dimitracopoulos, Vasileios S. Paschalis
Notre Dame J. Formal Logic 57(2): 181-193 (2016). DOI: 10.1215/00294527-3452693

Abstract

We give alternative proofs of results due to Paris and Wilkie concerning the existence of end extensions of countable models of BΣ1, that is, the theory of Σ1 collection.

Citation

Download 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

Received: 18 September 2013; Accepted: 6 January 2014; Published: 2016
First available in Project Euclid: 7 January 2016

zbMATH: 06585182
MathSciNet: MR3482741
Digital Object Identifier: 10.1215/00294527-3452693

Subjects:
Primary: 03C62
Secondary: 03F30, 03H15

Rights: Copyright © 2016 University of Notre Dame

JOURNAL ARTICLE
13 PAGES


SHARE
Vol.57 • No. 2 • 2016
Back to Top