GUPEA >
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: http://hdl.handle.net/2077/25506

Files in This Item:

File Description SizeFormat
gupea_2077_25506_1.pdf413KbAdobe PDF
View/Open
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
URI: http://hdl.handle.net/2077/25506
Appears in Collections:Magisteruppsatser

This item has been viewed 46 times.

 

 

© Göteborgs universitet 2011