X-Nico

2 unusual facts about Lars Svenonius


Lars Svenonius

The other two papers include a characterization of theories having only one countable model, obtained also by the Polish logican Czesław Ryll-Nardzewski, and results on prime models, obtained also by Robert Vaught at Berkeley.

•

Svenonius' role is well recognized, for example, by Wilfrid Hodges who defines "Svenonius games" and "Svenonius sentences" in his encyclopedic treatise Model Theory (Cambridge University Press, 1993).



see also