2 citations · 4 across the 7 of their papers we have counts for
Showing 2015Show all
2 papers · 1 filter
math.LO2015
Comparison of constructive multi-typed theory with subsystems of second order arithmetic
Farida Kachapova
This paper describes an axiomatic theory BT for constructive mathematics. BT has a predicative comprehension axiom for a countable number of set types and usual combinatorial opera…
math.PR2015
Application of semi-invariants to proof of the central limit theorem on a lattice
Farida Kachapova, Ilias Kachapov
Statistical mechanics describes interaction between particles of a physical system. Particle properties of the system can be modelled with a random field on a lattice and studied a…