Результаты исследований

1. On a Computability-Theoretic Approach to Boolean-Valued Models

   Результаты исследований: Публикации в книгах, отчётах, сборниках, трудах конференций › статья в сборнике материалов конференции › научная › Рецензирование

2. Index Sets of Decidably Categorical Models that are Elementarily Equivalent to the Powers of Omega

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

3. On cardinalities of Rogers semilattices for families in the Ershov hierarchy

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

Просмотреть все (9) »