Skip to main content
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