Some model theory for probability structures

• Autorzy: Georgescu G.
• Języki publikacji: EN

Abstrakty

EN

In this paper we study some model theory for Gaifman probability structures. A classical result of Horn-Tarski concerning the extension of probabilities on Boolean algebras will allow us to prove some preservation theorems for probability structures, the model-companion of logical probability, etc. extending some classical results in eastern model theory.

Słowa kluczowe

EN

Gaifman probability structure; existentially closed probability structure; inductive probability; model-companion of a probability

• Wydawca: Wydawnictwo Uniwersytetu Jagiellońskiego
• Czasopismo: Reports on Mathematical Logic
• Rocznik: 2001
• Tom: No. 35
• Strony: 103--113
• Opis fizyczny: Bibliogr. 8 poz.

Twórcy

autor

Georgescu G.

• Institute of Mathematics, Calea Griviţei 21, P.O. Box 1-764, Bucharest, Romania

Bibliografia

• [1] J. Barwise and A. Robinson, Completing theories by forcing, Annals of Math.Logic, 2 (1970), 119–142.
• [2] C.C. Chang and H.J. Keisler, Model theory, North-Holland Publ.Comp., Amsterdam 1973.
• [3] G. Georgescu and I. Voiculescu, Eastern model theory for boolean-valued theories, Zeit.f.math.Logik und Grund d.Math, 31 (1988), 79–88.
• [4] H. Gaifman, Concerning measures on first-order calculi, Israel J.Math., 2 (1964), 1–18.
• [5] J. Hirschfeld and W.H. Wheeler, Forcing, arithmetic and division rings, in: Lecture Notes in Mathematics, Springer 1975.
• [6] A. Horn and A. Tarski, Measures in Boolean algebras, Trans.Am.Math.Soc., 64 (1948), 467–497.
• [7] A. Robinson, Introduction to model theory and to metamathematics of algebra, North-Holland Publ.Comp., Amsterdam 1975.
• [8] D. Scott and P. Krauss, Assigning probabilities to logical formulas, in: Aspects of inductive logic (Hintikka and Suppes, eds.), North-Holland Publ.Comp., Amsterdam 1966.