Intuitionistic sets and numbers: small set theory and Heyting arithmetic

Shapiro, S., McCarty, C. and Rathjen, M. orcid.org/0000-0003-1699-4778 (2024) Intuitionistic sets and numbers: small set theory and Heyting arithmetic. Archive for Mathematical Logic. ISSN 0933-5846

Abstract

Metadata

Item Type: Article
Authors/Creators:
Copyright, Publisher and Additional Information:

© The Author(s) 2024. This is an open access article under the terms of the Creative Commons Attribution License (CC-BY 4.0), which permits unrestricted use, distribution and reproduction in any medium, provided the original work is properly cited.

Keywords: Small set theory; Heyting arithmetic; Definitional equivalence; Set realizability
Dates:
  • Published (online): 18 June 2024
  • Accepted: 16 May 2024
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: 09 Jul 2024 14:47
Last Modified: 09 Jul 2024 14:47
Status: Published
Publisher: Springer
Identification Number: 10.1007/s00153-024-00935-4
Open Archives Initiative ID (OAI ID):

Export

Statistics