Mathematical logic provides a rigorous framework to analyse proofs and extract computational content, while nonexpansive mappings, which are mappings that do not increase distances between points, ...

Given well ordered countable sets of the form $\Lambda_\phi$, we consider Borel mappings from $\Lambda_\phi^\omega$ with countable image inside the ordinals. The ordinals and $\Lambda_\phi^\omega$ are ...

Unlock the full InfoQ experience by logging in! Stay updated with your favorite authors and topics, engage with content, and download exclusive resources. Vivek Yadav, an engineering manager from ...