I have concluded that one of my questions (Compactness for definable models?) does not make sense, and isn't worth trying to answer. What is the appropriate way to proceed in this kind of situation?
|
The philosophy of SE is that comments are somewhat transient elements of the site, not meant to preserve information for the long term. Since your answer received enlightening comments that made an answer unnecessary, it is reasonable to copy them into a community-wiki answer, with attribution to the authors of the comments. Then the question will have a visible answer and the effort of the commenters will not be wasted. |
|||
|
|
|
If you don't think there's anything to be salvaged, then you can always delete the question. |
|||||||||||
|