dorsal/arxiv
View SchemaFinite enumerable but undecidable collections
| Authors | Adonai S. Sant'Anna |
|---|---|
| Categories | |
| ArXiv ID | quant-ph/0409001 |
| URL | https://arxiv.org/abs/quant-ph/0409001 |
Abstract
It is well known that in Zermelo-Fraenkel (ZF) set theory any finite set is decidable. In this paper we discuss an extension of ZF where this result is no longer valid. Such an extension is quasi-set theory and it has its origin on problems motivated by quantum mechanics.
{
"annotation_id": "d3cd025f-5962-4901-81d3-a6a1bf9d27ea",
"date_created": "2026-03-02T18:02:10.047000Z",
"date_modified": "2026-03-02T18:02:10.047000Z",
"file_hash": "0e3c5846768d57999fc09b0100bb3507773200251531600386504ca870f3d2b4",
"private": false,
"record": {
"abstract": "It is well known that in Zermelo-Fraenkel (ZF) set theory any finite set is\ndecidable. In this paper we discuss an extension of ZF where this result is no\nlonger valid. Such an extension is quasi-set theory and it has its origin on\nproblems motivated by quantum mechanics.",
"arxiv_id": "quant-ph/0409001",
"authors": [
"Adonai S. Sant\u0027Anna"
],
"categories": [
"quant-ph"
],
"title": "Finite enumerable but undecidable collections",
"url": "https://arxiv.org/abs/quant-ph/0409001"
},
"schema_id": "dorsal/arxiv",
"source": {
"execution_id": "8e0479a8-1ae7-4166-bda1-dd1aee7eb03e",
"id": "arXiv Dataset IDs",
"type": "Model",
"variant": "snapshot-2026-03-01",
"version": "0.1.0"
},
"user_id": 1000002
}