A true and falsifiable statement Ψ with the predicate K of the current mathematical knowledge, where Ψ non-trivially strengthens a non-trivial theorem and does not express what is currently unproved in mathematics

Archival history

By default, all copies archived after the launch of PhilArchive (October 2017) are listed here. For papers already in the archive at launch, only the most recent copy is listed here. Authors can make older versions available or unavailable as they choose by clicking the buttons provided (this requires that the author is signed in and that the paper is associated with their PhilPapers profile). To upload a new version of this paper, use the entry editor.
Version 1   Uploaded: 10/30/2024, 18:24:18 GMT   Format: pdf
Download
Version 2   Uploaded: 11/03/2024, 20:12:12 GMT   Format: pdf
Download
Version 3   Uploaded: 11/04/2024, 13:29:07 GMT   Format: pdf
Download
Version 4   Uploaded: 11/06/2024, 18:58:21 GMT   Format: pdf
Download
Version 5   Uploaded: 11/07/2024, 11:58:35 GMT   Format: pdf
Download
Version 6   Uploaded: 11/12/2024, 15:31:24 GMT   Format: pdf
Download
Version 7   Uploaded: 11/13/2024, 18:17:52 GMT   Format: pdf
Download
Version 8   Uploaded: 11/15/2024, 12:44:43 GMT   Format: pdf
Download
Version 9   Uploaded: 11/18/2024, 19:09:43 GMT   Format: pdf
Download
Version 10   Uploaded: 11/18/2024, 19:43:40 GMT   Format: pdf
Download
Version 11   Uploaded: 11/19/2024, 13:51:39 GMT   Format: pdf
Download
Version 12   Uploaded: 11/19/2024, 15:16:25 GMT   Format: pdf
Download
Version 13   Uploaded: 11/20/2024, 20:06:41 GMT   Format: pdf
Download
Version 14   Uploaded: 11/21/2024, 11:06:33 GMT   Format: pdf
Download
Version 15   Uploaded: 11/22/2024, 10:39:24 GMT   Format: pdf
Download
Version 16   Uploaded: 11/25/2024, 15:35:01 GMT   Format: pdf
Download
Back to main record page