Related papers: The Barwise-Schlipf Theorem

Let $X$ be a complex submanifold of dimension $d$ of $\mathbb P^m\times\mathbb P^n$ ($m\geq n\geq 2$) and denote by $\alpha\colon\Pic(\mathbb P^m\times\mathbb P^n)\to \Pic(X)$ the restriction map of Picard groups, by $N_{X|\mathbb…

In the influential paper \cite{Caflish-1980-CPAM} which was the starting point of the employment of Hilbert expansion method to the rigorous justifications of the fluid limits of the Boltzmann equation, Caflisch discovered an elegant and…

A 1972 theorem by Brezis and Pazy establishes the uniform convergence of nonlinear semigroups generated by $\omega$-accretive operators on a Banach space. Our goal is to expand the setting of this theorem to include nonlinear semigroups…

Let $Y_{1}, \ldots, Y_{q}$ be closed subschemes which are located in $\ell$-subgeneral position with index $\kappa$ in a complex projective variety $X$ of dimension $n.$ Let $A$ be an ample Cartier divisor on $X.$ We obtain that if a…

The algebraic approach to the Constraint Satisfaction Problem (CSP) uses high order symmetries of relational structures -- polymorphisms -- to study the complexity of the CSP. In this paper we further develop one of the methods the…

The theory of forbidden 0-1 matrices generalizes Turan-style (bipartite) subgraph avoidance, Davenport-Schinzel theory, and Zarankiewicz-type problems, and has been influential in many areas, such as discrete and computational geometry, the…

Empirical analysis is often the first step towards the birth of a conjecture. This is the case of the Birch-Swinnerton-Dyer (BSD) Conjecture describing the rational points on an elliptic curve, one of the most celebrated unsolved problems…

We examine the noncommutative minimal model program for orders on arithmetic surfaces, or equivalently, arithmetic surfaces enriched by a Brauer class $\beta$. When $\beta$ has prime index $p>5$, we show the classical theory extends with…

A central question in geometric measure theory is whether geometric properties of a set translate into analytical ones. In 1960, E. R. Reifenberg proved that if an $n$-dimensional subset $M$ of $\mathbb{R}^{n+k}$ is well approximated by…

There has been a recent interest in hierarchical generalisations of classic incompleteness results. This paper provides evidence that such generalisations are readibly obtainable from suitably hierarchical versions of the principles used in…

Let S $\subseteq$ N be a numerical semigroup with multiplicity m = min(S \ {0}) and conductor c = max(N \ S) + 1. Let P be the set of primitive elements of S, and let L be the set of elements of S which are smaller than c. A longstand-ing…

We give several new equivalences of $NIP$ for formulas and new proofs of known results using [T87] and [HOR91]. We emphasize that Keisler measures are more complicated than types (even in $NIP$ context), in an analytic sense. Among other…

The "openness" of a complex polynomial mapping is discussed and applied to the Fundamental Theorem of Algebra. In this category fall proofs of S. Wolfenstein, R.L. Thompson, J. Milnor, and S. Reich-S. Smale. These proofs take into account…

Motivated by problems involving end extensions of models of set theory, we develop the rudiments of the power admissible cover construction (over ill-founded models of set theory), an extension of the machinery of admissible covers invented…

The ubiquitous use of Shapley values in eXplainable AI (XAI) has been triggered by the tool SHAP, and as a result are commonly referred to as SHAP scores. Recent work devised examples of machine learning (ML) classifiers for which the…

In the Handbook of Mathematical Logic, the Paris-Harrington variant of Ramsey's theorem is celebrated as the first result of a long 'search' for a purely mathematical incompleteness result in first-order arithmetic. This paper questions the…

We consider the convex hull $P_{\varphi}(G)$ of all satisfying assignments of a given MSO formula $\varphi$ on a given graph $G$. We show that there exists an extended formulation of the polytope $P_{\varphi}(G)$ that can be described by…

I review my work together with Piljin Yi on the spectrum of BPS-saturated states in N = 2 supersymmetric Yang-Mills theories. In an M-theory description, such states are realized as certain two-brane configurations. We first show how the…

We consider the spectrum of additive, polynomially vanishing random perturbations of deterministic matrices, as follows. Let $M_N$ be a deterministic $N\times N$ matrix, and let $G_N$ be a complex Ginibre matrix. We consider the matrix…

Let $A$ be a von Neumann algebra with no direct summand of Type $\roman I_2$, and let $\scr P(A)$ be its lattice of projections. Let $X$ be a Banach space. Let $m\:\scr P(A)\to X$ be a bounded function such that $m(p+q)=m(p)+m(q)$ whenever…