Ссылки

DOI

Переведенное названиеСложность проблемы ∀-представимости для предложений в сигнатурах с унарными символами
Язык оригиналаанглийский
Страницы (с-по)52-63
Число страниц12
ЖурналAlgebra and Logic
Том65
Номер выпуска1
DOI
СостояниеОпубликовано - 15 окт. 2026

    Предметные области OECD FOS+WOS

  • 1.02.QL ЛОГИКА
  • 1.01.PQ МАТЕМАТИКА

    Области исследований

  • ∀-предложение, ∃-предложение, вычислимость, m-сводимость, Σ⁰₁-множество

ID: 85123915