Matthews, R. and Rathjen, M. orcid.org/0000-0003-1699-4778 (2024) Constructing the constructible universe constructively. Annals of Pure and Applied Logic, 175 (3). 103392. ISSN 0168-0072
Abstract
We study the properties of the constructible universe, L, over intuitionistic theories. We give an extended set of fundamental operations which is sufficient to generate the universe over Intuitionistic Kripke-Platek set theory without Infinity. Following this, we investigate when L can fail to be an inner model in the traditional sense. Namely, we show that over Constructive Zermelo-Fraenkel (even with the Power Set axiom) one cannot prove that the Axiom of Exponentiation holds in L.
Metadata
Item Type: | Article |
---|---|
Authors/Creators: |
|
Copyright, Publisher and Additional Information: | © 2023 Elsevier. This is an author produced version of an article accepted for publication in the Annals of Pure and Applied Logic. Uploaded in accordance with the publisher's self-archiving policy. |
Keywords: | Constructive mathematics; Constructible universe; Intuitionistic Zermelo-Fraenkel; Constructive Zermelo-Fraenkel; Intuitionistic Kripke-Platek |
Dates: |
|
Institution: | The University of Leeds |
Academic Units: | The University of Leeds > Faculty of Engineering & Physical Sciences (Leeds) > School of Mathematics (Leeds) > Pure Mathematics (Leeds) |
Depositing User: | Symplectic Publications |
Date Deposited: | 20 May 2024 10:28 |
Last Modified: | 13 Dec 2024 01:13 |
Status: | Published |
Publisher: | Elsevier BV |
Identification Number: | 10.1016/j.apal.2023.103392 |
Open Archives Initiative ID (OAI ID): | oai:eprints.whiterose.ac.uk:212606 |