相关论文: New Sigma^1_3 facts

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…

The classical integrability the O(N) nonlinear sigma model on a half-line is examined, and the existence of an infinity of conserved charges in involution is established for the free boundary condition. For the case N=3 other possible…

We show that one can force over $L$ that $\Sigma^1_3$-separation holds, while $\Pi^1_3$-reduction fails, thus separating these two principles for the first time. The construction can be lifted to canonical inner models $M_n$ with $n$-many…

We conjecture that the $O(N)$-symmetric non-linear sigma model in the semi-infinite $(1+1)$-dimensional space is ``integrable'' with respect to the ``free'' and the ``fixed'' boundary conditions. We then derive, for both cases, the boundary…

We study the $O(N)$ non-linear $\sigma$ model on three-dimensional manifolds of constant curvature by means of the large $N$ expansion at the critical point. We examine saddle point equations imposing anti-periodic boundary condition in…

Sigma model ($\alpha^{\prime}$) corrections to the confining string background are obtained. The main result is that the Poincar\'e invariant ansatz is maintained. Physical conditions for the dissapearance of the naked singularity are…

We investigate iterating the construction of $C^{*}$, the $L$-like inner model constructed using first order logic augmented with the "cofinality $\omega$" quantifier. We first show that $\left(C^{*}\right)^{C^{*}}=C^{*}\ne L$ is…

Extending a result of Foreman and Magidor we prove that in the core model for almost linear iterations the following holds. There is a sequence (S^n_\alpha : n<\omega,\alpha>0) such that each individual S^n_\alpha is a stationary subset of…

We show that that a certain class of semi-proper iterations does not add omega-sequences. As a result, starting from suitable large cardinals one can obtain a model in which the Continuum Hypothesis holds and every function from omega_1 to…

Let 2<n\leq l<m< \omega. Let L_n denote first order logic restricted to the first n variables. We show that the omitting types theorem fails dramatically for the n--variable fragments of first order logic with respect to clique guarded…

In this paper, we prove the following: If $n\ge3$, there is a generic extension of $L$ -- the constructible universe -- in which it is true that the Separation principle holds for both effective (lightface) classes $\varSigma^1_n$ and…

The well known Haldane map from spin chains into the $O(3)$ non linear sigma model is generalized to the case of spin ladders. This map allows us to explain the different qualitative behaviour between even and odd ladders, exactly in the…

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 generically construct a model in which the $\bf{\Sigma^1_3}$-separation property is true, i.e. every pair of disjoint $\bf{\Sigma^1_3}$-sets can be separated by a $\bf{\Delta^1_3}$-definable set. This answers an old question from the…

Our "long term and large scale" aim is to characterize the first order theories T (at least the countable ones) such that: for every ordinal alpha there lambda,M_1,M_2 such that M_1,M_2 are non-isomorphic models of T of cardinality lambda…

Assuming that there is no inner model with a strong cardinal, the following is shown: any subset of \omega_1 can be made \Delta^1_3 (in the codes) by a reasonable set-forcing; there is a reasonable set-generic extension with a \Delta^1_3…

The following problem is addressed: A $3$-manifold $M$ is endowed with a triple $\Omega = \big(\Omega^1,\Omega^2,\Omega^3\big)$ of closed $2$-forms. One wants to construct a coframing $\omega = \big(\omega^1,\omega^2,\omega^3\big)$ of $M$…

A classical theorem of Hechler asserts that the structure $\left(\omega^\omega,\le^*\right)$ is universal in the sense that for any $\sigma$-directed poset P with no maximal element, there is a ccc forcing extension in which…

A subset $A$ of a vector space $X$ is called $\alpha$-lineable whenever $A$ contains, except for the null vector, a subspace of dimension $\alpha$. If $X$ has a topology, then $A$ is $\alpha$-spaceable if such subspace can be chosen to be…

Let 0<n^*< omega and f:X-> n^*+1 be a function where X subseteq omega backslash (n^*+1) is infinite. Consider the following set S_f= {x subset aleph_omega : |x| <= aleph_{n^*} & (for all n in X)cf(x cap alpha_n)= aleph_{f(n)}}. The…