Papers of Aleksander Ivanov
1991 - 2012

List of publications

List last modified: 23.12.2012
  1. The structure of strongly abelian locally finite varieties model companion of which has non-maximal spectrum , In: Proceedings of the Ninth Easter Conference on Model Theory ed. H.Wolter, Seminarbericht; 112, Berlin, 1991, 67-78.

  2. Strongly minimal structures with disitegrated algebraic closure and structures of bounded valency , In: Proceedings of the Tenth Easter Conference on Model Theory, eds. M.Weese and H.Wolter, Berlin, 1993, 64 - 69

  3. The structure of superflat graphs , Fund. Math. 143(1993) 107 - 117

  4. Stable absolutely ubiquitous structures , Proc. Amer. Math. Soc. 121(1994), 221 - 224

  5. Some combinatorial aspects of the cover problem for totally categorical theories , In: Automorphisms of First-Order Structures, eds. R.Kaye and H.D.Macpherson. Oxford University Press. 1994. 215 - 231

  6. Definable second-order quantifiers and quasivarieties , In: Quantifiers: Logics, Models and Computations,vol2, eds. M.Krynicki at al. Kluwer Academic Publishers. 1995, 115 - 123

  7. Countably categorical structures with a distributive lattice of acl-closed subsets , In: Logic Colloquium'92, eds.L.Csirmaz, D.M.Gabbay and Maarten deRijke, CSLI Publications. Stanford, California, 1995, 135 - 143

  8. (with D.M.Evans and H.D.Macpherson) Finite covers , In: Model Theory of Groups and Automorphism Groups, ed. D.M.Evans (London Math. Soc., Lect. Note Series 244), Cambridge University Press 1997, 1 -72

  9. Finite covers with a linking equivalence relation , In: Algebra and Model Theory, eds. A.G.Pinus and K.N.Ponomaryov, NSTU, Novosibirsk 1997, 70 - 77 "ps"

  10. Finite covers, cohomology and homogeneous stuctures , Proc. London Math. Soc. (3) 78(1999), 1 - 28

  11. Generic expansions of $\omega$-categorical structures and semantics of generalized quantifiers , J.Symbolic Logic, 64(1999), no. 2, 775 - 789

  12. (with H.D.Macpherson) Strongly determined types , Ann. Pure Appl. Logic 99(1999), 197 - 230

  13. Finitely generated groups having a finite set of conjugacy classes meeting all cyclic subgroups , Colloq. Math. 82(1999), no. 1, 1 - 12

  14. Closed groups induced by finitary permutations and their actions on trees , Proc. Amer. Math. Soc. 130(2002), 875 - 882.

  15. Cayley graphs having nice enumerations , Israel J. Math. 137(2003), 61 - 108.

  16. Group actions on pretrees and definability , Communications in Algebra 32(2004), no.2, 561 - 577.

  17. (with R.Kossak) Automorphism group actions on trees , Mathematical Logic Quarterly 50(2004), no.1, 71 - 76.

  18. Automorphisms of homogeneous structures , Notre Dame Journal of Formal Logic, 46 (2005), no.4, 419 - 424.

  19. Strongly bounded automorphism groups , Colloq. Math., 105(2006), 57 - 67.

  20. (with K.Majcher) Absolutely ubiquitous groups , "ps" , Algebra and Discrete Mathematics, 2006, number 3, 55 - 70. (htpp://adm.luguniv.edu.ua)

  21. Strongly determined types and G-compactness , Fund. Math., 191(2006), 227 - 247

  22. (with K.Majcher) Ages of expansions of $\omega$-categorical structures , Notre Dame Journal of Formal Logic, 48(2007), no.3, 371 - 380.

  23. (with K.Majcher) Nice enumerations of $\omega$-categorical groups , Communications in Algebra, 37(2009), no. 7, 2236 - 2245. ( is based on ArXiv: math.LO/0611515 v 1 16 Nov 2006; Groups having nice enumerations "pdf" , talk at LEulModernComb, 2007)

  24. On omega-categorical groups and their completions , The Journal of Group Theory, 13(2010), no.2, 295 - 314. ( is based on ArXiv: 0811.0070v1 math.LO 1 Nov 2008; Countably categorical groups and their completions "pdf" , talk at LC'08; "Talk, Eilat, 2010" )

  25. A countably categorical theory which is not G-compact , Siberian Advances in Mathematics, 20(2010), 75 - 82. ( is based on ArXiv: math.LO/0602126 )

  26. Isometry types of profinite groups , Geometriae Dedicata, 147 (2010), 87 - 106. (is based on ArXiv: 0806.4024v1 math.LO 25 Jun 2008; Zeta functions corresponding to isometry groups of a rooted tree "pdf" , talk at MaLoMath'08)

  27. (with V.Guirardel) Non-nesting actions of Polish groups on real trees , Jour.Pure and Appl.Algebra, 214(2010), 2074 - 2077. (ArXiv: 0911.4200 math.GR; contains a solution to the main problem of Non-nesting actions of Polish group on pretrees , "ps" ArXiv: math.GR/0607358 v 1 14 Jul 2006)

  28. Generating Sym(omega) by permutations preserving dense orders "pdf" , ORDER, 28(2011), 267 - 271.

  29. Products of loxodromic automorphisms of pretrees "pdf" , Beitrage zur Algebra und Geometrie/Contributions to Algebra and Geometry, 53(2012), no. 1, 105 - 112 (DOI 10.1007/s13366-011-0067-1)

  30. The complexity of countable categoricity in finite languages "pdf" , Math. Logic Quarterly, 58(2012), no 1-2, 105 - 112 (DOI 10.1002/malq.201110035, is based on arXiv: 1101.3792, 19 Jan 2011)

  31. Degrees of isomorphism types and countably categorical groups "pdf" , Archive for Math. Log., 51(2012), 93 - 98 (DOI 10.1007/s00153-011-0255-6, "talk at NSAC, 2009" )

  32. Non-nesting actions of groups on real trees vs isometric actions "pdf" , arXiv:1112.1219 (this material together with papers 27 - 29 forms a very extended version of "Non-nesting actions of Polish groups on pretrees", arXiv: 0607358), conference presentation: talk at A^3 Conference, Eger, 2011

  33. Locally compact groups and continuous logic "pdf" , arXiv:1206.5473

  34. Axioms for isometric actions on real trees "ps" preliminary version

  35. Combinatorial group theory for finite covers , preliminary version "ps"

  36. Definable closure of a free group, Elementary properties of limit and constructible groups , in preparation, some talks: talk at GRPS and their Actns, Będlewo, 2010 , (and extended version: Perm, 2010 ).

    37. BACK