Семинары
RUS  ENG    ЖУРНАЛЫ   ПЕРСОНАЛИИ   ОРГАНИЗАЦИИ   КОНФЕРЕНЦИИ   СЕМИНАРЫ   ВИДЕОТЕКА   ПАКЕТ AMSBIB  
Календарь
Поиск
Регистрация семинара

RSS
Ближайшие семинары




Семинары отдела математической логики "Теория доказательств" и "Logic Online Seminar"
13 апреля 2020 г. 18:30, г. Москва, online
 


On Free $\omega$-Continuous and Regular Ordered Algebras

Dexter Kozen
Видеозаписи:
MP4 1,429.5 Mb
MP4 774.2 Mb
Дополнительные материалы:
Adobe PDF 566.7 Kb

Количество просмотров:
Эта страница:300
Видеофайлы:52
Материалы:28
Youtube:

Dexter Kozen



Аннотация: Ordered algebras abound in program logics and programming language semantics: $\omega$-continuous semirings, star-continuous Kleene algebras and Kleene algebras with tests, context-free languages, OI-macro languages, iteration theories, recursion schemes, and Scott domains, among many others. These structures are all examples of varieties of ordered $\Sigma$-algebras with restricted completeness and continuity properties. In this talk I will give a general characterization of the free algebras of such varieties in terms of submonads of the monad of $\Sigma$-coterms. Varieties of this form are called quasi-regular. For example, the free star-continuous Kleene algebra is the subalgebra of the corresponding free $\Sigma$-continuous semiring determined by those elements denoted by the regular $\Sigma$-coterms, where $\Sigma$ is the signature of Kleene algebra. This is a special case of a more general construction that applies to any quasi-regular family, including all the examples mentioned above.
(joint work with Zoltán Ésik)

Дополнительные материалы: presentation.pdf (566.7 Kb)

Язык доклада: английский
 
  Обратная связь:
 Пользовательское соглашение  Регистрация посетителей портала  Логотипы © Математический институт им. В. А. Стеклова РАН, 2024