Article ID | Journal | Published Year | Pages | File Type |
---|---|---|---|---|
4661673 | Annals of Pure and Applied Logic | 2015 | 33 Pages |
Abstract
We examine the reverse mathematics of aspects of basic classical and effective model theory, including: existence of homogeneous and saturated models, different type-amalgamation properties, the preorder of models under elementary embeddability, and existence of indiscernibles. Most theorems are equivalent to RCA0, WKL0, or ACA0. Some, however, exhibit peculiar strengths such as ¬WKL0â¨ACA0 and WKL0â¨IΣ20 over RCA0.
Related Topics
Physical Sciences and Engineering
Mathematics
Logic
Authors
David R. Belanger,