Categoricity Spectra for Polymodal Algebras

Результат исследования: Научные публикации в периодических изданияхстатьярецензирование

5 Цитирования (Scopus)

Аннотация

We investigate effective categoricity for polymodal algebras (i.e., Boolean algebras with distinguished modalities). We prove that the class of polymodal algebras is complete with respect to degree spectra of nontrivial structures, effective dimensions, expansion by constants, and degree spectra of relations. In particular, this implies that every categoricity spectrum is the categoricity spectrum of a polymodal algebra.

Язык оригиналаанглийский
Страницы (с-по)1083-1097
Число страниц15
ЖурналStudia Logica
Том104
Номер выпуска6
DOI
СостояниеОпубликовано - 1 дек. 2016

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

  • 1.01.QL ЛОГИКА
  • 6.01.MQ ИСТОРИЯ И ФИЛОСОФИЯ НАУКИ
  • 1.01 МАТЕМАТИКА

ГРНТИ

  • 27.03 Математическая логика и основания математики

Fingerprint

Подробные сведения о темах исследования «Categoricity Spectra for Polymodal Algebras». Вместе они формируют уникальный семантический отпечаток (fingerprint).

Цитировать