Skip to content

Commit b843b0e

Browse files
authored
Merge pull request #63 from wurtylex/bb-fix
minor edit to citation
2 parents aec2948 + 11cf078 commit b843b0e

1 file changed

Lines changed: 1 addition & 1 deletion

File tree

constants/14a.md

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -10,7 +10,7 @@ The existence of $C_{14}$ essentially follows from Gödel's second incompletenes
1010

1111
| Bound | Reference | Comments |
1212
| ----- | --------- | -------- |
13-
| 7910 | [YS2025] | By reducing to a graph theoretic setting |
13+
| 7910 | [YS2016] | By reducing to a graph theoretic setting |
1414
| 1919 | [O2016] | By enumerating all proofs in ZF |
1515
| 748 | [O2016] | Proven in 2017 with similar methods |
1616
| 745 | [R2023] | With methods of [O2016] |

0 commit comments

Comments
 (0)