End Extensions of Models of Weak Arithmetic Theories
Work
Year: 2016
Type: article
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.
Authors C. Dimitracopoulos, Vasilis Paschalis
Institution National and Kapodistrian University of Athens
Cites: 13
Cited by: 3
Related to: 10
FWCI: 0.575
Citation percentile (by year/subfield): 42.02
Subfield: Geometry and Topology
Field: Mathematics
Domain: Physical Sciences
Open Access status: green