1 citations · 1 across the 2 of their papers we have counts for
4 papers
Complete characterizations of hyperbolic Coxeter groups with Sierpiński curve boundary and with Menger curve boundary
Daniel Danielski, Michael Kapovich, Jacek Świątkowski
We give complete characterizations (in terms of nerves) of those word hyperbolic Coxeter groups whose Gromov boundary is homeomorphic to the Sierpiński curve and to the Menger curv…
Right-angled Coxeter groups with Menger curve boundary
Daniel Danielski
We find a sufficient condition for a nerve of a hyperbolic right-angled Coxeter group, under which the boundary of the group is homeomorphic to the Menger curve. We show that this…
Finite Satisfiability of Unary Negation Fragment with Transitivity
Daniel Danielski, Emanuel Kieronski
We show that the finite satisfiability problem for the unary negation fragment with arbitrary number of transitive relations is decidable and 2-ExpTime-complete. Our result actuall…
Unary negation fragment with equivalence relations has the finite model property
Daniel Danielski, Emanuel Kieronski
We consider an extension of the unary negation fragment of first-order logic in which arbitrarily many binary symbols may be required to be interpreted as equivalence relations. We…