Related papers: Constructing new higher-gap morasses
I propose a notion of $(\omega_1,\beta)$-morass for the case $\omega_1 \leq \beta$.
This is an overview about a method of constructing ccc forcings: Suppose first that a continuous, commutative system of complete embeddings between countable forcings indexed along $\omega_1$ is given. Then its direct limit satisfies ccc by…
This thesis develops the theory of bundle gerbes and examines a number of useful constructions in this theory. These allow us to gain a greater insight into the structure of bundle gerbes and related objects. Furthermore they naturally lead…
We present natural constructions of trees and gaps using a quite general construction scheme. In particular, we solve a natural problem about $(\omega_1, \omega_1)$-gaps. As it is well known $(\omega_1, \omega_1)$-gaps can sometimes be…
We introduce a method of constructing a forcing along a simplified $(\kappa,1)$-morass such that the forcing satisfies the $\kappa$-chain condition. Alternatively, this may be seen as a method to thin out a larger forcing to get a chain…
A new construction of naturally reductive spaces is presented. This construction gives a large amount of new families of naturally reductive spaces. First the infinitesimal models of the new naturally reductive spaces are constructed. A…
In this article, we study new methods for constructing uninorms on bounded lattices. First, we present new methods for constructing uninorms on bounded lattices under the additional constraints and prove that some of these constraints are…
In this paper, we further investigate new construction methods for uninorms on bounded lattices via given uninorms. More specifically, we first construct new uninorms on arbitrary bounded lattices by extending a given uninorm on a…
The purpose of this work is two-fold. First, we introduce an efficient homogenization-based approach to perform topology optimization of coated structures with orthotropic infill material. By making use of the relaxed design space, we can…
We prove that in the Cohen extension adding $\aleph_3$ generic reals to a model of $ZFC+CH$ containing a simplified $(\omega_1,2)$-morass, gap-2 morass-definable $\eta_1$-orderings with cardinality $\aleph_3$ are order-isomorphic. Hence it…
In this short note, we shall prove some observations regarding the connection between indestructible $\omega_1$-guessing models and the $\omega_1$-approximation property of forcing notions.
The aim of this note is to remove an implausible assumption in Moser's theorem \cite{JM} to establish our new theorem 1 which gives a lower estimate for the sum $p+c^2\rho$ on Riemann hypothesis. Corollary 1 gives a rather plausible…
We construct a homogeneous subspace of $2^\omega$ whose complement is dense in $2^\omega$ and rigid. Using the same method, assuming Martin's Axiom, we also construct a countable dense homogeneous subspace of $2^\omega$ whose complement is…
We discuss how to construct open membranes in the recently proposed matrix model of M theory. In order to sustain an open membrane, two boundary terms are needed in the construction. These boundary terms are available in the system of the…
It is sometimes desirable in choiceless constructions of set theory that one iteratively extends some ground model without adding new sets of ordinals after the first extension. Pushing this further, one may wish to have models $V \subseteq…
In a previous paper, we introduced a way of constructing a forcing along a simplified gap-1 morass such that the forcing satisfies a chain condition. Now, we generalize this to gap-2 morasses. As an application, we prove that GCH is…
We introduce a stronger version of an $\omega_1$-guessing model, which we call an indestructibly $\omega_1$-guessing model. The principle IGMP states that there are stationarily many indestructibly $\omega_1$-guessing models. This…
A method of constructing the high-beta (diamagnetic-bubble-like) equilibrium with a population of fast sloshing ions is discussed. Fast ions move along betatron orbits; such ions can arise because of off-axis neutral beam injection.…
Let $\omega$ be a closed, non-degenerate differential form of arbitrary degree. Associated to it there are an $L_{\infty}$-algebra of observables, and an $L_{\infty}$-algebra of sections of the higher Courant algebroid twisted by $\omega$.…
The notion of a higher bundle gerbe is introduced to give a geometric realization of the higher degree integral cohomology of certain manifolds. We consider examples using the infinite dimensional spaces arising in gauge theories.