Characterizing the interpretation of set theory in Martin