Source author record

Alexei Kolesnikov

Alexei Kolesnikov appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.

ResearcherUnclaimed source record

math.LO

Catalog footprint

What is connected

6works

1topics

4close collaborators

Actions

Connect this record

Open graph Browse works

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.

preprint2016arXiv

Canonical forking in AECs

Boney and Grossberg [BG] proved that every nice AEC has an independence relation. We prove that this relation is unique: In any given AEC, there can exist at most one independence relation that satisfies existence, extension, uniqueness and local character. While doing this, we study more generally properties of independence relations for AECs and also prove a canonicity result for Shelah's good frames. The usual tools of first-order logic (like the finite equivalence relation theorem or the type amalgamation theorem in simple theories) are not available in this context. In addition to the loss of the compactness theorem, we have the added difficulty of not being able to assume that types are sets of formulas. We work axiomatically and develop new tools to understand this general framework.

preprint2016arXiv

Homology groups of types in stable theories and the Hurewicz correspondence

We give an explicit description of the homomorphism group H_n(p) of a strong type p in any stable theory under the assumption that for every non-forking extension q of p the groups H_i(q) are trivial for i at least 2 but less than n. The group H_n(p) turns out to be isomorphic to the automorphism group of a certain piece of the algebraic closure of n independent realizations of p; it was shown earlier by the authors that such a group must be abelian. We call this the "Hurewicz correspondence" in analogy with the Hurewicz Theorem in algebraic topology.

preprint2015arXiv

The Hanf number for amalgamation of coloring classes

We study amalgamation properties in a family of abstract elementary classes that we call coloring classes. The family includes the examples previously studied in previous work of Baldwin, Kolesnikov, and Shelah. We establish that the amalgamation property is equivalent to the disjoint amalgamation property in all coloring classes; find the Hanf number for the amalgamation property for coloring classes; and improve the results of Baldwin, Kolesnikov, and Shelah by showing, in ZFC, that the (disjoint) amalgamation property for classes $K_α$ studied in that paper must hold up to $\beth_α$ (only a consistency result was previously known).

preprint2014arXiv

Type-amalgamation properties and polygroupoids in stable theories

We show that in a stable first-order theory, the failure of higher-dimensional type amalgamation can always be witnessed by algebraic structures which we call n-ary polygroupoids. This generalizes a result of Hrushovski that failures of 4-amalgamation in stable theories are witnessed by definable groupoids (which are 2-ary polygroupoids in our terminology). The n-ary polygroupoids are definable in a mild expansion of the language (adding a unary predicate for an infinite Morley sequence).

preprint2011arXiv

Amalgamation functors and homology groups in model theory

We present definitions of homology groups associated to a family of amalgamation functors. We show that if the generalized amalgamation properties hold, then the homology groups are trivial. We compute the group H_2 for strong types in stable theories and show that in this context, the class of possible groups H_2 is precisely the profinite abelian groups.

preprint2010arXiv

Amalgamation functors and boundary properties in simple theories

This paper continues the study of generalized amalgamation properties. Part of the paper provides a finer analysis of the groupoids that arise from failure of 3-uniqueness in a stable theory. We show that such groupoids must be abelian and link the binding group of the groupoids to a certain automorphism group of the monster model, showing that the group must be abelian as well. We also study connections between n-existence and n-uniqueness properties for various "dimensions" n in the wider context of simple theories. We introduce a family of weaker existence and uniqueness properties. Many of these properties did appear in the literature before; we give a category-theoretic formulation and study them systematically. Finally, we give examples of first-order simple unstable theories showing, in particular, that there is no straightforward generalization of the groupoid construction in an unstable context.