AbstractThe 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
AbstractIt is shown that regular relations, which arise in a number of areas of programming theory, ...
In this book, Paulo Guilherme Santos studies diagonalization in formal mathematics from logical aspe...
Includes bibliographical references.In mathematics, we are always told that when there are two metho...
AbstractMorasses were invented by Ronald B. Jensen and were shown by him to exist in the universe of...
AbstractWe give a construction of the square principle □ω1 by means of forcing with finite condition...
If there is a strongly unfoldable cardinal then there is a forcing extension with a simplified $(\om...
If there is a strongly unfoldable cardinal then there is a forcing extension with a simplified $(\om...
We report a forcing poset that forces what we call a morass-type matrix. A condition of the poset is...
Many special classes of simplicial sets, such as the nerves of categories or groupoids, the 2-Segal ...
It has been recently argued that the well-known square of opposition is a gathering that can be redu...
It has been recently argued that the well-known square of opposition is a gathering that can be redu...
Abstract. We give a modification of Mitchell’s technique ([8]-[11]) for adding objects of size ω2 wi...
summary:Many forcing notions obtained using the creature technology are naturally connected with cer...
summary:Many forcing notions obtained using the creature technology are naturally connected with cer...
Our concern is with constructing a traditional square of opposition into which “most” and “many” are...
AbstractIt is shown that regular relations, which arise in a number of areas of programming theory, ...
In this book, Paulo Guilherme Santos studies diagonalization in formal mathematics from logical aspe...
Includes bibliographical references.In mathematics, we are always told that when there are two metho...
AbstractMorasses were invented by Ronald B. Jensen and were shown by him to exist in the universe of...
AbstractWe give a construction of the square principle □ω1 by means of forcing with finite condition...
If there is a strongly unfoldable cardinal then there is a forcing extension with a simplified $(\om...
If there is a strongly unfoldable cardinal then there is a forcing extension with a simplified $(\om...
We report a forcing poset that forces what we call a morass-type matrix. A condition of the poset is...
Many special classes of simplicial sets, such as the nerves of categories or groupoids, the 2-Segal ...
It has been recently argued that the well-known square of opposition is a gathering that can be redu...
It has been recently argued that the well-known square of opposition is a gathering that can be redu...
Abstract. We give a modification of Mitchell’s technique ([8]-[11]) for adding objects of size ω2 wi...
summary:Many forcing notions obtained using the creature technology are naturally connected with cer...
summary:Many forcing notions obtained using the creature technology are naturally connected with cer...
Our concern is with constructing a traditional square of opposition into which “most” and “many” are...
AbstractIt is shown that regular relations, which arise in a number of areas of programming theory, ...
In this book, Paulo Guilherme Santos studies diagonalization in formal mathematics from logical aspe...
Includes bibliographical references.In mathematics, we are always told that when there are two metho...