DOI

  • Nikolay Bazhenov
  • Ekaterina Fokina
  • Dino Rossegger
  • Alexandra Soskova
  • Stefan Vatev
Original languageEnglish
Pages (from-to)854-871
Number of pages18
JournalJournal of Symbolic Logic
Volume90
Issue number2
DOIs
Publication statusPublished - 2024

    Research areas

  • Borel hierarchy, computable infinitary formulas, enumeration operators

    OECD FOS+WOS

  • 1.01 MATHEMATICS
  • 6.03.UA PHILOSOPHY
  • 1.01.QL LOGIC

ID: 60477163