Almost sure theories
- 30 June 1980
- journal article
- Published by Elsevier in Annals of Mathematical Logic
- Vol. 18 (2) , 91-135
- https://doi.org/10.1016/0003-4843(80)90014-5
Abstract
No abstract availableKeywords
This publication has 8 references indexed in Scilit:
- Advanced Problems: 6228-6233The American Mathematical Monthly, 1978
- Probabilities on finite modelsThe Journal of Symbolic Logic, 1976
- Turing machines and the spectra of first-order formulasThe Journal of Symbolic Logic, 1974
- On boolean functions and connected setsTheory of Computing Systems, 1971
- Local definability theoryAnnals of Mathematical Logic, 1970
- Arithmetische Untersuchungen unendlicher ProdukteInventiones Mathematicae, 1969
- Concerning measures in first order calculiIsrael Journal of Mathematics, 1964
- An application of games to the completeness problem for formalized theoriesFundamenta Mathematicae, 1960