Thesis by Kim Wagner:
http://citeseer.ist.psu.edu/wagner94solving.html
Andrej Bauer about Omega truth values:
http://math.andrej.com/2005/05/16/how-many-is-two/
This is a nice Google search about it:
http://www.google.com/search?hl=en&lr=&safe=off&q=omega+set+equality+heyting&btnG=Search
Why do I care? Basically, because axioms for Omega-equality and for relaxed metrics coincide, that's why this topic is very tempting...
http://citeseer.ist.psu.edu/wagner94solving.html
Andrej Bauer about Omega truth values:
http://math.andrej.com/2005/05/16/how-many-is-two/
This is a nice Google search about it:
http://www.google.com/search?hl=en&lr=&safe=off&q=omega+set+equality+heyting&btnG=Search
Why do I care? Basically, because axioms for Omega-equality and for relaxed metrics coincide, that's why this topic is very tempting...