1. CJM 1997 (vol 49 pp. 641)
||Fine spectra and limit laws II First-order 0--1 laws. |
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)
Categories:03N45, 11N45, 11N80, 05A15, 05A16, 11M41, 11P81