D. Cantone

Continued Hereditarily Finite Set-Approximations
Does every recursively enumerable set admit a finite-fold diophantine representation?
Banishing Ultrafilters from Our Consciousness
Set Theory for Computing. From Decision Procedures to Declarative Programming with Sets

Published with Wowchemy — the free, open source website builder that empowers creators.