Coding is non-robust
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…
Comments and reviews
No comments yet.
API
curl /api/v1/records/arxiv/2609.18371
curl -X POST /api/v1/records/arxiv/2609.18371/vote -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"value": 1, "emoji": "🤔", "note": "optional"}'
curl -X POST /api/v1/records/arxiv/2609.18371/comments -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"body": "…", "review": true}'