FEFERMAN’S COMPLETENESS THEOREM

PAKHOMOV, F., RATHJEN, M. orcid.org/0000-0003-1699-4778 and ROSSEGGER, D. (2025) FEFERMAN’S COMPLETENESS THEOREM. Bulletin of Symbolic Logic. ISSN: 1079-8986

Abstract

Metadata

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

This is an author produced version of an article published in Bulletin of Symbolic Logic, made available under the terms of the Creative Commons Attribution License (CC-BY), which permits unrestricted use, distribution and reproduction in any medium, provided the original work is properly cited.

Dates:
  • Accepted: 19 December 2024
  • Published (online): 10 January 2025
Institution: The University of Leeds
Academic Units: The University of Leeds > Faculty of Engineering & Physical Sciences (Leeds) > School of Mathematics (Leeds)
Funding Information:
Funder
Grant number
John Templeton Foundation (US)
60842
Date Deposited: 06 Oct 2025 11:50
Last Modified: 10 Oct 2025 15:09
Status: Published online
Publisher: Cambridge University Press (CUP)
Identification Number: 10.1017/bsl.2025.2
Open Archives Initiative ID (OAI ID):

Export

Statistics