Hi all,
I'm revising the amsart, amsart-plain, amsart-seq and amsbook layouts,
and there are a few oddities that need to be reconciled. Mostly I'm
making choices capriciously :-), but this is something I thought I would
put to a vote.
The following numbered environments exist in all but amsart-plain:
Theorem; Corollary; Lemma; Proposition; Conjecture; Criterion;
Algorithm; Axiom; Definition; Example; Condition; Problem; Exercise;
Remark; Note; Notation; Claim; Summary (yes it's numbered, don't ask me
why); Acknowledgement; Case; Conclusion; Fact; Assumption (I added that
last one).
In the standard AMS layout, all these but one are numbered within
sections, consecutively using a single counter (so that, for instance,
if a lemma appears in section 3 after theorem 12, it's Lemma 3.13). The
oddball is Case, which is not numbered by section, and has its own
counter separate from the other items (so that if Lemma 3.13 is followed
by the second case overall, it's Case 2).
I don't know why Case should be treated differently from everything
else, so in the absence of votes to the contrary I'll merge it into the
fold. Please let me know through the list and/or by direct e-mail if
you have strong preferences to the contrary. Also, this is your chance
to argue for different numbering of other environments (or different
labeling, different text style, whatever -- within reason).
Cheers,
Paul
