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.
I don’t understand what the sentence starting with “A subsingleton is also decidable in the subset sense” means… The page introduces a distinction between subsingletons and decidable subsingletons, which is fine, but then it goes on to imply in this sentence that subsingletons are decidable, which is not true. I assume something different is meant by the author but I couldn’t quite make it out.
1 to 2 of 2