Computable paradoxical decompositions
We prove a computable version of Hall's Harem Theorem and apply it to computable versions of Tarski's alternative theorem.
Researcher profile
Aleksander Ivanov
Aleksander Ivanov contributes to research discovery and scholarly infrastructure.
ResearcherAffiliation not importedOpen to collaborate
Trust snapshot
Quick read
Trust 15 - UnverifiedVerification L1Unclaimed author
3works
0followers
2topics
2close collaborators
Actions
Decide how to stay connected
Identity and collaboration
How to connect with this researcher
Claiming links this public author record to a researcher profile and unlocks direct collaboration workflows.
Log in to claimDirect collaboration
Open a focused conversation when the fit is right
Claim this author entity first to unlock direct invitations.
Research graph
See the researcher in context
Inspect adjacent work, topics, institutions and collaborators without jumping out to a separate graph page.
Building this graph slice
BZPEER is loading the nearby papers, people, topics and institutions for this page.
Published work
3 published item(s)
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