Translated title of the contributionСложность проблемы ∀-представимости для предложений в сигнатурах с унарными символами
Original languageEnglish
Pages (from-to)52-63
Number of pages12
JournalAlgebra and Logic
Volume65
Issue number1
DOIs
Publication statusPublished - 15 Oct 2026

    OECD FOS+WOS

  • 1.02.QL LOGIC
  • 1.01.PQ MATHEMATICS

    Research areas

  • computability, m-reducibility, Σ10-set, ∀-sentence, ∃-sentence

ID: 85123915