GUPEA >
Faculty of Arts / Humanistiska fakulteten >
Department of Philosophy, Linguistics and Theory of Science / Institutionen för filosofi, lingvistik och vetenskapsteori >
Doctoral Theses / Doktorsavhandlingar Institutionen för filosofi, lingvistik och vetenskapsteori >

Self-similarity in the foundations


Please use this identifier to cite or link to this item: http://hdl.handle.net/2077/56240

Files in This Item:

File Description SizeFormat
gupea_2077_56240_1.pdfSpikblad67KbAdobe PDF
View/Open
Title: Self-similarity in the foundations
Authors: Kindvall Gorbow, Paul
Issue Date: 24-May-2018
University: Göteborgs universitet. Humanistiska fakulteten
University of Gothenburg. Faculty of Arts
Institution: Department of Philosophy, Linguistics and Theory of Science ; Institutionen för filosofi, lingvistik och vetenskapsteori
Date of Defence: 2018-06-14
Disputation: Torsdagen den 14 juni 2018, kl. 13, T302, Olof Wijksgatan 6, Göteborg.
Degree: Doctor of Philosophy
Publication type: Doctoral thesis
Series/Report no.: ACTA Philosophica Gothoburgensia
32
Keywords: Logic
Set theory
Category theory
Foundations of mathematics
Model theory
Categorical semantics
Algebraic set theory
Non-standard models
Abstract: This thesis concerns embeddings and self-embeddings of foundational structures in both set theory and category theory. The first part of the work on models of set theory consists in establishing a refined version of Friedman's theorem on the existence of embeddings between countable non-standard models of a fragment of ZF, and an analogue of a theorem of Gaifman to the effect that certain countable models of set theory can be elementarily end-extended to a model with many automorphisms whose... more
ISBN: 978-91-7346-970-8
URI: http://hdl.handle.net/2077/56240
Appears in Collections:Doctoral Theses from University of Gothenburg / Doktorsavhandlingar från Göteborgs universitet
Doctoral Theses / Doktorsavhandlingar Institutionen för filosofi, lingvistik och vetenskapsteori

 

 

© Göteborgs universitet 2011