This dissertation is a collection of results in model theory, related in one way or another to fields, NIP theories, and elimination of imaginaries. The most important result is a …
D Macpherson, C Steinhorn - Transactions of the American Mathematical …, 2008 - ams.org
ONE-DIMENSIONAL ASYMPTOTIC CLASSES OF FINITE STRUCTURES 1. Introduction Dimension theory, so-called, has become a pervasive them Page 1 TRANSACTIONS OF THE …
Let K 0 (Var k) be the Grothendieck ring of algebraic varieties over a field k. Let X, Y be two algebraic varieties over k which are piecewise isomorphic (ie X and Y admit finite partitions …
S Anscombe, D Macpherson, C Steinhorn… - arXiv preprint arXiv …, 2024 - arxiv.org
We develop a general framework (multidimensional asymptotic classes, or macs) for handling classes of finite first order structures with a strong uniformity condition on …
R Wencel - Annals of Pure and Applied Logic, 2008 - Elsevier
A weakly o-minimal structure M=(M,≤,+,…) expanding an ordered group (M,≤,+) is called nonvaluational iff for every cut〈 C, D〉 of (M,≤) definable in M, we have that inf {y− x: x∈ C …
A Chernikov, E Hrushovski, A Kruckman… - … of Mathematical Logic, 2023 - World Scientific
We give examples of (i) a simple theory with a formula (with parameters) which does not fork over∅ but has μ-measure 0 for every automorphism invariant Keisler measure μ and (ii) a …
Given a-dimensional abelian variety over a finite field, the Weil conjectures imply that the normalized Frobenius eigenvalues generate a multiplicative group of rank at most. The …
L Bélair - Ann. Sci. Math. Québec, 2012 - modnet.imj-prg.fr
Nous donnons un aperçu des développements de la théorie des modèles des nombres p- adiques depuis les travaux de Denef sur la rationalité de séries de Poincaré, par une revue …
H Schoutens - The Journal of Symbolic Logic, 2014 - cambridge.org
This paper is devoted to o-minimalism, the study of the first-order properties of o-minimal structures. The main protagonists are the pseudo-o-minimal structures, that is to say, the …