相关论文: Examples for Souslin forcing

We show it is consistent that there is a Souslin tree $S$ such that after forcing with $S$, $S$ is Kurepa and for all clubs $C \subset \omega_1$, $S\upharpoonright C$ is rigid. This answers Fuchs's questions in Club degrees of rigidity and…

We discuss several approaches to determine the Casimir force in inertial frames of reference in different dimensions. On an example of a simple model involving mirrors in Rindler spacetime we show that Casimir's and Lifschitz's methods are…

The present paper has three themes. First, we continue the investigations started in Judah, Roslanowski and Shelah \math.LO/9310224 and Roslanowski and Shelah math.LO/9807172, math.LO/9703222, and we investigate the method of norms on…

A Kaufmann model is an $\omega_1$-like, recursively saturated, rather classless model of $\mathrm{PA}$ or $\mathrm{ZF}$. Such models were constructed by Kaufmann under the combinatorial principle $\diamondsuit_{\omega_1}$ and Shelah showed…

We show that $\mathsf{PFA}$ (Proper Forcing Axiom) implies that adding any number of Cohen subsets of $\omega$ will not add an $\omega_2$-Aronszajn tree or a weak $\omega_1$-Kurepa tree, and moreover no $\sigma$-centered forcing can add a…

We develop uniform approximations for the trace formula for non-integrable systems in which SU(2) symmetry is broken by a non-linear term of the Hamiltonian. As specific examples, we investigate H\'enon-Heiles type potentials. Our formalism…

The Casimir force between two perfectly reflecting parallel plates is considered. In a recent paper we presented generalised physical boundary conditions describing perfectly reflecting parallel plates. These boundary conditions are…

Via the AdS/CFT correspondence, fundamental constraints on the entanglement structure of quantum systems translate to constraints on spacetime geometries that must be satisfied in any consistent theory of quantum gravity. In this paper, we…

In this article we consider the two-dimensional incompressible Euler equations and give a sufficient condition on Gaussian measures of jointly independent Fourier coefficients supported on $H^{\sigma}(\mathbb{T}^2)$ ($\sigma>3$) such that…

Casimir pistons are models in which finite Casimir forces can be calculated without any suspect renormalizations. It has been suggested that such forces are always attractive. We present three scenarios in which that is not true. Two of…

We classify the admissible types of constraint (hermitian, holomorphic, with reality conditions on the bosonic sectors, etc.) for generalized supersymmetries in the presence of complex spinors. We further point out which constrained…

The central force problem is considered in a three dimensional space in which the Poisson bracket among the spatial coordinates is the one by the SU(2) Lie algebra. It is shown that among attractive power-law potentials it is only the…

We study supersymmetric SU(5) chiral gauge theories with 2 fields in the 10 representation, $2+N_F$ fields in the $\bar{5}$ representation and $N_F$ fields in the 5 representation, for $N_F=0,1,2$. With a suitable superpotential,…

Dirac's conjecture, that secondary first-class constraints generate transformations that do not change the physical system's state, has various counterexamples. Since no matching gauge conditions can be imposed, the Dirac bracket cannot be…

We investigate SUSY of Wess-Zumino models in non(anti-)commutative Euclidean superspaces. Non(anti-)commutative deformations break 1/2 SUSY, then non(anti-)commutative Wess-Zumino models do not have full SUSY in general. However, we can…

We describe a formalization of forcing using Boolean-valued models in the Lean 3 theorem prover, including the fundamental theorem of forcing and a deep embedding of first-order logic with a Boolean-valued soundness theorem. As an…

It is well-known that sigma-models with symmetric target spaces are classically integrable. At the example of the model with target space the flag manifold U(3)/U(1)^3 -- a non-symmetric space -- we show that the introduction of torsion…

In a $(2+1)$-dimensional Maxwell-Chern-Simons theory coupled with a fermion and a scalar, which has $\mathcal{N}=2$ SUSY in absence of the boundary, the insertion of a spatial boundary breaks the supersymmetry. We show that only a subset of…

Assuming the negation of Chang's conjecture, there is a c.c.c. forcing which adds a strongly non-saturated Aronszajn tree. Using a Mahlo cardinal, we construct a model in which there exists a strongly non-saturated Aronszajn tree and the…

Random instances of Constraint Satisfaction Problems (CSP's) appear to be hard for all known algorithms, when the number of constraints per variable lies in a certain interval. Contributing to the general understanding of the structure of…