Tootfinder

This https://arxiv.org/abs/2403.11255 has been replaced.
initial toot: https://mastoxiv.page/@arXiv_csLO_…

The interpolant existence problem for weak K4 and difference logic
As well known, weak K4 and the difference logic DL do not enjoy the Craig interpolation property. Our concern here is the problem of deciding whether any given implication does have an interpolant in these logics. We show that the nonexistence of an interpolant can always be witnessed by a pair of bisimilar models of polynomial size for DL and of triple-exponential size for weak K4, and so the interpolant existence problems for these logics are decidable in coNP and coN3ExpTime, respectively. W…

Evolutionary Map of the Universe (EMU): Observations of Filamentary Structures in the Abell S1136 Galaxy Cluster
Peter. J. Macgregor, Ray P. Norris, Andrew O'Brien, Mohammad Akhlaghi, Craig Anderson, Jordan D. Collier, Evan J. Crawford, Stefan W. Duchesne, Miroslav D. Filipovi\'c, B\"arbel S. Koribalski, Florian Pacaud, Thomas H. Reiprich, Christopher J. Riseley, Lawrence Rudnick, Tessa Vernstrom, Andrew. M. Hopkins, Melanie Johnston-Hollitt, Josh Marvil, Matthew Whiting, …

Evolutionary Map of the Universe (EMU): Observations of Filamentary Structures in the Abell S1136 Galaxy Cluster
We present radio observations of the galaxy cluster Abell S1136 at 888 MHz, using the Australian Square Kilometre Array Pathfinder radio telescope, as part of the Evolutionary Map of the Universe Early Science program. We compare these findings with data from the Murchison Widefield Array, XMM-Newton, the Wide-field Infrared Survey Explorer, the Digitised Sky Survey, and the Australia Telescope Compact Array. Our analysis shows the X-ray and radio emission in Abell S1136 are closely aligned and…