A. Ivanov

activity

20062026

most citedNon-nesting actions of Polish groups on real trees

7 citations · 19 across the 22 of their papers we have counts for

collaborators

Showing math.LOShow all

16 papers · 1 filter

math.LO2026

The generalized continuous model theory, Borel complexity and stability

Aleksander Ivanov

Given Polish space $Y$ and a continuous language $L$ we study the corresponding logic $Iso (Y)$ -space $Y_{L}$ . We build a framework of generaliz…

math.LO2023

Generics in invariant subsets of some highly homogeneous permutation groups

Monika Drzewiecka, Aleksander Ivanov, Bartosz Mokry

Let $G$ be a closed highly homogeneous subgroup of $S_{\infty}$ not involving circular orderings. We show that the closure of a conjugacy class from $G$ contains a conjugacy class…

math.LO2022

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.

math.LO2020

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 $L_{ω_{1} ω}$ -axiomatization o…

math.LO2020★ 1 cited

Sofic profiles of $S (ω)$ and computability

A. Ivanov

We show that for every sofic chunk $E$ there is a bijective homomorphism $f : E_{c} \to E$ , where $E_{c}$ is a chunk of the group of computable permutations of $N$ so t…

math.LO2019

Polish G-spaces, the generalized model theory and complexity

A. Ivanov, B. Majcher-Iwanow

Given Polish space $Y$ and continuous language $L$ we study the corresponding logic $Iso (Y)$ -space $Y_{L}$ . We build a framework of generalized model theor…