Кузичев Александр Сергеевич

Публикации в базе данных Math-Net.Ru

1. Об одном консервативном расширении формальной арифметики
   
   Вестн. Моск. ун-та. Сер. 1. Матем., мех., 1988, № 6,  77–78
2. Теорема о непротиворечивости системы $\mathrm{ZF}$ Цермело–Френкеля
   
   Докл. АН СССР, 273:5 (1983),  1053–1057
3. Арифметическая полнота бестиповой логики
   
   Докл. АН СССР, 270:6 (1983),  1323–1327
4. Непротиворечивость системы $\mathcal{N}F$ Куайна
   
   Докл. АН СССР, 270:3 (1983),  537–541
5. Арифметически непротиворечивые $\lambda$-теории бестиповой логики
   
   Докл. АН СССР, 268:2 (1983),  288–292
6. Теория множеств в бестиповых комбинаторно полных системах
   
   Вестн. Моск. ун-та. Сер. 1. Матем., мех., 1983, № 3,  36–42
7. О представлении теорий первого порядка в бестиповых комбинаторно полных системах
   
   Докл. АН СССР, 266:1 (1982),  23–27
8. Аксиоматические теории в комбинаторно полных системах
   
   Докл. АН СССР, 264:3 (1982),  538–542
9. Арифметически непротиворечивые $\lambda$-теории
   
   Докл. АН СССР, 262:4 (1982),  795–799
10. Арифметические теории, строящиеся на основе $\lambda$-конверсии
    
    Докл. АН СССР, 261:4 (1981),  792–796
11. О погружении формальной арифметики в комбинаторно полные системы
    
    Докл. АН СССР, 250:6 (1980),  1310–1315
12. Классы объектов, имеющих нормальные формы, в системе $\lambda$-конверсии с логическими операторами
    
    Докл. АН СССР, 249:1 (1979),  41–45
13. О непротиворечивости формальной арифметики
    
    Докл. АН СССР, 243:5 (1978),  1123–1126
14. Теорема о средней секвенции в $\mathscr{A}$-системе $\lambda$-конверсии
    
    Докл. АН СССР, 243:1 (1978),  19–21
15. Теорема о непротиворечивости формальной арифметики
    
    Докл. АН СССР, 238:2 (1978),  269–272
16. Формальная арифметика в $\mathscr{A}$-системе $\lambda$-конверсии
    
    Докл. АН СССР, 236:5 (1977),  1072–1075
17. Система $\lambda$-конверсии с логическими операторами и оператором равенства
    
    Докл. АН СССР, 236:4 (1977),  796–799
18. Система $\lambda$-конверсии с дедуктивным оператором формальной импликации
    
    Докл. АН СССР, 212:6 (1973),  1290–1292
19. Дедуктивно-комбинаторное построение теории функциональностей
    
    Докл. АН СССР, 209:3 (1973),  541–543
20. $F^n$-системы комбинаторной логики. Обобщенный арифметический оператор
    
    Докл. АН СССР, 198:4 (1971),  759–761


21. Поправки к статье "Арифметически непротиворечивые $\lambda$-теории бестиповой логики" (ДАН, т. 268, № 2, 1983 г.)
    
    Докл. АН СССР, 272:1 (1983),  10