Author: Urs Format: MarkdownItexbare minimum, for the moment just so that one may link to it
<a href="https://ncatlab.org/nlab/revision/linear+extension+of+a+partial+order/1">v1</a>, <a href="https://ncatlab.org/nlab/show/linear+extension+of+a+partial+order">current</a>
bare minimum, for the moment just so that one may link to it
Author: Todd_Trimble Format: MarkdownItexWrote down a proof appealing to a compactness argument (hence requiring only the ultrafilter principle).
<a href="https://ncatlab.org/nlab/revision/diff/linear+extension+of+a+partial+order/3">diff</a>, <a href="https://ncatlab.org/nlab/revision/linear+extension+of+a+partial+order/3">v3</a>, <a href="https://ncatlab.org/nlab/show/linear+extension+of+a+partial+order">current</a>
Wrote down a proof appealing to a compactness argument (hence requiring only the ultrafilter principle).
Author: Urs Format: MarkdownItexIn the paragraph on topological orders (below the first definition) it says "the linear extension", while the definition before only introduces "a linear extension". Probably this should be "the *universal* linear extension"?
<a href="https://ncatlab.org/nlab/revision/diff/linear+extension+of+a+partial+order/6">diff</a>, <a href="https://ncatlab.org/nlab/revision/linear+extension+of+a+partial+order/6">v6</a>, <a href="https://ncatlab.org/nlab/show/linear+extension+of+a+partial+order">current</a>
In the paragraph on topological orders (below the first definition) it says “the linear extension”, while the definition before only introduces “a linear extension”. Probably this should be “the universal linear extension”?
Author: Urs Format: MarkdownItexHm, checking on Wikipedia, it looks like any linear extension of a graph reachability is called a *topological order*. So I have changed ([here](https://ncatlab.org/nlab/show/linear+extension+of+a+partial+order#TopologicalOrder)) "the" to "any".
<a href="https://ncatlab.org/nlab/revision/diff/linear+extension+of+a+partial+order/6">diff</a>, <a href="https://ncatlab.org/nlab/revision/linear+extension+of+a+partial+order/6">v6</a>, <a href="https://ncatlab.org/nlab/show/linear+extension+of+a+partial+order">current</a>
Hm, checking on Wikipedia, it looks like any linear extension of a graph reachability is called a topological order. So I have changed (here) “the” to “any”.