News for hackers. Stuff that matters.
Re:The Consistency of Arithmetic [pdf] by jesuslop on Wednesday November 14, 2018 @12:58PM (#18452007)
In Gödel's collected works vol. 2 one has the detailed argument by transfinite induction up to the first inaccesible ordinal. Interesting to have this as guidemap.
Re:The Consistency of Arithmetic [pdf] by ASipos on Wednesday November 14, 2018 @01:52PM (#18452632)
By "first inaccessible ordinal" you mean epsilon_0? (Probably you mean it in the sense of the first one inaccessible by addition, multiplication and exponentiation.) Because there is also a "first recursively inaccessible ordinal", which is much larger (also, not recursive: it's used to construct, by collapsing, the ordinal of Delta12-CA+BI, which is also much larger though recursive).
Re:The Consistency of Arithmetic [pdf] by jesuslop on Saturday November 17, 2018 @04:25AM (#18474743)
Yes I was being sloppy. epsilon_0 as the limit of iterating ordinal exponentiation by omega. Also the correct volumen is number 3.