Computable paradoxical decompositions
We prove a computable version of Hall's Harem Theorem and apply it to computable versions of Tarski's alternative theorem.
Source author record
Aleksander Ivanov
Aleksander Ivanov appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.
ResearcherUnclaimed source record
Catalog footprint
What is connected
8works
3topics
4close collaborators
Research graph
See the researcher in context
Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.
Building this map preview
BZPEER is loading the nearby papers, people, topics and institutions for this page.
Published work
8 published item(s)
preprint2015arXiv
Extreme residuals in regression model. Minimax approach
We obtain limit theorems for extreme residuals in linear regression model in the case of minimax estimation of parameters.
0 citations0 reviewsNo code linkedOpen access
preprint2015arXiv
Polish G-spaces and continuous logic
We analyse logic actions of Polish groups which arise in continuous logic. We extend the generalised model theory of H.Becker to the case of Polish G-spaces when G is an arbitrary Polish group.
0 citations0 reviewsNo code linkedOpen access
preprint2014arXiv
Continuous structures of quantum circuits
We consider continuous structures which are obtained from finite dimensional Hilbert spaces over $\mathbb{C}$ by adding some unitary operators. Quantum automata and quantum circuits are naturally interpretable in such structures. We consider appropriate algorithmic problems concerning continuous theories of natural classes of these structures.
0 citations0 reviewsNo code linkedOpen access
preprint2014arXiv
Nice enumerations and extreme amenability
We study properties related to nice enumerability of countably categorical structures and properties related to extreme amenability of automorphism groups of these structures. The text substantially differs from the previous version. In particular the example of Section 3 is transported to arXiv: 1403.7610. This version is not final.
0 citations0 reviewsNo code linkedOpen access
preprint2014arXiv
Topological dynamics of automorphism group of countably categorical structures
We consider automorphism groups of some countably categorical structures and their precompact expansions. We prove that automorphism groups of omega-stable omega-categorical structures have metrizable universal minimal flows. We also study amenability of these groups. This is a draft of a paper which will be extended by some other results.
0 citations0 reviewsNo code linkedOpen access
preprint2013arXiv
Locally compact groups and continuous logic
We study expressive power of continuous logic in classes of (locally compact) groups. We also describe locally compact groups which are separably categorical structures.
0 citations0 reviewsNo code linkedOpen access
preprint2010arXiv
Non-nesting actions of Polish groups on real trees
We prove that if a Polish G with a comeagre conjugacy class has a non-nesting action on an R-tree, then every element of G fixes a point.
0 citations0 reviewsNo code linkedOpen access