{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2017:N3SOAAYUB6BDCWGZBCYQ2HJOX4","short_pith_number":"pith:N3SOAAYU","schema_version":"1.0","canonical_sha256":"6ee4e003140f823158d908b10d1d2ebf0be0f151bd1bcdbcd69694c192d2746a","source":{"kind":"arxiv","id":"1709.08424","version":1},"attestation_state":"computed","paper":{"title":"On Projections of Free Semialgebraic Sets","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"math.FA","authors_text":"Andreas Thom, Tim Netzer, Tom Drescher","submitted_at":"2017-09-25T11:08:55Z","abstract_excerpt":"An important result in real algebraic geometry is the projection theorem: every projection of a semialgebraic set is again semialgebraic. This theorem and some of its conclusions lie at the basis of many other results, for example the decidability of the theory of real closed fields, and almost all Positivstellens\\\"atze. Recently, non-commutative real algebraic geometry has evolved as an exciting new area of research, with many important applications. In this paper we examine to which extend a projection theorem is possible in the non-commutative (=free) setting. Although it is not yet clear w"},"verification_status":{"content_addressed":true,"pith_receipt":true,"author_attested":false,"weak_author_claims":0,"strong_author_claims":0,"externally_anchored":false,"storage_verified":false,"citation_signatures":0,"replication_records":0,"graph_snapshot":true,"references_resolved":false,"formal_links_present":false},"canonical_record":{"source":{"id":"1709.08424","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.FA","submitted_at":"2017-09-25T11:08:55Z","cross_cats_sorted":[],"title_canon_sha256":"340cfdc7fd3f9301ad84daacc21a5668decd13e5caa53a95fd08e408e244ab48","abstract_canon_sha256":"9d851ce3f93eee9f42cfc7f2a52a17bdc837e072e2ed39fdbfbe167b49f623e5"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T00:34:25.693562Z","signature_b64":"NMRFHDUHTfwhCWT0cm/LbbPI+sReMn26vaOnZJN7lX8d5P2CmCGhAZ+vW29/E4Vgntr7NP9hrZMF67kLsO63CA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"6ee4e003140f823158d908b10d1d2ebf0be0f151bd1bcdbcd69694c192d2746a","last_reissued_at":"2026-05-18T00:34:25.693162Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T00:34:25.693162Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"On Projections of Free Semialgebraic Sets","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"math.FA","authors_text":"Andreas Thom, Tim Netzer, Tom Drescher","submitted_at":"2017-09-25T11:08:55Z","abstract_excerpt":"An important result in real algebraic geometry is the projection theorem: every projection of a semialgebraic set is again semialgebraic. This theorem and some of its conclusions lie at the basis of many other results, for example the decidability of the theory of real closed fields, and almost all Positivstellens\\\"atze. Recently, non-commutative real algebraic geometry has evolved as an exciting new area of research, with many important applications. In this paper we examine to which extend a projection theorem is possible in the non-commutative (=free) setting. Although it is not yet clear w"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1709.08424","kind":"arxiv","version":1},"verdict":{"id":null,"model_set":{},"created_at":null,"strongest_claim":"","one_line_summary":"","pipeline_version":null,"weakest_assumption":"","pith_extraction_headline":""},"references":{"count":0,"sample":[],"resolved_work":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57","internal_anchors":0},"formal_canon":{"evidence_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"author_claims":{"count":0,"strong_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"builder_version":"pith-number-builder-2026-05-17-v1"},"aliases":[{"alias_kind":"arxiv","alias_value":"1709.08424","created_at":"2026-05-18T00:34:25.693217+00:00"},{"alias_kind":"arxiv_version","alias_value":"1709.08424v1","created_at":"2026-05-18T00:34:25.693217+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1709.08424","created_at":"2026-05-18T00:34:25.693217+00:00"},{"alias_kind":"pith_short_12","alias_value":"N3SOAAYUB6BD","created_at":"2026-05-18T12:31:31.346846+00:00"},{"alias_kind":"pith_short_16","alias_value":"N3SOAAYUB6BDCWGZ","created_at":"2026-05-18T12:31:31.346846+00:00"},{"alias_kind":"pith_short_8","alias_value":"N3SOAAYU","created_at":"2026-05-18T12:31:31.346846+00:00"}],"events":[],"event_summary":{},"paper_claims":[],"inbound_citations":{"count":0,"internal_anchor_count":0,"sample":[]},"formal_canon":{"evidence_count":0,"sample":[],"anchors":[]},"links":{"html":"https://pith.science/pith/N3SOAAYUB6BDCWGZBCYQ2HJOX4","json":"https://pith.science/pith/N3SOAAYUB6BDCWGZBCYQ2HJOX4.json","graph_json":"https://pith.science/api/pith-number/N3SOAAYUB6BDCWGZBCYQ2HJOX4/graph.json","events_json":"https://pith.science/api/pith-number/N3SOAAYUB6BDCWGZBCYQ2HJOX4/events.json","paper":"https://pith.science/paper/N3SOAAYU"},"agent_actions":{"view_html":"https://pith.science/pith/N3SOAAYUB6BDCWGZBCYQ2HJOX4","download_json":"https://pith.science/pith/N3SOAAYUB6BDCWGZBCYQ2HJOX4.json","view_paper":"https://pith.science/paper/N3SOAAYU","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=1709.08424&json=true","fetch_graph":"https://pith.science/api/pith-number/N3SOAAYUB6BDCWGZBCYQ2HJOX4/graph.json","fetch_events":"https://pith.science/api/pith-number/N3SOAAYUB6BDCWGZBCYQ2HJOX4/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/N3SOAAYUB6BDCWGZBCYQ2HJOX4/action/timestamp_anchor","attest_storage":"https://pith.science/pith/N3SOAAYUB6BDCWGZBCYQ2HJOX4/action/storage_attestation","attest_author":"https://pith.science/pith/N3SOAAYUB6BDCWGZBCYQ2HJOX4/action/author_attestation","sign_citation":"https://pith.science/pith/N3SOAAYUB6BDCWGZBCYQ2HJOX4/action/citation_signature","submit_replication":"https://pith.science/pith/N3SOAAYUB6BDCWGZBCYQ2HJOX4/action/replication_record"}},"created_at":"2026-05-18T00:34:25.693217+00:00","updated_at":"2026-05-18T00:34:25.693217+00:00"}