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 (In Press)

Abstract

Metadata

Item Type: Article
Authors/Creators:
Dates:
  • 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: 06 Oct 2025 11:50
Status: In Press
Publisher: Cambridge University Press (CUP)
Identification Number: 10.1017/bsl.2025.2
Open Archives Initiative ID (OAI ID):

Download not available

A full text copy of this item is not currently available from White Rose Research Online

Export

Statistics