The power of modern logic is that we can make predictions like this! I wasn't sure whether the Löwenheim–Skolem alien was just translating things into our set

The power of modern logic is that we can make predictions like this! I wasn't sure whether the Löwenheim–Skolem alien was just translating things into our set theory for our sake, but I think your proposal is more likely.