Related papers: A model in which the Separation principle holds fo…

In previous papers on this project a general static logical framework for formalizing and mechanizing set theories of different strength was suggested, and the power of some predicatively acceptable theories in that framework was explored.…

We indicate a way of distinguishing between structures, for which, two structures are said to be separable.Being separable implies being non-isomorphic. We show that for any first order theory $T$ in a countable language, if it has an…

We prove a Structure Identity Principle for theories defined on types of $h$-level 3 by defining a general notion of saturation for a large class of structures definable in the Univalent Foundations.

We study the Hilbert series of a family of ideals J_\phi generated by powers of linear forms in k[x_1,...,x_n]. Using the results of Emsalem-Iarrobino, we formulate this as a question about fatpoints in P^{n-1}. In the three variable case…

In this paper we prove an infinitesimal version of the classical Terracini Lemma for 3--secant planes to a variety. Precisely we prove that if $X\subseteq \PP^r$ is an irreducible, non--degenerate, projective complex variety of dimension…

We prove a uniform effective density theorem as well as an effective counting result for a generic system comprising a polynomial with a mild homogeneous condition and several linear forms using Roger's second moment formula for the Siegel…

A set $G \subseteq \omega$ is $n$-generic for a positive integer $n$ if and only if every $\Sigma^0_n$ formula of $G$ is decided by a finite initial segment of $G$ in the sense of Cohen forcing. It is shown here that every $n$-generic set…

Let $X$ be a complex nonsingular variety with globally generated tangent bundle. We prove that the signed Segre-MacPherson (SM) class of a constructible function on $X$ with effective characteristic cycle is effective. This observation has…

For every prime number p, we show the existence of a solvable number field L ramified only at {p and infinity whose p-Hilbert Class field tower is infinite.

We present a concise proof for the supporting hyperplane theorem. We then observe that the proof not only establishes the supporting hyperplane theorem but also extends it to a hyperplane separation theorem for certain non-convex sets. The…

In this paper the lightface $\Pi^{1}_{1}$-Comprehension axiom is shown to be proof-theoretically strong even over $\mbox{RCA}_{0}^{*}$, and we calibrate the proof-theoretic ordinals of weak fragments of the theory $\mbox{ID}_{1}$ of…

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…

We show that the existing generalized separation statements including the conventional extremal principle and its extensions differ {in the ways norms on product spaces are defined}. We prove a general separation statement with arbitrary…

Let $d,m_1,...,m_r$ be ($r+1$) positive integers, and $P_1,...,P_r$ be $r$ general points in the projective plane ; let $m$ be a positive integer. We prove that there exists a bound $d_0(m)$ such that : If $m_i < m$ ($0<i<r+1$), and $d >…

We test the 3d-3d correspondence for theories that are labelled by Lens spaces. We find a full agreement between the index of the 3d ${\cal N}=2$ "Lens space theory" $T[L(p,1)]$ and the partition function of complex Chern-Simons theory on…

In this paper, we prove the moving lemma, addition and subtraction principles, in a more general setup than the available ones. We apply these results to explore a question of Nori on homotopy of sections of projective modules. As another…

We formulate a division problem for a class of overdetermined systems introduced by L. H{\"o}rmander, and establish an effective divisibility criterion. In addition, we prove a coherence theorem which extends Nadel's coherence theorem from…

In this paper we investigate using the methodology of algebraic logic, deep algebraic results to prove three new omitting types theorems for finite variable fragments of first order logic. As a sample, we show that it T is an L_n theory and…

We generalize P. M. Neumann's Lemma to the setting of isometric actions on metric spaces and use it to prove several results in continuous logic related to algebraic independence. In particular, we show that algebraic independence satisfies…

We show that for every Tychonoff space $X$ and Hausdorff operation $\mathbf\Phi$, the class $\mathbf\Phi(\mathscr Z,X)$ generated from zero sets in $X$ by $\mathbf\Phi$ has the reduction or separation property if the corresponding class…