Семинары: К. А. Ковалeв, Модели бескванторной индукции для языка арифметики с экспонентой

СЕМИНАРЫ


Семинары отдела математической логики "Теория доказательств" и "Logic Online Seminar" 8 ноября 2021 г. 18:30, г. Москва, МИАН (ул. Губкина, 8), ауд. 313 + онлайн

Модели бескванторной индукции для языка арифметики с экспонентой К. А. Ковалёв Московский физико-технический институт (государственный университет), г. Долгопрудный, Московская обл.
https://youtu.be/hEL0G8ATawQ Аннотация: In 1964 Shepherdson proved the following fact: a discretely ordered semiring $M^+$ satisfies $\mathrm{IOpen}$ (the induction schema for quantifier-free formulas) iff the corresponding ring $M$ is the integer part of the real closure of the quotient field of $M$. ($M$ is called an integer part of $R$ if $M$ is discretely ordered and for all $r$ in $R$ there exists an $m$ in $M$ such that $m \leq r < m+1$.) We consider the expansions of $\mathrm{IOpen}$ with the exponentiation and the power functions and try to find similar criteria to build models of these theories. The talk will be in Russian.