TY - RPRT TI - Synthetic Approach to the Singularity Problem AU - Michael Heller AU - Jerzy Król PY - 2016 UR - https://arxiv.org/abs/1607.08264 ID - 1607.08264 ER -