Sökning: "Tommi Salo"

Hittade 1 uppsats innehållade orden Tommi Salo.

  1. 1. On abstract model theory and defining well-orderings

    Magister-uppsats, Göteborgs universitet/Institutionen för filosofi, lingvistik och vetenskapsteori

    Författare :Tommi Salo; [2011-05-16]
    Nyckelord :Logik;

    Sammanfattning : In this paper we will study the expressive power, measured by the ability to define certain classes, of some extensions of first order logic. The central concepts will be definability of classes of ordinals and the well-ordering number w of a logic. LÄS MER