Geodesic
On probability of first order formulas in a given model
Kybernetika, Tome 15 (1979) no. 4, pp. 261-271 Cet article a éte moissonné depuis la source Czech Digital Mathematics Library

Voir la notice de l'article

Classification : 03B50, 03C50, 03C99, 60A05, 60K10, 62A01, 94A17 
@article{KYB_1979_15_4_a1,
     author = {\v{S}ajda, Jozef},
     title = {On probability of first order formulas in a given model},
     journal = {Kybernetika},
     pages = {261--271},
     year = {1979},
     volume = {15},
     number = {4},
     mrnumber = {551571},
     zbl = {0441.03008},
     language = {en},
     url = {http://geodesic.mathdoc.fr/item/KYB_1979_15_4_a1/}
}
TY  - JOUR
AU  - Šajda, Jozef
TI  - On probability of first order formulas in a given model
JO  - Kybernetika
PY  - 1979
SP  - 261
EP  - 271
VL  - 15
IS  - 4
UR  - http://geodesic.mathdoc.fr/item/KYB_1979_15_4_a1/
LA  - en
ID  - KYB_1979_15_4_a1
ER  - 
%0 Journal Article
%A Šajda, Jozef
%T On probability of first order formulas in a given model
%J Kybernetika
%D 1979
%P 261-271
%V 15
%N 4
%U http://geodesic.mathdoc.fr/item/KYB_1979_15_4_a1/
%G en
%F KYB_1979_15_4_a1
Šajda, Jozef. On probability of first order formulas in a given model. Kybernetika, Tome 15 (1979) no. 4, pp. 261-271. http://geodesic.mathdoc.fr/item/KYB_1979_15_4_a1/

[1] R. Carnap: Logical Foundations of Probability. Chicago 1950. | MR | Zbl

[2] R. Carnap Y. Bar-Hillel: Semantic Information. British Journal for the Philosophy of Science 4 (1953). | MR

[3] R. Carnap Y. Bar-Hillel: An Outline of the Theory of Semantic Information. Research Laboratory of Electronics, Massachusetts Institute of Technology, Report No. 247, 1952. | MR

[4] C. C. Chang H. J. Keisler: Model Theory. North-Holland Publishing Company, Amsterdam-London 1974.

[5] J. L. Bell A. B. Slomson: Models and Ultraproducts. North-Holland Publishing Company, Amsterdam -London 1974.

[6] L. Rieger: Algebraic Methods of Mathematical Logic. Academic Press, New York-London 1967. | Zbl

[7] A. Rényi: Probability Theory. North-Holland Publishing Company, Amsterdam-London 1970. | MR

[8] M. Loève: Probability Theory. D. van Nostrand Company Inc., Princeton-New York-London 1961. | MR