The paper discusses various relationships between the concepts mentioned in the title. In Section 1 Todorcevic functions are shown to arise from both morasses and square. In Section 2 the theme is of supplements to morasses which have some of the flavour of square. Distinctions are drawn between differing concepts. In Section 3 forcing axioms related to the ideas in Section 2 are discussed.

We show that a coding principle introduced by J. Moore with respect to all ladder systems is equiconsistent with the existence of a strongly inaccessible cardinal. We also show that a coding principle introduced by S. Todorcevic has consistency strength at least of a strongly inaccessible cardinal.

Some subfamilies of κ, for κ regular, κ λ, called -semimorasses are investigated. For λ = κ+, they constitute weak versions of Velleman's simplified -morasses, and for λ > κ+, they provide a combinatorial framework which in some cases has similar applications to the application of -morasses with this difference that the obtained objects are of size λ κ+, and not only of size κ+ as in the case of morasses. New consistency results involve existence of nonreflecting objects of singular (...) sizes of uncountable cofinality such as a nonreflecting stationary set in κ, a nonreflecting nonmetrizable space of size λ, a nonreflecting nonspecial tree of size λ. We also characterize possible minimal sizes of nonspecial trees without uncountable branches. (shrink)

We propose developing the theory of consequences of morasses relevant in mathematical applications in the language alternative to the usual one, replacing commonly used structures by families of sets originating with Velleman’s neat simplified morasses called 2-cardinals. The theory of related trees, gaps, colorings of pairs and forcing notions is reformulated and sketched from a unifying point of view with the focus on the applicability to constructions of mathematical structures like Boolean algebras, Banach spaces or compact spaces. The paper is (...) dedicated to the memory of Jim Baumgartner whose seminal joint paper :109–129, 1987) with Saharon Shelah provided a critical mass in the theory in question. A new result which we obtain as a side product is the consistency of the existence of a function \ with the appropriate \-version of property \ for regular \ satisfying \. (shrink)

We further develop a previously introduced method of constructing forcing notions with the help of morasses. There are two new results: (1) If there is a simplified (ω 1 , 1)-morass, then there exists a ccc forcing of size ω 1 that adds an ω 2 -Suslin tree. (2) If there is a simplified (ω 1 , 2)-morass, then there exists a ccc forcing of size ω 1 that adds a 0-dimensional Hausdorff topology τ on ω 3 which has spread (...) s(τ) = ω 1 . While (2) is the main result of the paper, (1) is only an improvement of a previous result, which is based on a simple observation. Both forcings preserve GCH. To show that the method can be changed to produce models where CH fails, we give an alternative construction of Koszmider's model in which there is a chain 〈X α | α < ω 2 〉 such that X α ⊆ ω 1 , X β — X α is finite and X α — X β has size ω 1 for all β < α < ω 2. (shrink)

We introduce certain morass type structures and apply them to blowing up powers of singular cardinals. As a bonus, a forcing for adding clubs with finite conditions to higher cardinals is obtained.

In this paper we prove that, in the Cohen extension of a model M of ZFC+CH containing a simplified -morass, η1-orderings without endpoints having cardinality of the continuum, and satisfying specified technical conditions, are order-isomorphic. Furthermore, any order-isomorphism in M between countable subsets of the η1-orderings can be extended to an order-isomorphism between the η1-orderings in the Cohen extension of M. We use the simplified -morass, and commutativity conditions with morass maps on terms in the forcing language, to extend countable (...) partial functions on terms in the forcing language that are forced in all generic extensions to be order-preserving injections. This technique provides for the construction of functions in Cohen extensions adding 2 generic reals for which the only known arguments require transfinite constructions of order type no greater than ω1 in models of ZFC+CH. The specific example presented in this paper is an extension of Tarski’s classic result that in models of ZFC+CH, η1-orderings are order-isomorphic. (shrink)

We prove that in the Cohen extension adding ℵ3 generic reals to a model of containing a simplified (ω1, 2)‐morass, gap‐2 morass‐definable η1‐orderings with cardinality ℵ3 are order‐isomorphic. Hence it is consistent that and that morass‐definable η1‐orderings with cardinality of the continuum are order‐isomorphic. We prove that there are ultrapowers of over ω that are gap‐2 morass‐definable. The constructions use a simplified gap‐2 morass, and commutativity with morass‐maps and morass‐embeddings, to extend a transfinite back‐and‐forth construction of order‐type ω1 to an (...) order‐preserving bijection between objects of cardinality ℵ3. (shrink)

We present a new partial order for directly forcing morasses to exist that enjoys a significant homogeneity property. We then use this forcing in a reverse Easton iteration to obtain an extension universe with morasses at every regular uncountable cardinal, while preserving all n-superstrong , hyperstrong and 1-extendible cardinals. In the latter case, a preliminary forcing to make the GCH hold is required. Our forcing yields morasses that satisfy an extra property related to the homogeneity of the partial order; we (...) refer to them as mangroves and prove that their existence is equivalent to the existence of morasses. Finally, we exhibit a partial order that forces universal morasses to exist at every regular uncountable cardinal, and use this to show that universal morasses are consistent with n-superstrong, hyperstrong, and 1-extendible cardinals. This all contributes to the second author’s outer model programme, the aim of which is to show that L-like principles can hold in outer models which nevertheless contain large cardinals. (shrink)

Vopěnka’s Principle is a natural large cardinal axiom that has recently found applications in category theory and algebraic topology. We show that Vopěnka’s Principle and Vopěnka cardinals are relatively consistent with a broad range of other principles known to be independent of standard (ZFC) set theory, such as the Generalised Continuum Hypothesis, and the existence of a definable well-order on the universe of all sets. We achieve this by showing that they are indestructible under a broad class of forcing constructions, (...) specifically, reverse Easton iterations of increasingly directed closed partial orders. (shrink)