{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2015:WOTVNTXQQEAMLL5NZN67ACULXU","short_pith_number":"pith:WOTVNTXQ","schema_version":"1.0","canonical_sha256":"b3a756cef08100c5afadcb7df00a8bbd15075860c75514195e143542ab4dbf80","source":{"kind":"arxiv","id":"1508.05492","version":2},"attestation_state":"computed","paper":{"title":"On definable Skolem functions in weakly o-minimal non-valuational structures","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"math.LO","authors_text":"Assaf Hasson, Gil Keren, Pantelis E. Eleftheriou","submitted_at":"2015-08-22T10:30:15Z","abstract_excerpt":"We prove that all known examples of weakly o-minimal non-valuational structures have no definable Skolem functions. We show, however, that such structures eliminate imaginaries up to (definable families of) definable cuts. Along the way we give some new examples of weakly o-minimal non-valuational structures."},"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":"1508.05492","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.LO","submitted_at":"2015-08-22T10:30:15Z","cross_cats_sorted":[],"title_canon_sha256":"8f8d304bfe2385dc01c338011b9c54efd55875b3dd15dc13a86e97bca83ba29f","abstract_canon_sha256":"df98af2ead10dd83a297f57588b65e7f91a09fa6cfd878fc372ce25c2f3275d9"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T01:10:38.446895Z","signature_b64":"Ab8Ar7p2uFGt3C1Gsdzq8XZrEIvocEtWuU9riS+6BivY7IG3RGuaZqY2QaKvtbJe20UaUe7kqa9EJ/ISDdc7Cw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"b3a756cef08100c5afadcb7df00a8bbd15075860c75514195e143542ab4dbf80","last_reissued_at":"2026-05-18T01:10:38.446296Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T01:10:38.446296Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"On definable Skolem functions in weakly o-minimal non-valuational structures","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"math.LO","authors_text":"Assaf Hasson, Gil Keren, Pantelis E. Eleftheriou","submitted_at":"2015-08-22T10:30:15Z","abstract_excerpt":"We prove that all known examples of weakly o-minimal non-valuational structures have no definable Skolem functions. We show, however, that such structures eliminate imaginaries up to (definable families of) definable cuts. Along the way we give some new examples of weakly o-minimal non-valuational structures."},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1508.05492","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":"1508.05492","created_at":"2026-05-18T01:10:38.446410+00:00"},{"alias_kind":"arxiv_version","alias_value":"1508.05492v2","created_at":"2026-05-18T01:10:38.446410+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1508.05492","created_at":"2026-05-18T01:10:38.446410+00:00"},{"alias_kind":"pith_short_12","alias_value":"WOTVNTXQQEAM","created_at":"2026-05-18T12:29:47.479230+00:00"},{"alias_kind":"pith_short_16","alias_value":"WOTVNTXQQEAMLL5N","created_at":"2026-05-18T12:29:47.479230+00:00"},{"alias_kind":"pith_short_8","alias_value":"WOTVNTXQ","created_at":"2026-05-18T12:29:47.479230+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/WOTVNTXQQEAMLL5NZN67ACULXU","json":"https://pith.science/pith/WOTVNTXQQEAMLL5NZN67ACULXU.json","graph_json":"https://pith.science/api/pith-number/WOTVNTXQQEAMLL5NZN67ACULXU/graph.json","events_json":"https://pith.science/api/pith-number/WOTVNTXQQEAMLL5NZN67ACULXU/events.json","paper":"https://pith.science/paper/WOTVNTXQ"},"agent_actions":{"view_html":"https://pith.science/pith/WOTVNTXQQEAMLL5NZN67ACULXU","download_json":"https://pith.science/pith/WOTVNTXQQEAMLL5NZN67ACULXU.json","view_paper":"https://pith.science/paper/WOTVNTXQ","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=1508.05492&json=true","fetch_graph":"https://pith.science/api/pith-number/WOTVNTXQQEAMLL5NZN67ACULXU/graph.json","fetch_events":"https://pith.science/api/pith-number/WOTVNTXQQEAMLL5NZN67ACULXU/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/WOTVNTXQQEAMLL5NZN67ACULXU/action/timestamp_anchor","attest_storage":"https://pith.science/pith/WOTVNTXQQEAMLL5NZN67ACULXU/action/storage_attestation","attest_author":"https://pith.science/pith/WOTVNTXQQEAMLL5NZN67ACULXU/action/author_attestation","sign_citation":"https://pith.science/pith/WOTVNTXQQEAMLL5NZN67ACULXU/action/citation_signature","submit_replication":"https://pith.science/pith/WOTVNTXQQEAMLL5NZN67ACULXU/action/replication_record"}},"created_at":"2026-05-18T01:10:38.446410+00:00","updated_at":"2026-05-18T01:10:38.446410+00:00"}