Related papers: Understanding preservation theorems: omega-omega b…
We use the geometry of the secant variety to an embedded smooth curve to prove some vanishing and regularity theorems for powers of ideal sheaves.
This is an overview of various aspects of the 6-vertex model in statistical mechanics and related models.
We isolate several classes of stationary sets of kappa^omega and investigate implications among them. Under a large cardinal assumption, we prove a structure theorem for stationary sets.
We develop the theory of layered posets, and use the notion of layering to prove a new iteration theorem (Theorem 6): if $\kappa$ is weakly compact then any universal Kunen iteration of $\kappa$-cc posets (each possibly of size $\kappa$) is…
We give a forcing construction of the square principle on omega_1 using forcing with conditions whose domain is finite.
We introduce and study some general principles and hierarchical properties of expansions and restrictions of structures and their theories The general approach is applied to describe these properties for classes of $\omega$-categorical…
A Lagrangian method is used to show that the power-law with a -7/2 exponent in the negative tail of the pdf of the velocity gradient and of velocity increments, predicted by E, Khanin, Mazel and Sinai (1997 Phys. Rev. Lett. 78, 1904) for…
A compactness theorem is proved for a family of K\"{a}hler surfaces with constant scalar curvature and volume bounded from below, diameter bounded from above, Ricci curvature bounded and the signature bounded from below. Furthermore, a…
We explain the Elekes Szabo paper in more details and improve the constant in one dimensional case in \mathbb{R} and \mathbb{C}.
In a recent feature article in this journal, co-authored by Gert van der Heijden, I described the static-dynamic analogy and its role in understanding the localized post-buckling of shell-like structures, looking exclusively at integrable…
We investigate structural and rigidity properties of \emph{Lie skew braces} (LSBs), objects essentially known in the literature as \emph{post--Lie groups}, obtained by endowing a manifold with two compatible group laws that share the same…
Let $\omega$ be a closed, non-degenerate differential form of arbitrary degree. Associated to it there are an $L_{\infty}$-algebra of observables, and an $L_{\infty}$-algebra of sections of the higher Courant algebroid twisted by $\omega$.…
In the lecture notes it is shown that an ordinal $\psi_{\Omega}(\varepsilon_{\mathbb{S}^{+}+1})$ is an upper bound for the proof-theoretic ordinal of a set theory ${\sf KP}\omega+(M\prec_{\Sigma_{1}}V)$. In this note we show that ${\sf…
We use ``iterated square sequences'' to show: There is an L-definable partition n: L-singulars --> omega such that if M is an inner model without 0#: (a) For some n, M satisfies that {alpha | n(alpha)=n} is stationary. (b) For each n there…
We investigate forcing properties of perfect tree forcings defined by Prikry to answer a question of Solovay in the late 1960's regarding first failures of distributivity. Given a strictly increasing sequence of regular cardinals $\langle…
This paper explores the sheaves with the action of a lie algebra and computes their cohomology in a new category. Then in the following sections, We try to generalize a classical result in [GM, Ch. IV] about exterior algebra. We add the…
A serial property is a suitably enumerated sequence $\{F_n\}$ of formulas and is called selector provable in PA if there is a PA-recursive function $s(x)$ such that PA $\vdash \forall x (s(x){:}_{\text{PA}} \ulcorner F_x\urcorner)$ where…
This paper investigates the expressiveness of a fragment of first-order sentences in Gaifman normal form, namely the positive Boolean combinations of basic local sentences. We show that they match exactly the first-order sentences preserved…
We consider $(<\lambda)$-support iterations of a version of $(<\lambda)$-strategically complete $\lambda^+$-c.c. definable forcing notions along partial orders. We show that such iterations can be corrected to yield an analog of a result by…
Under the assumption of small violations of choice with seed $S$ ($\mathsf{SVC}(S)$), the failure of many choice principles reflect to to local properties of $S$, which can be a helpful characterisation for preservation proofs. We…