Apr. 10th, 2006

anhinga_drafts: (Default)
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...

Profile

anhinga_drafts: (Default)
anhinga_drafts

June 2022

S M T W T F S
   1234
5678 91011
12131415161718
19202122232425
2627282930  

Most Popular Tags

Style Credit

Expand Cut Tags

No cut tags
Page generated Aug. 23rd, 2025 05:16 pm
Powered by Dreamwidth Studios