Related papers: Examples for Souslin forcing
We solve "half" the problem of finding three-dimensional quasisymmetric magnetic fields that do not necessarily satisfy force balance. This involves determining which hidden symmetries are admissible as quasisymmetries, and then showing…
David Aspero asks on the possibility of having Forcing axiom FA_{aleph_2}(K), where K is the class of forcing notions preserving stationarity of subsets of aleph_1 and of aleph_2. We answer negatively, in fact we show the negative result…
Certain supersymmetric sigma models in 2+1 dimensions feature multi-soliton solutions, with and without scattering. We subject these systems to a non-anticommutative deformation by replacing the Grassmann algebra of the odd superspace…
We construct a variety of inner models exhibiting features usually obtained by forcing over universes with large cardinals. For example, if there is a supercompact cardinal, then there is an inner model with a Laver indestructible…
A range of bosonic models can be expressed as (sometimes generalized) $\sigma$-models, with equations of motion coming from a selfduality constraint. We show that in D=2, this is easily extended to supersymmetric cases, in a superspace…
Homogenization is a powerful way of taming a class of finite structures with several interesting applications in different areas, from Ramsey theory in combinatorics to constraint satisfaction problems (CSPs) in computer science, through…
We examine a class of Froggatt-Nielsen models with an anomalous U(1) as the flavor dependent symmetry. Anomaly cancellation and unbroken supersymmetry impose constraints on the U(1)_X charges of the fermions and the vacuum expectation…
We consider supersymmetric sigma models on the Kahler target spaces, with twisted mass. The Kahler spaces are assumed to have holomorphic Killing vectors. Introduction of a superpotential of a special type is known to be consistent with N=2…
We develop a new method for building forcing iterations with symmetric systems of structures as side conditions. Using our method we prove that the forcing axiom for the class of all the small finitely proper posets is compatible with a…
We prove a separable reduction theorem for sigma-porosity of Suslin sets. In particular, if A is a Suslin subset in a Banach space X, then each separable subspace of X can be enlarged to a separable subspace V such that A is sigma-porous in…
We consider the modality "$\varphi$ is true in every $\sigma$-centered forcing extension", denoted $\square\varphi$, and its dual "$\varphi$ is true in some $\sigma$-centered forcing extension", denoted $\lozenge\varphi$ (where $\varphi$ is…
A spontaneously-broken CP provides an alternative to the KM mechanism for CP violation with the advantage that the strong CP problem is solved. We consider, for such a model with a new gauged U(1), the incorporation of low-energy…
Simon argued that the semi-classical theory of gravity, unless with some of its solutions excluded, is unacceptable for reasons of both self-consistency and experiment, and that it has to be replaced by a constrained semi-classical theory.…
This thesis considers one and two dimensional supersymmetric nonlinear sigma models. First there is a discussion of the geometries of one and two dimensional sigma models, with rigid supersymmetry. For the one-dimensional case, the…
It is well-known that the square principle $\square_\lambda$ entails the existence of a non-reflecting stationary subset of $\lambda^+$, whereas the weak square principle $\square^*_\lambda$ does not. Here we show that if…
We study the influence of strong forcing axioms on the complexity of the non-stationary ideal on $\omega_2$ and its restrictions to certain cofinalities. Our main result shows that the strengthening $MM^{++}$ of Martin's Maximum does not…
We suggest a novel nonlinear $\sigma$-model for the description of disordered superconductors. The main distinction from existing models lies in the fact that the saddle point equation is solved non-perturbatively in the superconducting…
The U(1) Calogero-Sutherland Model with anti-periodic boundary condition is studied. This model is obtained by applying a vertical magnetic field perpendicular to the plane of one dimensional ring of particles. The trigonometric form of the…
Nonlinear sigma models compatible with the aratyn-Ferreira-Zimerman ansatz are discussed, the latter ansatz automatically leading to configurations with definite values of the Hopf index. These models are allowed to involve a weight factor…
Given an arbitrarily weak notion of left-<f>-porosity and an arbitrarily strong notion of right-<g>-porosity, we construct an example of closed subset of the real line which is not sigma-left-<f>-porous and is right-<g>-porous. We also…