Geodesic
Fine Spectra and Limit Laws, II First-Order 0–1 Laws
Canadian journal of mathematics, Tome 49 (1997) no. 4, pp. 641-652

Voir la notice de l'article provenant de la source Cambridge University Press

Using Feferman-Vaught techniques a condition on the fine spectrum of an admissible class of structures is found which leads to a first-order 0–1 law. The condition presented is best possible in the sense that if it is violated then one can find an admissible class with the same fine spectrum which does not have a first–order 0–1 law.If the condition is satisfied (and hence we have a first-order 0–1 law) we give a natural model of the limit law theory; and show that the limit law theory is decidable if the theory of the directly indecomposables is decidable. Using asymptotic methods from the partition calculus a useful test is derived to show several admissible classes have a first–order 0–1 law.
DOI : 10.4153/CJM-1997-030-6
Mots-clés : Primary: 03N45, 11N45, 11N80, 05A15, 05A16, 11M41, 11P81 
Burris, Stanley; Compton, Kevin; Odlyzko, Andrew; Richmond, Bruce. Fine Spectra and Limit Laws, II First-Order 0–1 Laws. Canadian journal of mathematics, Tome 49 (1997) no. 4, pp. 641-652. doi: 10.4153/CJM-1997-030-6
@article{10_4153_CJM_1997_030_6,
     author = {Burris, Stanley and Compton, Kevin and Odlyzko, Andrew and Richmond, Bruce},
     title = {Fine {Spectra} and {Limit} {Laws,} {II} {First-Order} 0{\textendash}1 {Laws}},
     journal = {Canadian journal of mathematics},
     pages = {641--652},
     year = {1997},
     volume = {49},
     number = {4},
     doi = {10.4153/CJM-1997-030-6},
     url = {http://geodesic.mathdoc.fr/articles/10.4153/CJM-1997-030-6/}
}
TY  - JOUR
AU  - Burris, Stanley
AU  - Compton, Kevin
AU  - Odlyzko, Andrew
AU  - Richmond, Bruce
TI  - Fine Spectra and Limit Laws, II First-Order 0–1 Laws
JO  - Canadian journal of mathematics
PY  - 1997
SP  - 641
EP  - 652
VL  - 49
IS  - 4
UR  - http://geodesic.mathdoc.fr/articles/10.4153/CJM-1997-030-6/
DO  - 10.4153/CJM-1997-030-6
ID  - 10_4153_CJM_1997_030_6
ER  - 
%0 Journal Article
%A Burris, Stanley
%A Compton, Kevin
%A Odlyzko, Andrew
%A Richmond, Bruce
%T Fine Spectra and Limit Laws, II First-Order 0–1 Laws
%J Canadian journal of mathematics
%D 1997
%P 641-652
%V 49
%N 4
%U http://geodesic.mathdoc.fr/articles/10.4153/CJM-1997-030-6/
%R 10.4153/CJM-1997-030-6
%F 10_4153_CJM_1997_030_6

[1] 1. Burris, S. and Sárközy, A., Fine spectra and limit laws I. First-Order Laws. Can. J. Math., 49(1997), 468– 498. Google Scholar

[2] 2. Comer, S., Complete and model-complete theories of monadic algebras. Colloq. Math. 34(1975/76), 183– 190. Google Scholar

[3] 3. Feferman, S. and Vaught, R.L., The first-order properties of algebraic systems. Fund. Math. 47(1959), 57–103. Google Scholar

[4] 4. Hardy, G.H. and Wright, E.M., An Introduction to the Theory of Numbers. Oxford Press, Fourth Ed. Google Scholar

[5] 5. Richmond, L.B., Asymptotic results for partitions (I) and the distribution of certain integers. J. Number Th. 8(1976), 372–389. Google Scholar

[6] 6. Roth, K.F. and Szekeres, G., Some asymptotic formulas in the theory of partitions. Quart. J. Math. Oxford Ser. 2 5(1954), 244–259. Google Scholar

[7] 7. Szmielew, W., Elementary properties of Abelian groups. Fund. Math. 41(1955), 203–271. Google Scholar

Cité par Sources :