Automorphism group actions on trees. - Aleksander Ivanov; Roman Kossak (Math. Log. Q., 2004)

Automorphisms of Homogeneous Structures. - Aleksander Ivanov (Notre Dame J. Formal Log., 2005)

Ages of Expansions of ω-Categorical Structures. - Aleksander Ivanov; K. Majcher (Notre Dame J. Formal Log., 2007)

Generating Sym(ω) by Permutations Preserving Dense Orders. - Aleksander Ivanov (Order, 2011)

Degrees of isomorphism types and countably categorical groups. - Aleksander Ivanov (Arch. Math. Log., 2012)

The complexity of countable categoricity in finite languages. - Aleksander Ivanov (Math. Log. Q., 2012)

An ω-categorical structure with amenable automorphism group. - Aleksander Ivanov (Math. Log. Q., 2015)

Locally compact groups which are separably categorical structures. - Aleksander Ivanov (Arch. Math. Log., 2017)

Polish G-spaces and continuous logic. - Aleksander Ivanov; Barbara Majcher-Iwanow (Ann. Pure Appl. Log., 2017)

Generating sets consisting of pairwise conjugate elements. - Aleksander Ivanov (Int. J. Algebra Comput., 2017)

Sofic profiles of S(ømega ) and computability. - Aleksander Ivanov (Arch. Math. Log., 2021)

Continuous theory of operator expansions of finite dimensional Hilbert spaces and decidability. - Aleksander Ivanov (Math. Log. Q., 2021)

Unbounded actions of metric groups and continuous logic. - Aleksander Ivanov (Math. Log. Q., 2021)

On decidability of amenability in computable groups. - Karol Duda; Aleksander Ivanov (Arch. Math. Log., 2022)

Computable paradoxical decompositions. - Karol Duda; Aleksander Ivanov (Int. J. Algebra Comput., 2022)