Post #4119654

@rntz@recurse.social (Technically I'm a bit wrong: full abstraction is weaker than definability of all elements of the model, and I don't remember whether this stronger property also holds for the domain model of PCF+por)