This research was partly supported by CDCHTA of Universidad de Los Andes under the project NURR-C- 547-12-05-B. Conflicts of Interest The authors declare no conflicts of interest. [1] A. Smajdor and W ...

BLUF: This repo demonstrates the reduction pattern in runnable form under explicit bounds. It does not solve the Halting Problem, and it is not a safety certification tool for real autonomous systems.

We present some convergence and boundedness theorems with respect to filter convergence for lattice group-valued measures. We give a direct proof, based on the sliding hump argument. Furthermore we ...