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