Related papers: Tiltan and superclub
We prove that tiltan is consistent with the negation of Galvin's property. On the other hand, superclub implies Galvin's property. We also show that tiltan is consistent with a large value of the splitting number at kappa, where kappa is…
We prove that superclub implies $\mathfrak{s}=\aleph_1$. More generally, superclub at a successor of a weakly compact cardinal implies $\mathfrak{s}_\kappa=\kappa^+$. Based on this statement, we separate tiltan from superclub at a successor…
Given a forcing notion $P$ that forces certain values to several classical cardinal characteristics of the reals, we show how we can compose $P$ with a collapse (of a cardinal $\lambda>\kappa$ to $\kappa$) such that the composition still…
We study some asymptotic variants of the club principle. Along the way, we construct some forcings and use them to separate several of these principles
We use forcing over admissible sets to show that, for every ordinal $\alpha$ in a club $C\subset\omega_1$, there are copies of $\alpha$ such that the isomorphism between them is not computable in the join of the complete $\Pi^1_1$ set…
We answer a question of Moore by building a forcing extension satisfying measuring together with CH. The construction works over any model of ZFC and can be described as a forcing iteration with countable structures as side conditions and…
A club consisting of former regulars is added to an inaccessible cardinal, without changing cofinalities outside it. The initial assumption is optimal. A variation of the Radin forcing without a top measurable cardinal is introduced for…
Let $\kappa$ be an uncountable cardinal such that $2^{<\kappa} = \kappa$ or just ${\rm cf}(\kappa) > \omega$, $2^{2^{<\kappa}}= 2^\kappa$, and $([\kappa]^\kappa, \supseteq)$ collapses $2^\kappa$ to $\omega$. We show under these assumptions…
We summarize the known methods of producing a non-supercompact strongly compact cardinal and describe some new variants. Our Main Theorem shows how to apply these methods to many cardinals simultaneously and exactly control which cardinals…
Following a recently proposed confinement generating mechanism, we provide a new string inspired model with a massive dilaton and a new dilaton coupling function [5]. By solving analytically the equations of motion, a new class of confining…
Using a finite support iteration of ccc forcings, we construct a model of $\aleph_1<\mathrm{add}(\mathcal{N})<\mathrm{cov}(\mathcal{N})<\mathfrak{b}<\mathrm{non}(\mathcal{M})<\mathrm{cov}(\mathcal{M})=\mathfrak{c}$.
In these notes we present the method introduced by Neeman of generalized side conditions with two types of models. We then discuss some applications: the Friedman-Mitchell poset for adding a club in \omega_2 with finite conditions,…
We provide a necessary and sufficient condition for a rough control driving a differential equation to be reconstructable, to some order, from observing the resulting controlled evolution. Physical examples and applications in stochastic…
In this work we study the connection between iterated tilted algebras and m-cluster tilted algebras. We show that an iterated tilted algebra induces an m-cluster tilted algebra. This m-cluster tilted algebra can be seen as a trivial…
We construct a 5D, N = 2 Euclidean theory of supergravity coupled to vector multiplets. Upon reducing this theory over a circle we recover the action of 4D, N = 2 Euclidean supergravity coupled to vector multiplets.
Square matrices of the form $\widetilde{\mathbf{A}} =\mathbf{A} + \mathbf{e}D \mathbf{f}^*$ are considered. An explicit expression for the inverse is given, provided $\widetilde{\mathbf{A}}$ and $D$ are invertible with…
Let $T$ be a tile in $\mathbb{Z}^n$, meaning a finite subset of $\mathbb{Z}^n$. It may or may not tile $\mathbb{Z}^n$, in the sense of $\mathbb{Z}^n$ having a partition into copies of $T$. However, we prove that $T$ does tile $\mathbb{Z}^d$…
The forced soliton equation is the starting point for semiclassical computations with solitons away from the small momentum transfer regime. This paper develops necessary analytical and numerical tools for analyzing solutions to the forced…
We use the maximal faces of the $m$-cluster complex of type A to describe the m-cluster tilted algebras of type A as quivers with relations. We then classify connected components of m-cluster tilted algebras of type A up to derived…
We build a supercompact version of the forcing defined in \cite{gitik2019}. For each singular cardinal in the ground model with any fixed cofinality, which is a limit of supercompact cardinals, it is possible to force so that the size of…