this article we report the fact that a shorter and more intuitive formula can be used to constructively replace von Plato's Axiom 4.3, the third axiom of compatibility of equality with apartness and c...
this article we report the fact that a shorter and more intuitive formula can be used to constructively replace von Plato's Axiom 4.3, the third axiom of compatibility of equality with apartness and c...
this article we report the fact that a shorter and more intuitive formula can be used to constructively replace von Plato's Axiom 4.3, the third axiom of compatibility of equality with apartness and c...
this article we report the fact that a shorter and more intuitive formula can be used to constructively replace von Plato's Axiom 4.3, the third axiom of compatibility of equality with apartness and c...
A b s t r a c t. We construct a model of set theory without the foundation axiom in which there exists a transitive set whose intersection is not transitive. 1.