Student essays / Studentuppsatser >
Department of Philosophy,Lingustics and Theory of Science / Institutionen för filosofi, lingvistik och vetenskapsteori >
Magisteruppsatser >

On abstract model theory and defining well-orderings

Please use this identifier to cite or link to this item:

Files in This Item:

File Description SizeFormat
gupea_2077_25506_1.pdf413KbAdobe PDF
Title: On abstract model theory and defining well-orderings
Authors: Salo, Tommi
Issue Date: 16-May-2011
Degree: Student essay
Keywords: Logik
Abstract: 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. First we discuss the partial orders ≤, ≤P C and ≤RP C on logics and how these relate to each other and to our definability concept. Then we study the division between bounded and unbounded logics. An interrest- ing result in this direction is ... more
Appears in Collections:Magisteruppsatser



© Göteborgs universitet 2011