{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2019:E2PFNO2GFEQFTYUATDUHYSTEFU","short_pith_number":"pith:E2PFNO2G","schema_version":"1.0","canonical_sha256":"269e56bb46292059e28098e87c4a642d18eee781a88a708561b44af1f3a1c7e0","source":{"kind":"arxiv","id":"1905.04058","version":2},"attestation_state":"computed","paper":{"title":"Nets and Reverse Mathematics, a pilot study","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.LO"],"primary_cat":"math.LO","authors_text":"Sam Sanders","submitted_at":"2019-05-10T10:37:01Z","abstract_excerpt":"Nets are generalisations of sequences involving possibly uncountable index sets; this notion was introduced about a century ago by Moore and Smith. They also established the generalisation to nets of various basic theorems of analysis due to Bolzano-Weierstrass, Dini, Arzela, and others. More recently, nets are central to the development of domain theory, providing intuitive definitions of the associated Scott and Lawson topologies, among others. This paper deals with the Reverse Mathematics study of basic theorems about nets. We restrict ourselves to nets indexed by subsets of Baire space, an"},"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":"1905.04058","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.LO","submitted_at":"2019-05-10T10:37:01Z","cross_cats_sorted":["cs.LO"],"title_canon_sha256":"91c207c87f145c2aa9a1ee83a0dfd5b2769d3590fc4ad3f50ed1de726ecb7607","abstract_canon_sha256":"3caf95235fa6d647a7368cff0079ce0fb3a7ee5b0677f28f54d3ee35e75fd0bc"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T00:08:05.310570Z","signature_b64":"mSL4TrcF/t8FG2+zsEnRqnPqKLIl5zvm6nKUwInyI/hWMcieSFAgp49agFVorylkchX8I9saRZiXWkG7mYThAg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"269e56bb46292059e28098e87c4a642d18eee781a88a708561b44af1f3a1c7e0","last_reissued_at":"2026-07-05T00:08:05.310127Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T00:08:05.310127Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"Nets and Reverse Mathematics, a pilot study","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.LO"],"primary_cat":"math.LO","authors_text":"Sam Sanders","submitted_at":"2019-05-10T10:37:01Z","abstract_excerpt":"Nets are generalisations of sequences involving possibly uncountable index sets; this notion was introduced about a century ago by Moore and Smith. They also established the generalisation to nets of various basic theorems of analysis due to Bolzano-Weierstrass, Dini, Arzela, and others. More recently, nets are central to the development of domain theory, providing intuitive definitions of the associated Scott and Lawson topologies, among others. This paper deals with the Reverse Mathematics study of basic theorems about nets. We restrict ourselves to nets indexed by subsets of Baire space, an"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1905.04058","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":""},"integrity":{"clean":true,"summary":{"advisory":0,"critical":0,"by_detector":{},"informational":0},"endpoint":"/pith/1905.04058/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":"1905.04058","created_at":"2026-07-05T00:08:05.310193+00:00"},{"alias_kind":"arxiv_version","alias_value":"1905.04058v2","created_at":"2026-07-05T00:08:05.310193+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1905.04058","created_at":"2026-07-05T00:08:05.310193+00:00"},{"alias_kind":"pith_short_12","alias_value":"E2PFNO2GFEQF","created_at":"2026-07-05T00:08:05.310193+00:00"},{"alias_kind":"pith_short_16","alias_value":"E2PFNO2GFEQFTYUA","created_at":"2026-07-05T00:08:05.310193+00:00"},{"alias_kind":"pith_short_8","alias_value":"E2PFNO2G","created_at":"2026-07-05T00:08:05.310193+00:00"}],"events":[],"event_summary":{},"paper_claims":[],"inbound_citations":{"count":1,"internal_anchor_count":1,"sample":[{"citing_arxiv_id":"1908.05676","citing_title":"Plato and the foundations of mathematics","ref_index":74,"is_internal_anchor":true}]},"formal_canon":{"evidence_count":0,"sample":[],"anchors":[]},"links":{"html":"https://pith.science/pith/E2PFNO2GFEQFTYUATDUHYSTEFU","json":"https://pith.science/pith/E2PFNO2GFEQFTYUATDUHYSTEFU.json","graph_json":"https://pith.science/api/pith-number/E2PFNO2GFEQFTYUATDUHYSTEFU/graph.json","events_json":"https://pith.science/api/pith-number/E2PFNO2GFEQFTYUATDUHYSTEFU/events.json","paper":"https://pith.science/paper/E2PFNO2G"},"agent_actions":{"view_html":"https://pith.science/pith/E2PFNO2GFEQFTYUATDUHYSTEFU","download_json":"https://pith.science/pith/E2PFNO2GFEQFTYUATDUHYSTEFU.json","view_paper":"https://pith.science/paper/E2PFNO2G","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=1905.04058&json=true","fetch_graph":"https://pith.science/api/pith-number/E2PFNO2GFEQFTYUATDUHYSTEFU/graph.json","fetch_events":"https://pith.science/api/pith-number/E2PFNO2GFEQFTYUATDUHYSTEFU/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/E2PFNO2GFEQFTYUATDUHYSTEFU/action/timestamp_anchor","attest_storage":"https://pith.science/pith/E2PFNO2GFEQFTYUATDUHYSTEFU/action/storage_attestation","attest_author":"https://pith.science/pith/E2PFNO2GFEQFTYUATDUHYSTEFU/action/author_attestation","sign_citation":"https://pith.science/pith/E2PFNO2GFEQFTYUATDUHYSTEFU/action/citation_signature","submit_replication":"https://pith.science/pith/E2PFNO2GFEQFTYUATDUHYSTEFU/action/replication_record"}},"created_at":"2026-07-05T00:08:05.310193+00:00","updated_at":"2026-07-05T00:08:05.310193+00:00"}