{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2018:G7AIX3ZQEXWAYNQWFRRRZFU4FL","short_pith_number":"pith:G7AIX3ZQ","schema_version":"1.0","canonical_sha256":"37c08bef3025ec0c36162c631c969c2af234340acdcdd7d5063be34d3c59b15e","source":{"kind":"arxiv","id":"1804.09746","version":2},"attestation_state":"computed","paper":{"title":"Cheap Non-standard Analysis and Computability","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.CL"],"primary_cat":"cs.LO","authors_text":"Olivier Bournez, Sabrina Ouazzani","submitted_at":"2018-04-25T18:36:17Z","abstract_excerpt":"Non standard analysis is an area of Mathematics dealing with notions of infinitesimal and infinitely large numbers, in which many statements from classical analysis can be expressed very naturally. Cheap non-standard analysis introduced by Terence Tao in 2012 is based on the idea that considering that a property holds eventually is sufficient to give the essence of many of its statements. This provides constructivity but at some (acceptable) price. We consider computability in cheap non-standard analysis. We prove that many concepts from computable analysis as well as several concepts from com"},"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":"1804.09746","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2018-04-25T18:36:17Z","cross_cats_sorted":["cs.CL"],"title_canon_sha256":"d9cbcb00d4b9bfa5a42d5a323be76b23063515054e1521d70f27bd315d630dd7","abstract_canon_sha256":"432318070e889814f4068691e9e0fa4ac4caa9e79ea4c20cc87da68056669c84"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-17T23:57:15.288734Z","signature_b64":"AqRZ/lubv3E5APlADWfiYevnDD35GAYhOKN0TDQcauNTETxFP6uE4ODacAcwkFk+UgJGrp4Jf5rRXy1YBg2SDg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"37c08bef3025ec0c36162c631c969c2af234340acdcdd7d5063be34d3c59b15e","last_reissued_at":"2026-05-17T23:57:15.288241Z","signature_status":"signed_v1","first_computed_at":"2026-05-17T23:57:15.288241Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"Cheap Non-standard Analysis and Computability","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.CL"],"primary_cat":"cs.LO","authors_text":"Olivier Bournez, Sabrina Ouazzani","submitted_at":"2018-04-25T18:36:17Z","abstract_excerpt":"Non standard analysis is an area of Mathematics dealing with notions of infinitesimal and infinitely large numbers, in which many statements from classical analysis can be expressed very naturally. Cheap non-standard analysis introduced by Terence Tao in 2012 is based on the idea that considering that a property holds eventually is sufficient to give the essence of many of its statements. This provides constructivity but at some (acceptable) price. We consider computability in cheap non-standard analysis. We prove that many concepts from computable analysis as well as several concepts from com"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1804.09746","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":"1804.09746","created_at":"2026-05-17T23:57:15.288330+00:00"},{"alias_kind":"arxiv_version","alias_value":"1804.09746v2","created_at":"2026-05-17T23:57:15.288330+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1804.09746","created_at":"2026-05-17T23:57:15.288330+00:00"},{"alias_kind":"pith_short_12","alias_value":"G7AIX3ZQEXWA","created_at":"2026-05-18T12:32:25.280505+00:00"},{"alias_kind":"pith_short_16","alias_value":"G7AIX3ZQEXWAYNQW","created_at":"2026-05-18T12:32:25.280505+00:00"},{"alias_kind":"pith_short_8","alias_value":"G7AIX3ZQ","created_at":"2026-05-18T12:32:25.280505+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/G7AIX3ZQEXWAYNQWFRRRZFU4FL","json":"https://pith.science/pith/G7AIX3ZQEXWAYNQWFRRRZFU4FL.json","graph_json":"https://pith.science/api/pith-number/G7AIX3ZQEXWAYNQWFRRRZFU4FL/graph.json","events_json":"https://pith.science/api/pith-number/G7AIX3ZQEXWAYNQWFRRRZFU4FL/events.json","paper":"https://pith.science/paper/G7AIX3ZQ"},"agent_actions":{"view_html":"https://pith.science/pith/G7AIX3ZQEXWAYNQWFRRRZFU4FL","download_json":"https://pith.science/pith/G7AIX3ZQEXWAYNQWFRRRZFU4FL.json","view_paper":"https://pith.science/paper/G7AIX3ZQ","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=1804.09746&json=true","fetch_graph":"https://pith.science/api/pith-number/G7AIX3ZQEXWAYNQWFRRRZFU4FL/graph.json","fetch_events":"https://pith.science/api/pith-number/G7AIX3ZQEXWAYNQWFRRRZFU4FL/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/G7AIX3ZQEXWAYNQWFRRRZFU4FL/action/timestamp_anchor","attest_storage":"https://pith.science/pith/G7AIX3ZQEXWAYNQWFRRRZFU4FL/action/storage_attestation","attest_author":"https://pith.science/pith/G7AIX3ZQEXWAYNQWFRRRZFU4FL/action/author_attestation","sign_citation":"https://pith.science/pith/G7AIX3ZQEXWAYNQWFRRRZFU4FL/action/citation_signature","submit_replication":"https://pith.science/pith/G7AIX3ZQEXWAYNQWFRRRZFU4FL/action/replication_record"}},"created_at":"2026-05-17T23:57:15.288330+00:00","updated_at":"2026-05-17T23:57:15.288330+00:00"}