7 citations · 19 across the 22 of their papers we have counts for
23 papers
The generalized continuous model theory, Borel complexity and stability
Aleksander Ivanov
Given Polish space and a continuous language we study the corresponding logic -space . We build a framework of generaliz…
Generics in invariant subsets of some highly homogeneous permutation groups
Monika Drzewiecka, Aleksander Ivanov, Bartosz Mokry
Let be a closed highly homogeneous subgroup of not involving circular orderings. We show that the closure of a conjugacy class from contains a conjugacy class…
Mixed identities, hereditarily separated actions and oscillation
Aleksander Ivanov, Roland Zarzycki
Given a topological -space we consider equations with parameters over . In particular we formulate some very general conditions on words with parameters …
Computable paradoxical decompositions
Karol Duda, Aleksander Ivanov
We prove a computable version of Hall's Harem Theorem and apply it to computable versions of Tarski's alternative theorem.
Notes about decidability of exponential equations
Oleg Bogopolski, Aleksander Ivanov
We study relationship among versions of the Knapsack Problem where variables take values in Z and the number of them is fixed. In particular, we construct a finitely presented grou…
Metric groups, unitary representations and continuous logic
Aleksander Ivanov
We describe how properties of metric groups and of unitary representations of metric groups can be presented in continuous logic. In particular we find -axiomatization o…