Random Models and the Goedel Case of the Decision Problem

  • Yuri Gurevich ,
  • Saharon Shelah

Journal of Symbolic Logic | , pp. 1120-1124

We replace Goedel’s sophisticated combinatorial argument with a simple probabilistic one.