Related papers: A Conjectural Classification of Strongly Dependent…

A field $K$ in a ring language $\mathcal{L}$ is finitely undecidable if $\mbox{Cons}(\Sigma)$ is undecidable for every nonempty finite $\Sigma \subseteq \mbox{Th}(K; \mathcal{L})$. We extend a construction of Ziegler and (among other…

The study of classes of models of a finite diagram was initiated by S. Shelah in 1969. A diagram D is a set of types over the empty set, and the class of models of the diagram D consists of the models of T which omit all the types not in D.…

We introduce and study a new class of differential fields in positive characteristic. We call them separably differentially closed fields and demonstrate that they are the differential analogue of separably closed fields. We prove several…

I give an account of Shelah's notion of strong dependence, or strong NIP, in terms of suitable generically stable measures, forking, and weight.

We state an improved version of the conjecture of Langlands and Rapoport, and we prove the conjecture for a large class of Shimura varieties. In particular, we obtain the first proof of the (original) conjecture for Shimura varieties of…

We have considered a Fraisse class of finitely generated ordered real fields with a colour predicate. A predimension map is defined on finite sets and the Fraisse limit of the class is axiomatized by a theory $T$, which is proved to be…

We conjecture the existence of special elements in odd degree higher algebraic K-groups of number fields that are related in a precise way to the values at strictly negative integers of the derivatives of Artin L-functions of finite…

We suspect that the ``genus part'' of the class number of a number field K may be an obstruction for an ``easy proof'' of the classical p-rank epsilon-conjecture for p-class groups and, a fortiori, for a proof of the ``strong…

We show that the Hrushovski-\fraisse limit of certain classes of trees lead to strictly superstable theories of various U-ranks. In fact, for each $ \alpha\in\omega+1\backslash\{0\} $ we introduce a strictly superstable theory of U-rank $…

This paper is motivated by the theory of sequential dynamical systems, developed as a basis for a mathematical theory of computer simulation. It contains a classification of finite dynamical systems on binary strings, which are obtained by…

We use a generalization of a construction by Ziegler to show that for any field $F$ and any countable collection of countable subsets $A_i \subseteq F, i \in \calI \subset \Z_{>0}$ there exist infinitely many fields $K$ of arbitrary…

Refining a constructive combinatorial method due to MacLane and Schilling, we give several criteria for a valued field that guarantee that all of its maximal immediate extensions have infinite transcendence degree. If the value group of the…

Let X be a smooth, complete, geometrically connected curve over a field of characteristic p. The geometric Langlands conjecture states that to each irreducible rank n local system E on X one can attach a perverse sheaf on the moduli stack…

For a totally positive definite quadratic form over the ring of integers of a totally real number field $K$, we show that there are only finitely many totally real field extensions of $K$ of a fixed degree over which the form is universal…

We give an explicit algebraic characterisation of all definable henselian valuations on a dp-minimal real field. Additionally we characterise all dp-minimal real fields that admit a definable henselian valuation with real closed residue…

Given a random real quadratic field from $\{ \mathbb{Q}(\sqrt{p}\,) ~|~ p \text{ primes} \}$, the conjectural probability $\mathbb{P}(h=q)$ that it has class number $q$ is given for all positive odd integers $q$. Some related conjectures of…

For each deconstructible class of modules $\mathcal D$, we prove that the categoricity of $\mathcal D$ in a big cardinal is equivalent to its categoricity in a tail of cardinals. We also prove Shelah's Categoricity Conjecture for $(\mathcal…

For an abelian variety $A$ over a finitely generated field $K$ of characteristic $p > 0$, we prove that the algebraic rank of $A$ is at most a suitably defined analytic rank. Moreover, we prove that equality, i.e., the BSD rank conjecture,…

For certain theories of existentially closed topological differential fields, we show that there is a strong relationship between $\mathcal L\cup\{D\}$-definable sets and their $\mathcal L$-reducts, where $\mathcal L$ is a relational…

In [7] we proposed a non-generational conjectural derivation of all first class constraints (involving, only, variables compatible with canonical Poisson brackets) for realistic gauge (singular) field theories; and we verified the…