RML
14 years 9 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.
RML
14 years 9 months ago
2006  RML
14 years 9 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 ...
|
Business