The following theorem can be proved by the standard technique of inductive killing everything relevant (in this case decreasing homeomorphisms between uncountable $G_\delta$-subsets of the real line):

>**Theorem (CH).** Under CH there exits an uncountable subset $X$ of the real line admitting no strictly decreasing function $f:Z\to X$ defined on an uncountable subset $Z\subset X$.

On the other hand, a known PFA-results of Baumgartner (about the order isomorphness of any $\aleph_1$-dense subsets of the real line) implies the following

>**Theorem (PFA).** Under PFA, for any uncountable subset $X\subset\mathbb R$ there exists a strictly decreasing function $f:Z\to X$, defined on an uncountable subset $Z\subset X$. 

Now

>**Question.** Can this PFA-theorem be proved under a weaker assumption like OCA or (MA$+\neg$ CH)?