{"id":"arxiv/2609.18371","url":"https://arxiv.org/abs/2609.18371","tags":["math.LO"],"score":0,"title":"Coding is non-robust","domain":"math.LO","source":"arxiv","authors":["Sam Sanders"],"reviews":0,"subject":"math.LO","summary":"For various reasons, higher-order objects are often studied in mathematical logic via second-order `codes' or `representations'. An important example hailing from real analysis and topology is provided by open sets, which are represented by unions $\\cup_{n\\in \\mathbb{N}}I_{n}$ where each $I_{n}$ is a basic open interval. Now, Montalbán has recently highlighted the importance of robustness of logical systems in Reverse Mathematics (abbreviated RM). It is then a natural RM-question whether basic properties of open sets are robust under slight modifications of the coding of open sets. Here, we…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-09-16","reactions":{}}