Hyperfine structure theory and gap 1 morasses
Sy-David Friedman, Peter Koepke, and Boris Piwinger
Source: J. Symbolic Logic Volume 71, Issue 2
(2006), 480-490.
Abstract
Using the Friedman-Koepke Hyperfine Structure Theory of [2], we provide a short construction of a gap 1 morass in the constructible universe.
First Page:
Show
Hide
Full-text: Access denied (no subscription
detected)
We're sorry, but we are unable to provide
you with the full text of this article because we are not able to identify
you as a subscriber.
If you have a personal subscription to
this journal, then please login. If you are already logged in, then you
may need to update your profile to register your subscription. Read more about accessing full-text
Links and Identifiers
Permanent link to this document: http://projecteuclid.org/euclid.jsl/1146620154
Digital Object Identifier: doi:10.2178/jsl/1146620154
Mathematical Reviews number (MathSciNet): MR2225889
Zentralblatt MATH identifier: 1098.03058
References
Keith J. Devlin, Constructibility, Springer, 1984.
Mathematical Reviews (MathSciNet): MR750828
Zentralblatt MATH: 0542.03029
Sy-D. Friedman and Peter Koepke, An elementary approach to the fine structure of $L$, Bulletin of Symbolic Logic, vol. 3 (1997), pp. 453--468.
Mathematical Reviews (MathSciNet): MR1619401
Digital Object Identifier: doi:10.2307/421099
Project Euclid: euclid.bsl/1182353536
Zentralblatt MATH: 0896.03042
Sy-D. Friedman and Boris Piwinger, Hyperfine structure theory and gap 2 morasses, to appear.
Tomas Jech, Set Theory, Springer, 2003.
Mathematical Reviews (MathSciNet): MR1940513
Zentralblatt MATH: 1007.03002
Ronald B. Jensen, The fine structure of the constructible hierarchy, Annals of Mathematical Logic, vol. 4 (1972), pp. 229--308.
Mathematical Reviews (MathSciNet): MR309729
Boris Piwinger, Silver machines, Diplom thesis, 1997.
--------, Mind the gap, hyperfine structure theory and morasses, Ph.D. thesis, University of Vienna, 2004.
Thomas Lloyd Richardson, Silver machine approach to the constructible universe, Ph.D. thesis, University of California, Berkeley, 1979.
