DOI

  • Nikolay Bazhenov
  • Matthew Harrison-Trainor
  • Iskander Kalimullin
  • Alexander Melnikov
  • Keng Meng Ng
Original languageEnglish
Pages (from-to)1630-1669
Number of pages40
JournalJournal of Symbolic Logic
Volume84
Issue number4
DOIs
Publication statusPublished - 1 Dec 2019

    OECD FOS+WOS

  • 1.01.QL LOGIC

    Research areas

  • 03D05, 03D45, 03D80, 2010 Mathematics Subject Classification, 68Q45, Primary 03C57, Secondary 03D20, INDEX SETS, FREE ABELIAN-GROUPS, classification, index sets, automatic structures, COMPLEXITY

ID: 22998175