Want to take part in these discussions? Sign in if you have an account, or apply for one below
Vanilla 1.1.10 is a product of Lussumo. More Information: Documentation, Community Support.
Created a stub / disambiguation page, to point to both equivalence relation and Bishop set and pseudo-equivalence relation (the latter currently redirecting to regular and exact completions).
v8, current
v47, current
Why are you creating so many versions? The preview button does work and you could have added just 2 versions
am giving this poor entry its first references:
The notion goes back to the definition of sets in constructive mathematics according to
Errett Bishop, Foundations of Constructive Analysis, Mcgraw-Hill (1967)
Errett Bishop, Douglas Bridges, p. 15 of: Constructive Analysis, Grundlehren der mathematischen Wissenschaften 279, Springer (1985) [doi:10.1007/978-3-642-61667-9]
Review and formalization in type theory:
added pointer to the original:
1 to 7 of 7