I am interested in the interplay between Logic and Algebra and applications in Theoretical Computer Sciences. In particular, my research focuses on structure theorems and realization
theorems for Abelian Groups and combinatorial as well as model theoretical methods.
One of the main topics is the category of almost completely decomposable groups (i.e. finite extensions of completely decomposable groups of finite rank) and generalizations of these. Among
those are the Butler groups of arbitrary rank. In the finite rank case Butler groups are strongly related to representations of finite partially ordered sets via the so-called Butler functor. In
the infinite rank case the picture is different and various suitable definitions of Butler groups exist and differ in certain models of set theory. My studies are related to the structure of
Butler groups and their endomorphism rings in models of set theory like Gödel's universe or Martin's Axiom or complicated forcing extensions.
Similarly I am interested in the structure of the group of extensions Ext(G,H) for R-modules G and H. Since the solution of the famous Whitehead problem by Saharon Shelah it is well-known
that this structure, in particular the vanishing of Ext(G,Z), depends on the underlying set theory. In some models a characterization of Ext(G,Z) is known - in others its understanding is beyond
reach. Again, infinite combinatorics and set theory can be used to prove structure theorems like singular compactness theorems, the existence of universal modules etc. This has also
applications in tilting and cotilting theory.
Finally, transitivity properties of modules are subject of my studies. Transitivity, weak transitivity and full transitivity provide examples of modules with a rich structure and the property
that every two elements can be mapped onto each other under cerrtain natural and necessary assumptions. The notion of transitivity and full transitivity goes back to I. Kaplansky while weak
transitivity is a new concept and is of a categorical nature.
Since most of the constructions and techniques I am using involve (infinite) combinatorics, geometric objects and set-theoretic as well as model-theoretic arguments I am also very much
interested in these areas, e.g. cardinal arithmetic and axiomatic set theory.