Change search
ReferencesLink to record
Permanent link

Direct link
Achieving completeness: from constructive set theory to large cardinals
Stockholm University, Faculty of Science, Department of Mathematics. (Logic)
2016 (English)Doctoral thesis, monograph (Other academic)
Abstract [en]

This thesis is an exploration of several completeness phenomena, both in the constructive and the classical settings. After some introductory chapters in the first part of the thesis where we outline the background used later on, the constructive part contains a categorical formulation of several constructive completeness theorems available in the literature, but presented here in an unified framework. We develop them within a constructive reverse mathematical viewpoint, highlighting the metatheory used in each case and the strength of the corresponding completeness theorems.

The classical part of the thesis focuses on infinitary intuitionistic propositional and predicate logic. We consider a propositional axiomatic system with a special distributivity rule that is enough to prove a completeness theorem, and we introduce weakly compact cardinals as the adequate metatheoretical assumption for this development. Finally, we return to the categorical formulation focusing this time on infinitary first-order intuitionistic logic. We propose a first-order system with a special rule, transfinite transitivity, that embodies both distributivity as well as a form of dependent choice, and study the extent to which completeness theorems can be established. We prove completeness using a weakly compact cardinal, and, like in the constructive part, we study disjunction-free fragments as well. The assumption of weak compactness is shown to be essential for the completeness theorems to hold.

Place, publisher, year, edition, pages
Stockholm: Department of Mathematics, Stockholm University , 2016. , 104 p.
National Category
Algebra and Logic
Research subject
Mathematics
Identifiers
URN: urn:nbn:se:su:diva-130537ISBN: 978-91-7649-458-5OAI: oai:DiVA.org:su-130537DiVA: diva2:931188
Public defence
2016-09-07, sal 14, hus 5, Kräftriket, Roslagsvägen 101, Stockholm, 10:00 (English)
Opponent
Supervisors
Available from: 2016-08-15 Created: 2016-05-25 Last updated: 2016-08-24Bibliographically approved

Open Access in DiVA

Achieving completeness: from constructive set theory to large cardinals(839 kB)14 downloads
File information
File name FULLTEXT01.pdfFile size 839 kBChecksum SHA-512
acf9a4f0ecc440c69db578a9d108294f80baca4264f2d77c5c57519eb7f5f8007a5535c28910835d20630448667779c81a3a1979414c22d21484290600f83aec
Type fulltextMimetype application/pdf

Search in DiVA

By author/editor
Espíndola, Christian
By organisation
Department of Mathematics
Algebra and Logic

Search outside of DiVA

GoogleGoogle Scholar
Total: 14 downloads
The number of downloads is the sum of all downloads of full texts. It may include eg previous versions that are now no longer available

Total: 165 hits
ReferencesLink to record
Permanent link

Direct link