Timeline for Membership Provability in co-RE Sets
Current License: CC BY-SA 3.0
7 events
when toggle format | what | by | license | comment | |
---|---|---|---|---|---|
Aug 19, 2013 at 0:10 | vote | accept | zz14 | ||
Aug 19, 2013 at 0:10 | vote | accept | zz14 | ||
Aug 19, 2013 at 0:10 | |||||
Aug 11, 2013 at 0:46 | history | edited | Noah Schweber | CC BY-SA 3.0 |
added 333 characters in body
|
Aug 11, 2013 at 0:44 | comment | added | Noah Schweber | Cool, I didn't know that! I'm adding Lindstrom's book to my answer as an interesting source. | |
Aug 10, 2013 at 23:59 | comment | added | Andrés E. Caicedo | In Aspects of incompleteness by P. Lindström, it is shown that if we are given an r.e. family of r.e. theories (each being consistent and extending $\mathsf{PA}$), then there are $\Pi^0_1$ formulas simultaneously independent over all of them. (For this, and generalizations, see Chapter 3.) | |
Aug 10, 2013 at 21:39 | history | edited | Noah Schweber | CC BY-SA 3.0 |
added 2284 characters in body
|
Aug 10, 2013 at 21:29 | history | answered | Noah Schweber | CC BY-SA 3.0 |