Farida Kachapova

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Formalizing Elements of Probabilistic Mechanics	2022-03-02	Paper
Formalizing relations in type theory	2021-02-17	Paper
Formalizing groups in type theory	2021-02-17	Paper
Alternative proof of existence of Gibbs measure at high temperature	2018-05-27	Paper
Metamathematical properties of a constructive multi-typed theory Studia Logica	2017-07-19	Paper
Realizability and existence property of a constructive set theory with types Proceedings of the 13th Asian Logic Conference	2017-06-09	Paper
A generalization of Beth model to functionals of high types Proceedings of the 12th Asian Logic Conference	2017-05-31	Paper
A multi-sorted version of second order arithmetic	2017-03-07	Paper
Interpretation of constructive multi-typed theory in the theory of arithmetical truth Lobachevskii Journal of Mathematics	2016-04-13	Paper
A strong multi-typed intuitionistic theory of functionals Journal of Symbolic Logic	2015-11-09	Paper
Comparison of constructive multi-typed theory with subsystems of second order arithmetic	2015-04-29	Paper
Application of semi-invariants to proof of the central limit theorem on a lattice	2015-04-27	Paper
Paradoxes and counterexamples in teaching and learning of probability at university International Journal of Mathematical Education in Science and Technology	2013-01-14	Paper
Measuring monotony in two-dimensional samples International Journal of Mathematical Education in Science and Technology	2010-08-02	Paper

Research outcomes over time

This page was built for person: Farida Kachapova