143
click to vote
RML
2006
15 years 2 months ago
2006
We construct a model of set theory without the foundation axiom in which there exists a transitive set whose intersection is not transitive.