It seems odd there's a [proof-theory] tag but no [model-theory] tag. What's the one without the other?

  • $\begingroup$ Such a tag could be useful. If we collect a list of questions it could apply to here, any high-rep users can help tag them properly. $\endgroup$
    – Larry Wang
    Sep 14 '10 at 0:05
  • $\begingroup$ Some recent examples follow, having trouble with this editor: Example of non-isomorphic structures which are elementarily equivalent (math.stackexchange.com/questions/1563) Is there a natural model of Peano Arithmetic where Goodstein's theorem fails? (math.stackexchange.com/questions/3609) Does this proposition hold if Mod(Γ)=∅ ? (math.stackexchange.com/questions/4135) $\endgroup$
    – MikeC
    Sep 14 '10 at 4:57
  • 2
    $\begingroup$ I've added a model-theory tag to these 3 questions. $\endgroup$
    – anon
    Sep 14 '10 at 5:40
  • 1
    $\begingroup$ @muad - Thanks. That should start to give it some legitimacy. (It is of course already a tag at MO.) $\endgroup$
    – MikeC
    Sep 14 '10 at 20:04

You must log in to answer this question.

Browse other questions tagged .