PM5M: A Formal Axiomatic Language for Probability Theory with Memory-Dependent Limit Theorems

Description:This supplementary file to Nikitin’s Theorem II provides formal clarifications and additions to the PM5M framework. It defines the model structure — a non-empty set of possible worlds (W), an S5-accessibility relation (R), and a Kolmogorov probability space (Ω_w, F_w, P_w) for each world — and introduces the Covariance Decay Axiom (CDA) to control long-range dependencies. These clarifications strengthen the formal basis of Lemma 3 (“Minimality of PM5M for Theorem II”) without altering the core structure of PM5M. Author: Leonid V. Nikitin (Никитин Леонид Владимирович)