Развивая Тарского: котопос теорий.

##plugins.themes.bootstrap3.article.main##

V.L. Vasyukov

Abstract

Понятие теории может быть определено с помощью оператора присоединения следствий $C_n(\varGamma)=\{A:\varGamma\vdash A\}$, где $varGamma$ есть некоторое множество предложений, как $\varGamma=C_n(\varGamma).$. Альфред Тарский в [11] ввел понятие исчисления систем, представляющее собой алгебру Брауэра элементарных теорий. В статье данный результат расширен на случай теорий, сформулированных в разных языках. Показано, что категория подобных теорий является котопосом (топосом Брауэра), в то время как категория решеток одноязычных теорий представляет собой топос.

##plugins.generic.usageStats.downloads##

##plugins.generic.usageStats.noStats##

##plugins.themes.bootstrap3.article.details##

Section
Статьи

References

Р.Гольдблатт. Топосы. Категорный анализ логики. М., 1983.
Г.Гретцер. Общая теория решеток. М., 1982.
А.Кок, Г .Э . .сйеРДоктрины в категорией логике// Справочная книга по математической логике. Часть 1. Теория моделей. М., 1982. - с.289-319.
Е.Расева, Р.Сикорсй.М атематика метаматематики. М., 1972.
В .А .С м ирнов .Логические методы анализа научного знания. М., 1987.
M.W.Bunder. Order of strength relations between formal systems with applications to mathematics / / J. Non-Classic Log., v.5, N 1, 1988. pp.5-20.
W.Dzik. On the content of lattices of logics. Part 1 //Rep.Math.Log., N 13, 1981, pp.17-28.
P.T.Johnstone.When is a variety a topos? / / Algebra Universalis, 21 (1985), pp.198-212.
J. Krajicek. Some theorems on the lattice of local interpretability types// Zeitschr. Math. Log. Grundl. Math., Bd.31, N 5, 1985, S.449-460.
J.Mycielski. A lattice of interpretability types of theories / / J.Symb. Log., 42(1977), pp.297-305.
A. Tarski. Foundations of the calculus of systems / / Logic, semantics, metamathematics. Oxford, 1956.

##plugins.generic.recommendByAuthor.heading##

1 2 > >>