Geodesic
К теории моделей для интуиционисткой логоки
Matematičeskij sbornik, Tome 162 (1984) no. 2, pp. 227-239.

Voir la notice de l'article provenant de la source European Digital Mathematics Library

Mots-clés : simple theory of types, completeness, Henkin completeness theorem, ultraproduct of Kripke structures, omitting types theorem, theories with infinite rules for deduction 
@article{MS_1984__162_2_a3,
     author = {{\CYRV}.{\CYRI}. {\CYRS}{\cyrt}{\cyre}{\cyrp}{\cyra}{\cyrn}{\cyro}{\cyrv}},
     title = {{\CYRK} {\cyrt}{\cyre}{\cyro}{\cyrr}{\cyri}{\cyri} {\cyrm}{\cyro}{\cyrd}{\cyre}{\cyrl}{\cyre}{\cyrishrt} {\cyrd}{\cyrl}{\cyrya} {\cyri}{\cyrn}{\cyrt}{\cyru}{\cyri}{\cyrc}{\cyri}{\cyro}{\cyrn}{\cyri}{\cyrs}{\cyrt}{\cyrk}{\cyro}{\cyrishrt} {\cyrl}{\cyro}{\cyrg}{\cyro}{\cyrk}{\cyri}},
     journal = {Matemati\v{c}eskij sbornik},
     pages = {227--239},
     publisher = {mathdoc},
     volume = {162},
     number = {2},
     year = {1984},
     zbl = {0568.03018},
     language = {ru},
     url = {http://geodesic.mathdoc.fr/item/MS_1984__162_2_a3/}
}
TY  - JOUR
AU  - В.И. Степанов
TI  - К теории моделей для интуиционисткой логоки
JO  - Matematičeskij sbornik
PY  - 1984
SP  - 227
EP  - 239
VL  - 162
IS  - 2
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/MS_1984__162_2_a3/
LA  - ru
ID  - MS_1984__162_2_a3
ER  - 
%0 Journal Article
%A В.И. Степанов
%T К теории моделей для интуиционисткой логоки
%J Matematičeskij sbornik
%D 1984
%P 227-239
%V 162
%N 2
%I mathdoc
%U http://geodesic.mathdoc.fr/item/MS_1984__162_2_a3/
%G ru
%F MS_1984__162_2_a3
В.И. Степанов. К теории моделей для интуиционисткой логоки. Matematičeskij sbornik, Tome 162 (1984) no. 2, pp. 227-239. http://geodesic.mathdoc.fr/item/MS_1984__162_2_a3/