LARA

Differences

This shows you the differences between two versions of the page.

Link to this comparison view

Both sides previous revision Previous revision
sav08:guru [2008/05/10 15:05]
vkuncak
sav08:guru [2008/05/10 19:49] (current)
vkuncak
Line 19: Line 19:
   * Ahrendt'​s work   * Ahrendt'​s work
   * completion for finding infinite models, presentation of infinite models   * completion for finding infinite models, presentation of infinite models
 +  * using Ehrenfeucht-Feferman games to find models
  
 References: References: