相关论文: Examples for Souslin forcing
We show that the superconformal symmetries of the (1,1) sigma model decompose into a set of more refined symmetries when the target space admits projectors $P_{\pm}$, and the orthogonal complements $Q_{\pm}$, covariantly constant with…
We present three natural combinatorial properties for class forcing notions, which imply the forcing theorem to hold. We then show that all known sufficent conditions for the forcing theorem (except for the forcing theorem itself),…
We study the pseudoduality transformation in supersymmetric sigma models. We generalize the classical construction of pseudoduality transformation to supersymmetric case. We perform this both by component expansion method on manifold M and…
It is shown that the boldface maximality principle for subcomplete forcing, together with the assumption that the universe has only set-many grounds, implies the existence of a (parameter-free) definable well-ordering of…
We first review the result that the noncommutative principal chiral model has an infinite tower of conserved currents, and discuss the special case of the noncommutative CP^1 model in some detail. Next, we focus our attention to a submodel…
We present a method which forces the failure of $\Pi^1_3$ and $\Sigma^1_3$-separation, while $\mathsf{MA} (\mathcal{I}$) holds, for $\mathcal{I}$ the family of indestructible ccc forcings. This shows that, in contrast to the assumption…
We study relationships between various set theoretic compactness principles, focusing on the interplay between the three families of combinatorial objects or principles mentioned in the title. Specifically, we show the following. (1) Strong…
The purpose of this article is to prove that the forcing axiom for completely proper forcings is inconsistent with the Continuum Hypothesis. This answers a longstanding problem of Shelah. The corresponding completely proper forcing which…
We propose another method to compute the Casimir force in noncommutative Randall-Sundrum braneworld model considered by K. Nouicer and Y. Sabri recently. Our method can be used to compute the Casimir force to any order in the noncommutative…
We study a three dimensional conformal field theory in terms of its partition function on arbitrary curved spaces. The large $N$ limit of the nonlinear sigma model at the non-trivial fixed point is shown to be an example of a conformal…
We present lattice results for simulations of the $O(3)$ non-linear sigma model at finite chemical potential. The complex action problem is overcome by a dual variable representation of the model. We discuss two aspects of the theory at…
The Nelson-Seiberg theorem dictates conditions for the spontaneous breaking of the supersymmetry in Wess-Zumino models with generic, possibly non-renormalizable, superpotential; the existence of the R-symmetry is necessary while the…
The two ways of constrained systems quantization are considered from the point of view of their self-consistency at the quantum level. With a transparent example of a particle in the external electromagnetic field we demonstrate that the…
We define and investigate versions of Silver and Mathias forcing with respect to lower and upper density. We focus on properness, Axiom A, chain conditions, preservation of cardinals and adding Cohen reals. We find rough forcings that…
The sigma model on complex projective superspaces CP^{S-1|S} gives rise to a continuous family of interacting 2D conformal field theories which are parametrized by the curvature radius R and the theta angle \theta. Our main goal is to…
We give arguments for and prove the consistency of some internal forcing axioms.
We consider the relationship between normality and semi-proximality. We give a consistent example of a first countable locally compact Dowker space that is not semi-proximal, and two ZFC examples of semi-proximal non-normal spaces. This…
For uncountable downwards closed subtrees $U$ and $W$ of an $\omega_1$-tree $T$, we say that $U$ and $W$ are strongly almost disjoint if their intersection is a finite union of countable chains. The tree $T$ is strongly non-saturated if…
The exact critical Casimir force between periodically deformed boundaries of a 2D semi-infinite strip is obtained for conformally invariant classical systems. Only two parameters (conformal charge and scaling dimension of a boundary…
Let $T^*$ be an almost Suslin tree, that is, an Aronszajn tree with no stationary antichains. Krueger introduced a forcing axiom, $\mathrm{PFA}(T^*)$, for the class of proper forcings that preserve that $T^*$ is almost Suslin. He showed…