We use a new construction of an o-minimal structure, due to Lipshitz and Robinson, to answer a question of van den Dries regarding the relationship between arbitrary o-minimal expansions of real closed fields and structures over the real numbers. We write a first order sentence which is true in the Lipshitz-Robinson structure but fails in any possible interpretation over the field of real numbers.

We construct a new class of 1 categorical structures, disproving Zilber's conjecture, and study some of their properties.

Kochen and Specker's theorem can be seen as a consequence of Gleason's theorem and logical compactness. Similar compactness arguments lead to stronger results about finite sets of rays in Hilbert space, which we also prove by a direct construction. Finally, we demonstrate that Gleason's theorem itself has a constructive proof, based on a generic, finite, effectively generated set of rays, on which every quantum state can be approximated.

We construct a strongly minimal set which is not a finite cover of one with DMP. We also show that for a strongly minimal theory T, generic automorphisms exist iff T has DMP, thus proving a conjecture of Kikyo and Pillay.

In a relational language consisting of a single relation R, we investigate pseudofiniteness of certain Hrushovski constructions obtained via predimension functions. It is notable that the arity of the relation R plays a crucial role in this context. When R is ternary, by extending the methods recently developed by Brody and Laskowski, we interpret 〈Q+,<〉 in the 〈K+,≤∗〉-generic and prove that this structure is not pseudofinite. This provides a negative answer to the question posed in an earlier work by (...) Evans and Wong. This result, in fact, unfolds another aspect of complexity of this structure, along with undecidability and the strict order property proved in the mentioned earlier works. On the other hand, when R is binary, it can be shown that the 〈K+,≤∗〉-generic is decidable and pseudofinite. (shrink)

We investigate the isomorphism types of combinatorial geometries arising from Hrushovski's flat strongly minimal structures and answer some questions from Hrushovski's original paper.

An intermediate stage in Hrushovski’s construction of flat strongly minimal structures in a relational language L produces ω-stable structures of rank ω. We analyze the pregeometries given by forking on the regular type of rank ω in these structures. We show that varying L can affect the isomorphism type of the pregeometry, but not its finite subpregeometries. A sequel will compare these to the pregeometries of the strongly minimal structures.

A set of axioms is presented defining an ‘analytic Zariski structure’, as a generalisation of Hrushovski and Zilber’s Zariski structures. Some consequences of the axioms are explored. A simple example of a structure constructed using Hrushovski’s method of free amalgamation is shown to be a non-trivial example of an analytic Zariski structure. A number of ‘quasi-analytic’ results are derived for this example e.g. analogues of Chow’s theorem and the proper mapping theorem.

We give an exposition of Hrushovskiʼs New Strongly Minimal Set : A strongly minimal theory which is not locally modular but does not interpret an infinite field. We give an exposition of his construction.

We provide a general framework for studying the expansion of strongly minimal sets by adding additional relations in the style of Hrushovski. We introduce a notion of separation of quantifiers which is a condition on the class of expansions of finitely generated models for the expanded theory to have a countable ω-saturated model. We apply these results to construct for each sufficiently fast growing finite-to-one function μ from 'primitive extensions' to the natural numbers a theory T μ of an (...) expansion of an algebraically closed field which has Morley rank 2. Finally, we show that if μ is not finite-to-one the theory may not be ω-stable. (shrink)

We give some general criteria for the stable embeddedness of a definable set. We use these criteria to establish the stable embeddedness in algebraically closed valued fields of two definable sets: The set of balls of a given radius r < 1 contained in the valuation ring and the set of balls of a given multiplicative radius r < 1. We also show that in an algebraically closed valued field a 0-definable set is stably embedded if and only if its (...) algebraic closure is stably embedded. (shrink)

A first order theory T of power λ is called unidimensional if any twoλ+-saturated models of T of the same cardinality are isomorphic. We prove here that such theories are superstable, solving a problem of Shelah. The proof involves an existence theorem and a definability theorem for definable groups in stable theories, and an analysis of their relation to regular types.

Reviewed Works:B. I. Zil'ber, L. Pacholski, J. Wierzejewski, A. J. Wilkie, Totally Categorical Theories: Structural Properties and the Non-Finite Axiomatizability.B. I. Zil'ber, Strongly Minimal Countably Categorical Theories.B. I. Zil'ber, Strongly Minimal Countably Categorical Theories. II.B. I. Zil'ber, Strongly Minimal Countably Categorical Theories. III.B. I. Zil'ber, E. Mendelson, Totally Categorical Structures and Combinatorial Geometries.B. I. Zil'ber, The Structure of Models of Uncountably Categorical Theories.

We attempt to formulate issues around modularity and Zilber’s trichotomy in a setting that intersects additive combinatorics. In particular, we update the open problems on quasi-finite structures from [9].

Using methods of geometric stability , we determine the structure of Abelian groups definable in ACFA, the model companion of fields with an automorphism. We also give general bounds on sets definable in ACFA. We show that these tools can be used to study torsion points on Abelian varieties; among other results, we deduce a fairly general case of a conjecture of Tate and Voloch on p-adic distances of torsion points from subvarieties.

Kueker's conjecture is proved for stable theories, for theories that interpret a linear ordering, and for theories with Skolem functions. The proof of the stable case involves certain results on coordinatization that are of independent interest.

We prove (Proposition 2.1) that if $\mu$ is a generically stable measure in an NIP (no independence property) theory, and $\mu(\phi(x,b))=0$ for all $b$ , then for some $n$ , $\mu^{(n)}(\exists y(\phi(x_{1},y)\wedge \cdots \wedge\phi(x_{n},y)))=0$ . As a consequence we show (Proposition 3.2) that if $G$ is a definable group with fsg (finitely satisfiable generics) in an NIP theory, and $X$ is a definable subset of $G$ , then $X$ is generic if and only if every translate of $X$ does not (...) fork over $\emptyset$ , precisely as in stable groups, answering positively an earlier problem posed by the first two authors. (shrink)

Finitely axiomatizable ℵ 1 categorical theories are locally modular.

A stable theory is finitely based if every set of indiscernibles is based on a finite subset. This is a common generalization of superstability and 1-basedness. We show that if such theories have more than one model they must have infinitely many, and prove some other conjectures.

We study the automorphism group of the algebraic closure of a substructure A of a pseudofinite field F. We show that the behavior of this group, even when A is large, depends essentially on the roots of unity in F. For almost all completions of the theory of pseudofinite fields, we show that over A, algebraic closure agrees with definable closure, as soon as A contains the relative algebraic closure of the prime field.

We give several characterizations of weakly minimal abelian structures. In two special cases, dual in a sense to be made explicit below, we give precise structure theorems: 1. When the only finite 0-definable subgroup is {0}, or equivalently 0 is the only algebraic element (the co-strongly minimal case); 2. When the theory of the structure is strongly minimal. In the first case, we identify the abelian structure as a "near-subspace" A of a vector space V over a division ring D (...) with its induced structure, with possibly some collection of distinguished subgroups of A of finite index in A and (up to $acl(\emptyset)$ ) no further structure. In the second, the structure is that of V/A for a vector space and near-subspace as above, with the only further possible structure some collection of distinguished points. Here a near-subspace of V is a subgroup A such that for any nonzero d ∈ D, the index of $A\cap dA$ in A is finite. We also show that any weakly minimal abelian structure is a reduct of a weakly minimal module. (shrink)

We are concerned with identifying by how much a finite cover of an 0-categorical structure differs from a sequence of free covers. The main results show that this is measured by automorphism groups which are nilpotent-by-abelian. In the language of covers, these results say that every finite cover can be decomposed naturally into linked, superlinked and free covers. The superlinked covers arise from covers over a different base, and to describe this properly we introduce the notion of a quasi-cover.These results (...) generalise results of the second author obtained in the case where the base of the cover is a grassmannian of a disintegrated set. They also give a complete proof of a statement of the second author extending this case to the case of a grassmannian of a modular set. To do this, we need to analyse the possible superlinked covers of such a set.We also give a combinatorial condition on the base of a cover which guarantees various chain conditions on finite covers over this base, and introduce a pregeometry which is useful in the analysis of finite covers with simple fibre groups. (shrink)

We give an example of an imaginary defined in certain valued fields with analytic structure which cannot be coded in the ‘geometric' sorts which suffice to code all imaginaries in the corresponding algebraic setting.

Ne estas prima orda formulo, kiu definas la Zariskijajn slositojn inter la konstruitoj, malpli ke la konektojn inter la slositoj.

We give examples of (i) a simple theory with a formula (with parameters) which does not fork over [Formula: see text] but has [Formula: see text]-measure 0 for every automorphism invariant Keisler measure [Formula: see text] and (ii) a definable group [Formula: see text] in a simple theory such that [Formula: see text] is not definably amenable, i.e. there is no translation invariant Keisler measure on [Formula: see text]. We also discuss paradoxical decompositions both in the setting of discrete groups (...) and of definable groups, and prove some positive results about small theories, including the definable amenability of definable groups. (shrink)

As a continuation of ideas initiated in [19], we study bi-colored (generic) expansions of geometric theories in the style of the Fraïssé–Hrushovski construction method. Here we examine that the properties $NTP_{2}$, strongness, $NSOP_{1}$, and simplicity can be transferred to the expansions. As a consequence, while the corresponding bi-colored expansion of a red non-principal ultraproduct of p-adic fields is $NTP_{2}$, the expansion of algebraically closed fields with generic automorphism is a simple theory. Furthermore, these theories are strong with $\operatorname (...) {\mathrm {bdn}}(\text {"}x=x\text {"})=(\aleph _0)_{-}$. (shrink)

We employ an infinite-signature Hrushovski amalgamation construction to yield two results in Recursive Model Theory. The first result, that there exists a strongly minimal theory whose only recursively presentable models are the prime and saturated models, adds a new spectrum to the list of known possible spectra. The second result, that there exists a strongly minimal theory in a finite language whose only recursively presentable model is saturated, gives the second non-trivial example of a spectrum produced in a (...) finite language. (shrink)

Hrushovski constructed an -categorical stable pseudoplane which refuted Lachlan's conjecture. In this note, we show that an -categorical projective plane cannot be constructed by "the Hrushovski method.".

Following the introduction and preliminary investigations of analytic Zariski structures in Peatfield and Zilber (Ann pure Appl Logic 132:125–180, 2005) an example of an analytic Zariski structure extending an algebraically closed field is provided. The example is constructed using Hrushovski’s method of free amalgamation, and a topology is introduced in which we can verify the analytic Zariski axioms.