Hostname: page-component-78c5997874-ndw9j Total loading time: 0 Render date: 2024-11-14T05:12:24.378Z Has data issue: false hasContentIssue false

Simplified morasses

Published online by Cambridge University Press:  12 March 2014

Dan Velleman*
Affiliation:
University of Texas, Austin, Texas 78712

Abstract

We define a structure which is much simpler than a morass, but whose existence is equivalent to the existence of a morass.

Type
Research Article
Copyright
Copyright © Association for Symbolic Logic 1984

Access options

Get access to the full version of this content by using one of the access options below. (Log in options will check for institutional or personal access. Content may require purchase if you do not have access.)

References

REFERENCES

[1]Devlin, K., Aspects of constructibility, Lecture Notes in Mathematics, vol. 354, Springer-Verlag, Berlin, 1973.CrossRefGoogle Scholar
[2]Shelah, S. and Stanley, L., S-forcing. I: A “black box” theorem for morasses, with applications: Super-Souslin trees and generalizing Martin's axiom. Israel Journal of Mathematics, vol. 43 (1982), pp. 185224.CrossRefGoogle Scholar
[3]Velleman, D., Morasses, diamond, and forcing. Annals of Mathematical Logic, vol. 23 (1982), pp. 199281.CrossRefGoogle Scholar
[4]Velleman, D., ω-morasses, and a weak form of Martin's axiom provable in ZFC (to appear).Google Scholar