BZPEERPapers, people, evidence and research pathsDiscover
Research tools
Network
Opportunities
Account
Source author record
Andreas Baudisch appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.
Catalog footprint
Research graph
Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.
BZPEER is loading the nearby papers, people, topics and institutions for this page.
Published work
We construct uncountably categorical 3-nilpotent groups of exponent p > 3. They are not one-based and do not allow the interpretation of an infinite field. Therefore they are counterexamples to Zilbers Conjecture. First 2-nilpotent new uncoutably categorical groups were contructed in [3]. Here we use the method of the additive Collapse developed in [5]. Essentially we work with 3-nilpotent graded Lie algebras over the field with p elements.
Let L be a countable elementary language, N be a Fraisse limit. We consider free amalgamation for L-structures where L is arbitrary. If free amalgamation for finitely generated substructures exits in N, then it is a stationary independece relation in the sense of K.Tent and M.Ziegler [TZ12b]. Therefore Aut(N) is universal for Aut(M) for all substructures M of N. This follows by a result of I.Müller [Mue13] We show that c-nilpotent graded Lie algebras over a finite field and c-nilpotent groups of exponent p (c < p) with extra predicates for a central Lazard series provide examples. We replace the proof in [Bau04] of the amalgamation of c-nilpotent graded Lie algebras over a field by a correct one.
We amalgamate finite 2-nilpotent groups G of exponent p > 2, where G' is contained in a subgroup of the center, generated by n elements. We get Fraisse limits D(n) with superstable elementary theories of SU-rank 1. D(1) is Felgner's extra special p-group.
The ample hierarchy of geometries of stables theories is strict. We generalise the construction of the free pseudospace to higher dimensions and show that the n-dimensional free pseudospace is ω-stable n-ample yet not (n+1)-ample. In particular, the free pseudospace is not 3-ample. A thorough study of forking is conducted and an explicit description of canonical bases is exhibited.