Original languageEnglish
Pages (from-to)72-77
Number of pages6
JournalSiberian Mathematical Journal
Volume58
Issue number1
DOIs
Publication statusPublished - 1 Jan 2017

    OECD FOS+WOS

    Research areas

  • 2-step nilpotent group, autostability, autostability relative to strong constructivizations, computable model, group, hyperarithmetical hierarchy, index set, strongly constructivizable model

ID: 9029752