Isabel Müller

activity

20152017

collaborators

Showing math.LOShow all

3 papers · 1 filter

math.LO2017

Nonequational Stable Groups

Isabel Müller, Rizos Sklinos

We introduce a combinatorial criterion for verifying whether a formula is not the conjunction of an equation and a co-equation. Using this, we give a proof for the nonequationality…

math.LO2016

Building-like geometries of finite Morley Rank

Katrin Tent, Isabel Müller

For any $n \geq 6$ we construct almost strongly minimal geometries of type $∙ - n ∙ - n ∙$ which are $2$ -ample but not $3$ -ample.

math.LO2015

Fraïssé Structures with Universal Automorphism Groups

Isabel Müller

We prove that the automorphism group of a Fraïssé structure M equipped with a notion of stationary independence is universal for the class of automorphism groups of substructures o…