Inexpressibility in Exp-Minus-Log (EML)

7 pointsarxiv.org
unprovable4hrs