7:27 AM
7
I have a big trouble in my mind, here is my false reasoning: The Goodstein's theorem is undecidable in (first order) Peano Arithmetic. There exist a non standard model N of PA where the Goodstein's theorem is false. The Goodstein's theorem is provable in ZFC, using ordinals below $\epsilon_...
There is also goodstein-sequences, but Goodstein theorem seems only tangential to the question, so that one should not be added, right?
1 hour later…
8:51 AM
Recently this question was posted on meta: Is here something like blog service or just sand-box to store notes ?
Since it is, to some extent, related to usage of the sandbox, I thought that it might be useful to have basic information about sandbox(ex) in the tag-info.
I made a suggested edit with some basic information. However, I am mostly familiar with how sandboxes work on math.SE. So if some MO regular checks whether something should be changed/added there, I'll be grateful. (Of course, I am aware that at least two users will see the tag-info in suggested edits review queue, but I thought it is worth mentioning this also here.)
12 hours later…
9:08 PM
Aug 4 '15 at 17:25, by quid
@Martin this is an unresolved issue. I think it is best to avoid the tag "lattices" and maybe also "lattice-theory."
18
The tag lattices is a problem since a long time. Over the years there were varied discussions about this, but no clear resolution emerged, though some things were done to better the situation. This is an attempt at a fresh start of the discussion to find a long-term solution. The current situa...
The tag-info for lattices says: "Lattices as they are used in number theory. (Not to be confused with lattice theory or lattices as used in physics!)"
The tag-info for lattice-theory says: "The theory of lattices in the sense of order theory. For the number-theoretic notion, use the tag "lattices" instead."
« first day (1398 days earlier) ← previous day next day → last day (2494 days later) »
Transcript for
Jun16
Jun '1720
Jun27
MO editors' lounge
Talk related to editing, tagging and related matters for the s...