Предикатные формулы. Арифметика

Среда, 19 октября 2011, 18:30–19:50
ПОМИ РАН

Описание

Предикатные формулы (формулы I-го порядка). Интерпретации. Выразимость в арифметике. Арифметичность графика вычислимой функции.