相关论文: Examples for Souslin forcing
We study the general structure of Smirnov's axioms on form factors of local operators in integrable models. We find various consistency conditions that the form factor functions have to satisfy. For the special case of the $O(3)$…
Justin Moore's weak club-guessing principle $\mho$ admits various possible generalizations to the second uncountable cardinal. One of them was shown to hold in ZFC by Shelah. A stronger one was shown to follow from several consequences of…
Boban Velickovic asked the following question: Is there a nontrivial forcing notion with the Sacks property which is also ccc? A ``definable'' variant of this question has been answered in [Sh:480] (math.LO/9303208): Every nontrivial…
The purpose of this work is to present some basic concepts about the non-linear sigma model in a simple and direct way. We start with showing the bosonic model and the Wess-Zumino-Witten term, making some comments about its topological…
We show that it is consistent from an inaccessible cardinal that classical Namba forcing has the weak $\omega_1$-approximation property. In fact, this is the case if $\aleph_1$-preserving forcings do not add cofinal branches to…
This paper discusses a procedure for the consistent coupling of gauge- and matter superfields to supersymmetric sigma-models on symmetric coset spaces of Kaehler type. We exhibit the finite isometry transformations and the corresponding…
We develop a forcing poset with finite conditions which adds a partial square sequence on a given stationary set, with adequate sets of models as side conditions. We then develop a kind of side condition product forcing for simultaneously…
The conditions under which a general two-dimensional non-linear sigma model is classically integrable are given. These requirements are found by demanding that the equations of motion of the theory are expressible as a zero curvature…
We study principles of the form: if a name $\sigma$ is forced to have a certain property $\varphi$, then there is a ground model filter $g$ such that $\sigma^g$ satisfies $\varphi$. We prove a general correspondence connecting these name…
We present and analyze $F_\sigma$-Mathias forcing, which is similar but tamer than Mathias forcing. In particular, we show that this forcing preserves certain weak subsystems of second-order arithmetic such as $\mathsf{ACA}_0$ and…
Building on recent work of Krueger and the second author, we prove the consistency of the Guessing Model Principle at $\omega_2$ together with the existence of an almost Kurepa Suslin tree. In particular, it is consistent that the Guessing…
We discuss the twofold role of flavor and CP violation as a constraint in model building and as a signal of SUSY. Considering as an example b to s transitions, we analyze present bounds on SUSY parameters, discuss possible deviations from…
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…
Gauged linear sigma models with (0,2) supersymmetry allow a larger choice of couplings than models with (2,2) supersymmetry. We use this freedom to find a fully linear construction of torsional heterotic compactifications, including models…
The quantum field theory describing the massive O(2) nonlinear sigma-model is investigated through two non-perturbative constructions: The form factor bootstrap based on integrability and the lattice formulation as the XY model. The…
Using creature technology, we construct families of Suslin ccc non-sweet forcing notions $\mathbb Q$ such that $ZFC$ is equiconsistent with $ZF+$"every set of reals equals a Borel set modulo the $(\leq \aleph_1)$-closure of the null ideal…
Given a cardinal $\lambda$, category forcing axioms for $\lambda$-suitable classes $\Gamma$ are strong forcing axioms which completely decide the theory of the Chang model $\mathcal C_\lambda$, modulo generic extensions via forcing notions…
In \cite{MV} we defined and proved the consistency of the principle ${\rm GM}^+(\omega_3,\omega_1)$ which implies that many consequences of strong forcing axioms hold simultaneously at $\omega_2$ and $\omega_3$. In this paper we formulate a…
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.
Lower semi-continuity (\texttt{LSC}) is a critical assumption in many foundational optimisation theory results; however, in many cases, \texttt{LSC} is stronger than necessary. This has led to the introduction of numerous weaker continuity…