|
ВИДЕОТЕКА |
Вторая конференция Математических центров России. Секция «Математическая логика и теоретическая информатика»
|
|||
|
Analogues of Shepherdson's Theorem for the arithmetical language with exponentiation К. А. Ковалев |
|||
Аннотация: We investigate the following expansions of
In 1964 Shepherdson proved the following theorem characterizing models of IOpen: For every discretely ordered ring Our purpose is to generalize this theorem to the expanded theories IOpen(exp) and IOpen( |