Browsing Magisteruppsatser/ Institutionen för filosofi, lingvistik och vetenskapsteori by Subject "Logik"
Now showing items 1-1 of 1
-
On abstract model theory and defining well-orderings
(2011-05-16)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 ...