Not signed in

Want to take part in these discussions? Sign in if you have an account, or apply for one below

• Username
• Password
• Remember me

• Sign in using OpenID
• Remember me

• Forgot your password?
• Apply for membership

2-category 2-category-theory abelian-categories adjoint algebra algebraic algebraic-geometry algebraic-topology analysis analytic-geometry arithmetic arithmetic-geometry book bundles calculus categorical categories category category-theory chern-weil-theory cohesion cohesive-homotopy-type-theory cohomology colimits combinatorics complex complex-geometry computable-mathematics computer-science constructive cosmology deformation-theory descent diagrams differential differential-cohomology differential-equations differential-geometry digraphs duality elliptic-cohomology enriched fibration foundation foundations functional-analysis functor gauge-theory gebra geometric-quantization geometry graph graphs gravity grothendieck group group-theory harmonic-analysis higher higher-algebra higher-category-theory higher-differential-geometry higher-geometry higher-lie-theory higher-topos-theory homological homological-algebra homotopy homotopy-theory homotopy-type-theory index-theory integration integration-theory k-theory lie-theory limits linear linear-algebra locale localization logic mathematics measure-theory modal modal-logic model model-category-theory monad monads monoidal monoidal-category-theory morphism motives motivic-cohomology nforum nlab noncommutative noncommutative-geometry number-theory of operads operator operator-algebra order-theory pages pasting philosophy physics pro-object probability probability-theory quantization quantum quantum-field quantum-field-theory quantum-mechanics quantum-physics quantum-theory question representation representation-theory riemannian-geometry scheme schemes set set-theory sheaf sheaves simplicial space spin-geometry stable-homotopy-theory stack string string-theory superalgebra supergeometry svg symplectic-geometry synthetic-differential-geometry terminology theory topology topos topos-theory tqft type type-theory universal variational-calculus

1. • CommentRowNumber1.
   • CommentAuthorTodd_Trimble
   • CommentTimeFeb 17th 2014
   • PermaLink
   Author: Todd_Trimble
   Format: MarkdownItexI am adding some bits and pieces to [[geometric stability theory]] (which I am trying to learn more about these days).

   I am adding some bits and pieces to geometric stability theory (which I am trying to learn more about these days).

2. • CommentRowNumber2.
   • CommentAuthorUrs
   • CommentTimeFeb 18th 2014
   • PermaLink
   Author: Urs
   Format: MarkdownItexThanks, interesting. As usual by now, I have added some more hyperlinks. Right in the first sentence I have added "the branch of [[model theory]] called...". Okay?

   Thanks, interesting.

   As usual by now, I have added some more hyperlinks. Right in the first sentence I have added “the branch of model theory called…”. Okay?

3. • CommentRowNumber3.
   • CommentAuthorUrs
   • CommentTimeFeb 18th 2014
   • (edited Feb 18th 2014)
   • PermaLink
   Author: Urs
   Format: MarkdownItexIn the Foundations-of-Mechanics workshop in Paris this week ([here](http://phil.physico-math.gie.im/indexPMMF)) there was also a talk meaning to review the idea by Zilber on how to apply model theory to physics (slides are [here](http://phil.physico-math.gie.im/Slides)). We had discussed this once here before, maybe. I missed the talk, but looked at the slides, and once I had heard Zilbert himself speak about this. Nevertheless, I still don't really feel like I understand well what the upshot here is. (This is likely off-topic regarding Todd's entry here. I was just being reminded of it.)

   In the Foundations-of-Mechanics workshop in Paris this week (here) there was also a talk meaning to review the idea by Zilber on how to apply model theory to physics (slides are here). We had discussed this once here before, maybe. I missed the talk, but looked at the slides, and once I had heard Zilbert himself speak about this. Nevertheless, I still don’t really feel like I understand well what the upshot here is.

   (This is likely off-topic regarding Todd’s entry here. I was just being reminded of it.)

4. • CommentRowNumber4.
   • CommentAuthorUrs
   • CommentTimeFeb 18th 2014
   • (edited Feb 18th 2014)
   • PermaLink
   Author: Urs
   Format: MarkdownItexIt would be nice if the entry had a comment on how the concepts discussed there do inform the problem of "stability". (?)

   It would be nice if the entry had a comment on how the concepts discussed there do inform the problem of “stability”. (?)

5. • CommentRowNumber5.
   • CommentAuthorTodd_Trimble
   • CommentTimeFeb 18th 2014
   • (edited Feb 18th 2014)
   • PermaLink
   Author: Todd_Trimble
   Format: MarkdownItex> Right in the first sentence I have added “the branch of model theory called…”. Okay? Thanks; fine by me (actually Zoran wrote that sentence and got the article started generally). Was waiting several hours for my last edit to be submitted, so I gave up once I saw your nForum announcements. I'll see whether I get all of my edit back. > It would be nice if the entry had a comment on how the concepts discussed there do inform the problem of “stability”. (?) Well, I hope to be getting by and by to things like $\omega$-stable theories. I'm not sure how well the logician's terminology will mesh with whatever you meant by problem of "stability"; generally the idea is to be able to classify certain well-behaved classes of structures by dimension-like quantities. (To be honest, I don't really know why they use that word! But maybe I'll find out soon. Maybe Zoran knows?)

   Right in the first sentence I have added “the branch of model theory called…”. Okay?

   Thanks; fine by me (actually Zoran wrote that sentence and got the article started generally).

   Was waiting several hours for my last edit to be submitted, so I gave up once I saw your nForum announcements. I’ll see whether I get all of my edit back.

   It would be nice if the entry had a comment on how the concepts discussed there do inform the problem of “stability”. (?)

   Well, I hope to be getting by and by to things like $\omega$-stable theories. I’m not sure how well the logician’s terminology will mesh with whatever you meant by problem of “stability”; generally the idea is to be able to classify certain well-behaved classes of structures by dimension-like quantities. (To be honest, I don’t really know why they use that word! But maybe I’ll find out soon. Maybe Zoran knows?)

6. • CommentRowNumber6.
   • CommentAuthorUrs
   • CommentTimeFeb 18th 2014
   • PermaLink
   Author: Urs
   Format: MarkdownItexTodd, I had just made trivial edits, so please simply roll them back and overwrite them. I remember we ran into this before. Maybe when you next go to an edit session with saving-intervals longer than the nLab's automatic locking functionality will wait, write at the top of the entry (or here on the nForum) a warning line "Please don't touch, as this is currently being edited offline" or something like this.

   Todd, I had just made trivial edits, so please simply roll them back and overwrite them.

   I remember we ran into this before. Maybe when you next go to an edit session with saving-intervals longer than the nLab’s automatic locking functionality will wait, write at the top of the entry (or here on the nForum) a warning line “Please don’t touch, as this is currently being edited offline” or something like this.

7. • CommentRowNumber7.
   • CommentAuthorTodd_Trimble
   • CommentTimeFeb 18th 2014
   • PermaLink
   Author: Todd_Trimble
   Format: MarkdownItexThanks, Urs. It's okay; I think I got them all. And you're right -- I should have posted a warning. Thanks for your interest!

   Thanks, Urs. It’s okay; I think I got them all. And you’re right – I should have posted a warning. Thanks for your interest!