A suppes predicate for general relativity and set-theoretically generic spacetimes - Costa, N C A (International Journal of Theoretical Physics, 1990)