Skip to main content
MathOverflow

Return to Answer

http -> https
Source Link
Martin Sleziak
Martin Sleziak
  • 4.7k
  • 4
  • 35
  • 40

You could say that treating all models of a first-order theory is a way of avoiding the arbitrary selection of a particular completion of that theory. There are other situations where it may be best to treat all completions - http://ncatlab.org/nlab/show/completion#nonuniquehttps://ncatlab.org/nlab/show/completion#nonunique.

You could say that treating all models of a first-order theory is a way of avoiding the arbitrary selection of a particular completion of that theory. There are other situations where it may be best to treat all completions - http://ncatlab.org/nlab/show/completion#nonunique.

You could say that treating all models of a first-order theory is a way of avoiding the arbitrary selection of a particular completion of that theory. There are other situations where it may be best to treat all completions - https://ncatlab.org/nlab/show/completion#nonunique.

Post Made Community Wiki
Source Link
David Corfield
David Corfield
  • 5.1k
  • 36
  • 67

You could say that treating all models of a first-order theory is a way of avoiding the arbitrary selection of a particular completion of that theory. There are other situations where it may be best to treat all completions - http://ncatlab.org/nlab/show/completion#nonunique.