相关论文: Examples for Souslin forcing

In this work we derive the Hamiltonian formalism of the O(N) non-linear sigma model in its original version as a second-class constrained field theory and then as a first-class constrained field theory. We treat the model as a second-class…

We show that the existence of a Suslin tree does not necessarily imply that there are uncountable minimal linear orders other than $\omega_1$ and $-\omega_1$, answering a question of J. Baumgartner. This is done by a Jensen-type iteration,…

The forcing theorem is the most fundamental result about set forcing, stating that the forcing relation for any set forcing is definable and that the truth lemma holds, that is everything that holds in a generic extension is forced by a…

We show that under $\BMM$ and "there exists a Woodin cardinal$"$, the nonstationary ideal on $\omega_1$ can not be defined by a $\Sigma_1$ formula with parameter $A \subset \omega_1$. We show that the same conclusion holds under the…

We introduce and study a multiplicative analogue of additive indecomposability for linear order types that we call untranscendability, as well as a strengthening that we call $s$-untranscendability. We show that, with the unique exception…

For $\lambda$ inaccessible, we may consider $(< \lambda)$-support iteration of some specific $(<\lambda)$-complete $\lambda^+$-c.c. forcing notion. But this fails a "preservation by restricting to a sub-sequence of the forcing, we "correct"…

I introduce a new family of axioms extending ZFC set theory, the $\Sigma_n$-correct forcing axioms. These assert roughly that whenever a forcing name $\dot{a}$ can be forced by a poset in some forcing class $\Gamma$ to have some $\Sigma_n$…

Microscopic models of quantum antiferromagnets are investigated on the basis of a mapping onto effective low energy hamiltonians. Lattice effects are carefully taken into account and their role is discussed. We show that the presence of an…

We propose a nonlinear sigma model for the description of quantum transport in a mesoscopic metallic conductor with magnetic impurities frozen in a spin glass phase. It accounts for the presence of both the corresponding scalar and magnetic…

The target space of a nonlinear sigma model is usually required to be positive definite to avoid ghosts. We introduce a unique class of nonlinear sigma models where the target space metric has a Lorentzian signature, thus the associated…

The driving forces of chiral active particles and deformations of cells are often modeled by spatially inhomogeneous but temporally periodic driving forces. Such inhomogeneous oscillatory driving forces have only recently been proposed in…

The problem of building supersymmetry in the quantum mechanics of two Coulombian centers of force is analyzed. It is shown that there are essentially two ways of proceeding. The spectral problems of the SUSY (scalar) Hamiltonians are quite…

This article continues Roslanowski and Shelah math.LO/9906024 and 1105.6049 We introduce here yet another property of (<lambda)-strategically complete forcing notions which implies that their lambda-support iterations do not collapse…

We review the algebraic approach to super non-Abelian T-Duality considered in [1], focusing on symmetric and semi-symmetric coset spaces on $G/H$. We discuss a potential impediment, appearing in these models when integrating out the gauge…

We consider the contraction of some non linear sigma models which appear in effective supergravity theories. In particular we consider the contractions of maximally symmetric spaces corresponding to N=1 and N=2 theories, as they appear in…

The purpose of this paper is to investigate forcing as a tool to construct universal models. In particular, we look at theories of initial segments of the universe and show that any model of a sufficiently rich fragment of those theories…

Nonlinear sigma models appear in a wide variety of physics contexts, such as the long-range order with spontaneously broken continuous global symmetries. There are also large classes of quantum criticality admit sigma model descriptions in…

By using the general framework of affine Gaudin models, we construct a new class of integrable sigma models. They are defined on a coset of the direct product of $N$ copies of a Lie group over some diagonal subgroup and they depend on…

We derive a non-linear sigma model (NLSM) generally representing antiferromagnetic Heisenberg spin chains with inhomogeneous spin magnitudes and inhomogeneous nearest-neighbor exchange constants arrayed in finite periods. Only a restriction…

We define the $\aleph_{1.5}$ chain condition. The corresponding forcing axiom is a generalization of Martin's Axiom and implies certain uniform failures of club--guessing on $\omega_1$ that don't seem to have been considered in the…