On embedding models of arithmetic of cardinality aleph_1 into reduced powers