olymmath

VTRMC 2011 Problem 6

    Let SS be a set with an asymmetric relation << ; this means that if a,b∈Sa,b\in S and a<ba<b , then we do not have b<ab<a . Prove that there exists a set TT containing SS with an asymmetric relation ≺\prec with the property that if a,b∈Sa,b\in S , then a<ba<b if and only if a≺ba\prec b , and if x,y∈Tx,y\in T with x≺yx\prec y , then there exists t∈Tt\in T such that x≺t≺yx\prec t\prec y .

    Dataset text AI-MO AoPS. Quoted with source.

    Solutions

    No solution is on olymmath yet. Official and human solutions come first when they arrive. AI solutions come after them, with a label.

    Add a solution

    Similar problems

    These problems have the most words in common with this statement.

    Locator vtrmc/2011/p6 · Tag W15E2B59AR · Edit this page on GitHub · Keys: j next, k previous