[KSCI] Korea Science Citation Index Service

http://dx.doi.org/10.4134/JKMS.2014.51.3.527

AXIOMS FOR THE THEORY OF RANDOM VARIABLE STRUCTURES: AN ELEMENTARY APPROACH

Song, Shichang (Department of Mathematics Beijing Jiaotong University)

Publication Information

Journal of the Korean Mathematical Society / v.51, no.3, 2014 , pp. 527-543 More about this Journal

Abstract

The theory of random variable structures was first studied by Ben Yaacov in [2]. Ben Yaacov's axiomatization of the theory of random variable structures used an early result on the completeness theorem for Lukasiewicz's [0, 1]-valued propositional logic. In this paper, we give an elementary approach to axiomatizing the theory of random variable structures. Only well-known results from probability theory are required here.

Keywords

continuous logic; axiomatization; random variable;

Citations & Related Records

Reference

1	I.Ben Yaacov and A.Usvyatsov, Continuous first order logic and local stability, Trans. Amer. Math. Soc., 362 (2010), 5213-5259. DOI ScienceOn
2	I.Ben Yaacov, Modular functionals and perturbations of Nakano spaces, J. Log. Anal., 1:1 (2009), 1-42.
3	I.Ben Yaacov, On theories of random variables, Israel J. Math., 194 (2013), 957-1012. DOI
4	A.Berenstein and C.W.Henson, Model theory of probability spaces with an automor-phism, submitted.
5	S. Song, Model theory and probability, PhD Thesis, University of Illinois at Urbana-Champaign, 2011.
6	I.Ben Yaacov, A.Berenstein, C.W.Henson, and A.Usvyatsov, Model theory for metric structures, in: Model Theory with Applications to Algebra and Analysis, Volume 2, (Zoe Chatzidakis, Dugald Macpherson, Anand Pillay and Alex Wilkie, eds.), London Math Society Lecture Note Series, No. 350, Cambridge University Press, 315-427, 2008.