Farida Kachapova

Available identifiers

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	2017-07-19	Paper
Realizability and existence property of a constructive set theory with types	2017-06-09	Paper
A generalization of Beth model to functionals of high types	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	2016-04-13	Paper
A strong multi-typed intuitionistic theory of functionals	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	2013-01-14	Paper
Measuring monotony in two-dimensional samples	2010-08-02	Paper

This page was built for person: Farida Kachapova