126
click to vote
RML
2006
15 years 3 months ago
2006
Abstract. A topos version of Cantor's back and forth theorem is established and used to prove that the ordered structure of the rational numbers Q, < is homogeneous in any ...
145
click to vote
RML
2006
15 years 3 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.