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
https://portal.mardi4nfdi.de/entity/Q2966523	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