Related papers: A Conjectural Classification of Strongly Dependent…
This paper gives a complete classification of the finite groups that contain a strongly closed p-subgroup for p any prime.
We show that every valued differential field has an immediate strict extension that is spherically complete. We also discuss the issue of uniqueness up to isomorphism of such an extension.
We prove, in particular, that in a supersimple unidimensional theory the $SU$-rank is continuous and the $D$-rank is definable.
E. Hrushovski proved tha the theory of difference-differential fields has a model companion. We prove this result and other maind properties of this theory that we call DCFA. We describe the SU rank a its relation with transcendence degree.…
We introduce the Delta-framework, LF-Delta, a dependent type theory based on the Edinburgh Logical Framework LF, extended with the strong proof-functional connectives, i.e. strong intersection, minimal relevant implication and strong union.…
We prove that in NTP_2 theories if p is a dependent type with dp-rank >= \kappa, then this can be witnessed by indiscernible sequences of tuples satisfying p. If p has dp-rank infinity, then this can be witnessed by singletons (in any…
We give an upper bound on the number of rational points of an arbitrary Zariski closed subset of a projective space over a finite field. This bound depends only on the dimensions and degrees of the irreducible components and holds for very…
We give a construction of a large first-order definable family of subrings of finitely generated fields $K$ of any characteristic. We deduce that for any such $K$ there exists a first-order sentence $\varphi_K$ characterising $K$ in the…
In this paper we present a characterization for the defect of a simple algebraic extension of rank one valued fields using the key polynomials that define the valuation. As a particular example, this gives the classification of defect…
We develop the notion of singular support of a coherent sheaf on a quasi-smooth DG scheme or stack and use it to formulate the Geometric Langlands Conjecture.
We study relative differential closure in the context of Hardy fields. Using our earlier work on algebraic differential equations over Hardy fields, this leads to a proof of a conjecture of Boshernitzan (1981): the intersection of all…
A novel lower bound is introduced for the full rank probability of random finite field matrices, where a number of elements with known location are identically zero, and remaining elements are chosen independently of each other, uniformly…
The multiplicative group of a finite field is well known to be cyclic; in this note, we determine the finite fields whose multiplicative groups are direct sum indecomposable. We obtain our classification using a direct argument and also as…
We prove that if a finite group scheme $G$ over a field $k$ has essential dimension one, then it embeds in $PGL_{2/k}$. We use this to give an explicit classification of all infinitesimal group schemes of essential dimension one over any…
We discuss several conjectures about derived equivalent varieties, defined over fields of arbitrary characteristics, and implications among them. In particular we show that the (conjectural) derived invariance of the Hasse-Weil Zeta…
In this paper, we characterize NIP henselian valued fields modulo the theory of their residue field, both in an algebraic and in a model-theoretic way. Assuming the conjecture that every infinite NIP field is either separably closed, real…
This paper generalizes Shelah's generic pair conjecture (now theorem) for the measurable cardinal case from first order theories to finite diagrams. We use homogeneous models in the place of saturated models.
We show that in the theory ZF + DC + for every cardinal {\lambda}, the set of infinite subsets of {\lambda} is well-ordered (i.e., Shelah's AX4), the {\theta}-function measuring the surjective size of the powersets P({\kappa}) can take…
We prove that externally definable sets in first order NIP theories have honest definitions, giving a new proof of Shelah's expansion theorem. Also we discuss a weak notion of stable embeddedness true in this context. Those results are then…
A new case of Shelah's eventual categoricity conjecture is established: $\mathbf{Theorem}$ Let $K$ be an AEC with amalgamation. Write $H_2 := \beth_{\left(2^{\beth_{\left(2^{\text{LS} (K)}\right)^+}}\right)^+}$. Assume that $K$ is…