{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2024:6ZEV4FDZU456C7UECHL6SMCN3L","short_pith_number":"pith:6ZEV4FDZ","schema_version":"1.0","canonical_sha256":"f6495e1479a73be17e8411d7e9304ddacab89491597f5cabafd805ba8c34bd8e","source":{"kind":"arxiv","id":"2405.16963","version":1},"attestation_state":"computed","paper":{"title":"Log-Noetherian functions","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["math.CA","math.LO"],"primary_cat":"math.AG","authors_text":"Gal Binyamini","submitted_at":"2024-05-27T08:55:55Z","abstract_excerpt":"We introduce the class of \\emph{Log-Noetherian} (LN) functions. These are holomorphic solutions to algebraic differential equations (in several variables) with logarithmic singularities. We prove an upper bound on the number of solutions for systems of LN equations, resolving in particular Khovanskii's conjecture for Noetherian functions. Consequently, we show that the structure ${\\mathbb R}_\\text{LN}$ generated by LN-functions, as well as its expansion ${\\mathbb R}_\\text{LN,exp}$, are effectively o-minimal: definable sets in these structures admit effective bounds on their complexity in terms"},"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":"2405.16963","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.AG","submitted_at":"2024-05-27T08:55:55Z","cross_cats_sorted":["math.CA","math.LO"],"title_canon_sha256":"3a47740579b5afc8d20319a4ec2b055fa5f7c4aba4e0d360927219f634531819","abstract_canon_sha256":"de69b066cd8489ee4fc63510dbdfbef3e650b7de99aa4eb4d93460e3091e486a"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T08:23:38.071568Z","signature_b64":"qrhs70Xp+JizbHgiQP+Xo/us3pLPKO6YnwWkov5KtUqo1dQANb3JgLEgGMyhmS248SVy0SEsy2rZHBBGOzcnBw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"f6495e1479a73be17e8411d7e9304ddacab89491597f5cabafd805ba8c34bd8e","last_reissued_at":"2026-07-05T08:23:38.071087Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T08:23:38.071087Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"Log-Noetherian functions","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["math.CA","math.LO"],"primary_cat":"math.AG","authors_text":"Gal Binyamini","submitted_at":"2024-05-27T08:55:55Z","abstract_excerpt":"We introduce the class of \\emph{Log-Noetherian} (LN) functions. These are holomorphic solutions to algebraic differential equations (in several variables) with logarithmic singularities. We prove an upper bound on the number of solutions for systems of LN equations, resolving in particular Khovanskii's conjecture for Noetherian functions. Consequently, we show that the structure ${\\mathbb R}_\\text{LN}$ generated by LN-functions, as well as its expansion ${\\mathbb R}_\\text{LN,exp}$, are effectively o-minimal: definable sets in these structures admit effective bounds on their complexity in terms"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2405.16963","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/2405.16963/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":"2405.16963","created_at":"2026-07-05T08:23:38.071145+00:00"},{"alias_kind":"arxiv_version","alias_value":"2405.16963v1","created_at":"2026-07-05T08:23:38.071145+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2405.16963","created_at":"2026-07-05T08:23:38.071145+00:00"},{"alias_kind":"pith_short_12","alias_value":"6ZEV4FDZU456","created_at":"2026-07-05T08:23:38.071145+00:00"},{"alias_kind":"pith_short_16","alias_value":"6ZEV4FDZU456C7UE","created_at":"2026-07-05T08:23:38.071145+00:00"},{"alias_kind":"pith_short_8","alias_value":"6ZEV4FDZ","created_at":"2026-07-05T08:23:38.071145+00:00"}],"events":[],"event_summary":{},"paper_claims":[],"inbound_citations":{"count":2,"internal_anchor_count":0,"sample":[{"citing_arxiv_id":"2606.29369","citing_title":"Andr\\'{e}'s theorem and weakly bounded height","ref_index":6,"is_internal_anchor":false},{"citing_arxiv_id":"2604.06144","citing_title":"Analytically generated sharply o-minimal structures","ref_index":1,"is_internal_anchor":false}]},"formal_canon":{"evidence_count":0,"sample":[],"anchors":[]},"links":{"html":"https://pith.science/pith/6ZEV4FDZU456C7UECHL6SMCN3L","json":"https://pith.science/pith/6ZEV4FDZU456C7UECHL6SMCN3L.json","graph_json":"https://pith.science/api/pith-number/6ZEV4FDZU456C7UECHL6SMCN3L/graph.json","events_json":"https://pith.science/api/pith-number/6ZEV4FDZU456C7UECHL6SMCN3L/events.json","paper":"https://pith.science/paper/6ZEV4FDZ"},"agent_actions":{"view_html":"https://pith.science/pith/6ZEV4FDZU456C7UECHL6SMCN3L","download_json":"https://pith.science/pith/6ZEV4FDZU456C7UECHL6SMCN3L.json","view_paper":"https://pith.science/paper/6ZEV4FDZ","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=2405.16963&json=true","fetch_graph":"https://pith.science/api/pith-number/6ZEV4FDZU456C7UECHL6SMCN3L/graph.json","fetch_events":"https://pith.science/api/pith-number/6ZEV4FDZU456C7UECHL6SMCN3L/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/6ZEV4FDZU456C7UECHL6SMCN3L/action/timestamp_anchor","attest_storage":"https://pith.science/pith/6ZEV4FDZU456C7UECHL6SMCN3L/action/storage_attestation","attest_author":"https://pith.science/pith/6ZEV4FDZU456C7UECHL6SMCN3L/action/author_attestation","sign_citation":"https://pith.science/pith/6ZEV4FDZU456C7UECHL6SMCN3L/action/citation_signature","submit_replication":"https://pith.science/pith/6ZEV4FDZU456C7UECHL6SMCN3L/action/replication_record"}},"created_at":"2026-07-05T08:23:38.071145+00:00","updated_at":"2026-07-05T08:23:38.071145+00:00"}