Abstract
AbstractWe discuss several ontological properties of explicit mathematics and operational set theory: global choice, decidable classes, totality and extensionality of operations, function spaces, class and set formation via formulas that contain the definedness predicate and applications.
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have