{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2025:QP2SITN3XEFWTC4BCTC33X2XRZ","short_pith_number":"pith:QP2SITN3","schema_version":"1.0","canonical_sha256":"83f5244dbbb90b698b8114c5bddf578e547855e1e0c708e280970695fec47ca7","source":{"kind":"arxiv","id":"2503.08691","version":2},"attestation_state":"computed","paper":{"title":"On Nondefinability of Interior-Connectedness via the Contact Relation","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":["math.LO","math.RA"],"primary_cat":"math.GN","authors_text":"Paula Mench\\'on, Rafa{\\l} Gruszczy\\'nski","submitted_at":"2025-02-24T17:51:05Z","abstract_excerpt":"This short paper is a small contribution to the field of Boolean contact algebras. We analyze the nondefinability of the property of interior-connectedness, and we prove certain minimality conditions for algebras and spaces that can be used in demonstrating that the aforementioned property cannot be expressed by means of contact within regular closed algebras."},"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":"2503.08691","kind":"arxiv","version":2},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"math.GN","submitted_at":"2025-02-24T17:51:05Z","cross_cats_sorted":["math.LO","math.RA"],"title_canon_sha256":"22642ced8e025a30943207a10e933cfe1649a3281783c3501f0da5cae222f99b","abstract_canon_sha256":"b68e7b8ef34d4a9da986a4ccdb9a40752fce7ee579561cd4b719f1aca17657ad"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-17T23:39:18.161130Z","signature_b64":"1gHhVscFAQ6C0mlOqByqfv1gAlQt2rPv57K9wJ1W/iWk7Cuxc09J2kFEr5fnEZ4LxWq+1Kcf/jCniPZmKLYDBw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"83f5244dbbb90b698b8114c5bddf578e547855e1e0c708e280970695fec47ca7","last_reissued_at":"2026-05-17T23:39:18.160548Z","signature_status":"signed_v1","first_computed_at":"2026-05-17T23:39:18.160548Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"On Nondefinability of Interior-Connectedness via the Contact Relation","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":["math.LO","math.RA"],"primary_cat":"math.GN","authors_text":"Paula Mench\\'on, Rafa{\\l} Gruszczy\\'nski","submitted_at":"2025-02-24T17:51:05Z","abstract_excerpt":"This short paper is a small contribution to the field of Boolean contact algebras. We analyze the nondefinability of the property of interior-connectedness, and we prove certain minimality conditions for algebras and spaces that can be used in demonstrating that the aforementioned property cannot be expressed by means of contact within regular closed algebras."},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2503.08691","kind":"arxiv","version":2},"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":"2503.08691","created_at":"2026-05-17T23:39:18.160633+00:00"},{"alias_kind":"arxiv_version","alias_value":"2503.08691v2","created_at":"2026-05-17T23:39:18.160633+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2503.08691","created_at":"2026-05-17T23:39:18.160633+00:00"},{"alias_kind":"pith_short_12","alias_value":"QP2SITN3XEFW","created_at":"2026-05-18T12:33:37.589309+00:00"},{"alias_kind":"pith_short_16","alias_value":"QP2SITN3XEFWTC4B","created_at":"2026-05-18T12:33:37.589309+00:00"},{"alias_kind":"pith_short_8","alias_value":"QP2SITN3","created_at":"2026-05-18T12:33:37.589309+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/QP2SITN3XEFWTC4BCTC33X2XRZ","json":"https://pith.science/pith/QP2SITN3XEFWTC4BCTC33X2XRZ.json","graph_json":"https://pith.science/api/pith-number/QP2SITN3XEFWTC4BCTC33X2XRZ/graph.json","events_json":"https://pith.science/api/pith-number/QP2SITN3XEFWTC4BCTC33X2XRZ/events.json","paper":"https://pith.science/paper/QP2SITN3"},"agent_actions":{"view_html":"https://pith.science/pith/QP2SITN3XEFWTC4BCTC33X2XRZ","download_json":"https://pith.science/pith/QP2SITN3XEFWTC4BCTC33X2XRZ.json","view_paper":"https://pith.science/paper/QP2SITN3","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=2503.08691&json=true","fetch_graph":"https://pith.science/api/pith-number/QP2SITN3XEFWTC4BCTC33X2XRZ/graph.json","fetch_events":"https://pith.science/api/pith-number/QP2SITN3XEFWTC4BCTC33X2XRZ/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/QP2SITN3XEFWTC4BCTC33X2XRZ/action/timestamp_anchor","attest_storage":"https://pith.science/pith/QP2SITN3XEFWTC4BCTC33X2XRZ/action/storage_attestation","attest_author":"https://pith.science/pith/QP2SITN3XEFWTC4BCTC33X2XRZ/action/author_attestation","sign_citation":"https://pith.science/pith/QP2SITN3XEFWTC4BCTC33X2XRZ/action/citation_signature","submit_replication":"https://pith.science/pith/QP2SITN3XEFWTC4BCTC33X2XRZ/action/replication_record"}},"created_at":"2026-05-17T23:39:18.160633+00:00","updated_at":"2026-05-17T23:39:18.160633+00:00"}