{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2021:KGQEFWOTCEW4AP5PH22UGT2SA7","short_pith_number":"pith:KGQEFWOT","schema_version":"1.0","canonical_sha256":"51a042d9d3112dc03faf3eb5434f5207c67cab9b5ef6e4f01f7f4de07065d310","source":{"kind":"arxiv","id":"2103.04718","version":1},"attestation_state":"computed","paper":{"title":"Closed subsets in Bishop topological groups","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":[],"primary_cat":"math.GR","authors_text":"Iosif Petrakis","submitted_at":"2021-03-08T12:53:08Z","abstract_excerpt":"We introduce the notion of a Bishop topological group i.e., a group X equipped with a Bishop topology of functions F such that the group operations of X are Bishop morphisms with respect to F. A closed subset in the neighborhood structure of X induced by its Bishop topology F is defined in a positive way i.e., not as the complement of an open subset in X. The corresponding closure operator, although it is not topological, in the classical sense, does not involve sequences. As countable choice (CC) is avoided, and in agreement with Richman's critique on the use of CC in constructive mathematics"},"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":"2103.04718","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"math.GR","submitted_at":"2021-03-08T12:53:08Z","cross_cats_sorted":[],"title_canon_sha256":"337a93d4cc7ea19f186711af1a24c3457ad37ac3d1e099622b93dccac6ea95ce","abstract_canon_sha256":"01dbc7be155e78c8f768203766bb18ca7629749e1e7630e60088dd85c6637dee"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T02:21:08.771903Z","signature_b64":"i1Ts2D0Jm1RarC1DqkpegwFd1odDydQBWIRC9kT9uz2gn4k/HIKlmtyZOJM1dFplduniPCPeGE1/iIwpSymxDA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"51a042d9d3112dc03faf3eb5434f5207c67cab9b5ef6e4f01f7f4de07065d310","last_reissued_at":"2026-07-05T02:21:08.771424Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T02:21:08.771424Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"Closed subsets in Bishop topological groups","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":[],"primary_cat":"math.GR","authors_text":"Iosif Petrakis","submitted_at":"2021-03-08T12:53:08Z","abstract_excerpt":"We introduce the notion of a Bishop topological group i.e., a group X equipped with a Bishop topology of functions F such that the group operations of X are Bishop morphisms with respect to F. A closed subset in the neighborhood structure of X induced by its Bishop topology F is defined in a positive way i.e., not as the complement of an open subset in X. The corresponding closure operator, although it is not topological, in the classical sense, does not involve sequences. As countable choice (CC) is avoided, and in agreement with Richman's critique on the use of CC in constructive mathematics"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2103.04718","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":""},"integrity":{"clean":true,"summary":{"advisory":0,"critical":0,"by_detector":{},"informational":0},"endpoint":"/pith/2103.04718/integrity.json","findings":[],"available":true,"detectors_run":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938"},"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":"2103.04718","created_at":"2026-07-05T02:21:08.771481+00:00"},{"alias_kind":"arxiv_version","alias_value":"2103.04718v1","created_at":"2026-07-05T02:21:08.771481+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2103.04718","created_at":"2026-07-05T02:21:08.771481+00:00"},{"alias_kind":"pith_short_12","alias_value":"KGQEFWOTCEW4","created_at":"2026-07-05T02:21:08.771481+00:00"},{"alias_kind":"pith_short_16","alias_value":"KGQEFWOTCEW4AP5P","created_at":"2026-07-05T02:21:08.771481+00:00"},{"alias_kind":"pith_short_8","alias_value":"KGQEFWOT","created_at":"2026-07-05T02:21:08.771481+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/KGQEFWOTCEW4AP5PH22UGT2SA7","json":"https://pith.science/pith/KGQEFWOTCEW4AP5PH22UGT2SA7.json","graph_json":"https://pith.science/api/pith-number/KGQEFWOTCEW4AP5PH22UGT2SA7/graph.json","events_json":"https://pith.science/api/pith-number/KGQEFWOTCEW4AP5PH22UGT2SA7/events.json","paper":"https://pith.science/paper/KGQEFWOT"},"agent_actions":{"view_html":"https://pith.science/pith/KGQEFWOTCEW4AP5PH22UGT2SA7","download_json":"https://pith.science/pith/KGQEFWOTCEW4AP5PH22UGT2SA7.json","view_paper":"https://pith.science/paper/KGQEFWOT","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=2103.04718&json=true","fetch_graph":"https://pith.science/api/pith-number/KGQEFWOTCEW4AP5PH22UGT2SA7/graph.json","fetch_events":"https://pith.science/api/pith-number/KGQEFWOTCEW4AP5PH22UGT2SA7/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/KGQEFWOTCEW4AP5PH22UGT2SA7/action/timestamp_anchor","attest_storage":"https://pith.science/pith/KGQEFWOTCEW4AP5PH22UGT2SA7/action/storage_attestation","attest_author":"https://pith.science/pith/KGQEFWOTCEW4AP5PH22UGT2SA7/action/author_attestation","sign_citation":"https://pith.science/pith/KGQEFWOTCEW4AP5PH22UGT2SA7/action/citation_signature","submit_replication":"https://pith.science/pith/KGQEFWOTCEW4AP5PH22UGT2SA7/action/replication_record"}},"created_at":"2026-07-05T02:21:08.771481+00:00","updated_at":"2026-07-05T02:21:08.771481+00:00"}