Все публикации

0:28:08

Верещагин, Шень. Начала теории множеств. Задача 9

1:00:33

Принцип Дирихле и критерий конечного поля

0:42:23

51 завершение курса по матлогике

0:32:43

50 Классы доказуемо тотальных рекурсий

0:43:33

49 прогрессии Тьюринга

0:39:12

48 Схема рефлексий для арифметики

0:44:08

47/56 теорема Генцена о непротиворечивости арифметики Пеано

0:51:55

46/55 доказательный ординал теории

0:41:58

45/54 теорема Генцена. Оценка силы PA(X) сверху.

0:49:02

44 арифметика в исчислении Тейта

0:40:28

43 Исчисление Тейта

0:51:08

42 Про неклассические логики вообще

1:00:12

41 Гейтинговы алгебры

0:36:53

40 Генценовское исчисление

0:13:32

38 Топологическая семантика Int

0:23:18

37 Топологическая семантика S4: корректность и полнота

0:27:10

36 Топологическая семантика модальных логик

0:27:01

39 топологическая семантика логики доказуемости

0:43:27

35 Логика выводимости

0:26:10

34 Основные свойства модальных логик

0:40:09

33 Великолепная семерка модальных логик

0:31:07

32 Шкалы Крипке для унимодальных логик

0:41:19

31 Семантика Крипке

0:28:05

30 Интуиционистская логика