Notre Dame Journal of Formal Logic
- Notre Dame J. Formal Logic
- Volume 58, Number 1 (2017), 127-132.
Indiscernible Extraction and Morley Sequences
We present a new proof of the existence of Morley sequences in simple theories. We avoid using the Erdős–Rado theorem and instead use only Ramsey’s theorem and compactness. The proof shows that the basic theory of forking in simple theories can be developed using only principles from “ordinary mathematics,” answering a question of Grossberg, Iovino, and Lessmann, as well as a question of Baldwin.
Notre Dame J. Formal Logic Volume 58, Number 1 (2017), 127-132.
Received: 3 May 2014
Accepted: 9 June 2014
First available in Project Euclid: 2 December 2016
Permanent link to this document
Digital Object Identifier
Primary: 03C45: Classification theory, stability and related concepts [See also 03C48]
Secondary: 03B30: Foundations of classical theories (including reverse mathematics) [See also 03F35] 03E30: Axiomatics of classical set theory and its fragments
Vasey, Sebastien. Indiscernible Extraction and Morley Sequences. Notre Dame J. Formal Logic 58 (2017), no. 1, 127--132. doi:10.1215/00294527-3800865. https://projecteuclid.org/euclid.ndjfl/1480647804.