학술논문
The largest countable inductive set is a mouse set
Document Type
Academic Journal
Author
Source
Journal of Symbolic Logic. June, 1999, Vol. 64 Issue 2, p443, 17 p.
Subject
Language
ISSN
0022-4812
Abstract
The largest countable inductive set of reals (A) is shown to be a mouse set, where the mouse is some canonical model from inner model theory. The characterization of A is used to provide an inner-model-theoretic proof of Martin's theory that for all n, every Sigma (super * sub n) real is a member of A, the largest countable inductive set.