Canadian Mathematical Society
Canadian Mathematical Society
  location:  Publicationsjournals
Search results

Search: MSC category 03 ( Mathematical logic and foundations )

  Expand all        Collapse all Results 26 - 26 of 26

26. CJM 1997 (vol 49 pp. 641)

Burris, Stanley; Compton, Kevin; Odlyzko, Andrew; Richmond, Bruce
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
   1 2    

© Canadian Mathematical Society, 2017 :