Let L ≤ ML′ denote that language L is mapping reducible (many to one reducible) to language L′. Which one of the following is True?
- If L ≤PL′ and L′ is semidecidable then L is semidecidable.
- If L ≤ PL′ and L is RE then L′ is RE.
- If L ≤ PL′ and L is decidable then L′ decidable.
- If L ≤ PL′ and L is recursive then L′ is recursive.
Could anyone please solve this and explain the this reducibility logic ?