@misc{indiciae6ee939b1ab3a, title = {Functions Definable by Numerical Set-Expressions}, author = {Ian Pratt-Hartmann and Ivo Düntsch}, year = {2009}, doi = {10.1093/logcom/exr050}, url = {https://arxiv.org/abs/0911.0105}, note = {Source identifier: 0911.0105} }