Kachapova, Farida Metamathematical properties of a constructive multi-typed theory. (English) Zbl 1417.03298 Stud. Log. 105, No. 3, 587-610 (2017). MSC: 03F50 03F35 03F55 03F65 PDFBibTeX XMLCite \textit{F. Kachapova}, Stud. Log. 105, No. 3, 587--610 (2017; Zbl 1417.03298) Full Text: DOI
Kachapova, F. Interpretation of constructive multi-typed theory in the theory of arithmetical truth. (English) Zbl 1347.03104 Lobachevskii J. Math. 36, No. 4, 332-340 (2015). MSC: 03F65 03E70 03F50 PDFBibTeX XMLCite \textit{F. Kachapova}, Lobachevskii J. Math. 36, No. 4, 332--340 (2015; Zbl 1347.03104) Full Text: DOI
Kachapova, Farida A strong multi-typed intuitionistic theory of functionals. (English) Zbl 1357.03090 J. Symb. Log. 80, No. 3, 1035-1065 (2015). Reviewer: Marco Benini (Buccinasco) MSC: 03F55 03F50 03F25 PDFBibTeX XMLCite \textit{F. Kachapova}, J. Symb. Log. 80, No. 3, 1035--1065 (2015; Zbl 1357.03090) Full Text: DOI arXiv
Kachapova, Farida Comparison of constructive multi-typed theory with subsystems of second order arithmetic. arXiv:1504.08062 Preprint, arXiv:1504.08062 [math.LO] (2015). MSC: 03E70 03F50 BibTeX Cite \textit{F. Kachapova}, ``Comparison of constructive multi-typed theory with subsystems of second order arithmetic'', Preprint, arXiv:1504.08062 [math.LO] (2015) Full Text: arXiv OA License