Constructing the constructible universe constructively

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

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:
  • Published: March 2024
  • Published (online): 13 November 2023
  • Accepted: 2 December 2023
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):

Export

Statistics