{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2013:EXBLXKSZN2V6PMIQ6MDWZWXIH3","short_pith_number":"pith:EXBLXKSZ","schema_version":"1.0","canonical_sha256":"25c2bbaa596eabe7b110f3076cdae83ed29cecd07a07cb9db1e4e4254a350a8f","source":{"kind":"arxiv","id":"1308.5409","version":1},"attestation_state":"computed","paper":{"title":"Second-Order Algebraic Theories","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["math.CT"],"primary_cat":"cs.LO","authors_text":"Marcelo Fiore, Ola Mahmoud","submitted_at":"2013-08-25T14:23:54Z","abstract_excerpt":"Fiore and Hur recently introduced a conservative extension of universal algebra and equational logic from first to second order. Second-order universal algebra and second-order equational logic respectively provide a model theory and a formal deductive system for languages with variable binding and parameterised metavariables. This work completes the foundations of the subject from the viewpoint of categorical algebra. Specifically, the paper introduces the notion of second-order algebraic theory and develops its basic theory. Two categorical equivalences are established: at the syntactic leve"},"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":"1308.5409","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2013-08-25T14:23:54Z","cross_cats_sorted":["math.CT"],"title_canon_sha256":"05bdefce6a44bd0a6680e7db1693aa98e74d569e2d5f226a496fdb5e21aa2134","abstract_canon_sha256":"b10dde3f79e077334a532d0af229288ec48f835bae3ab231b62026de9b81844a"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T03:15:04.765610Z","signature_b64":"miVB3hmNHLHttExUTYh2Rnyfks/ODqipp486Uuzh8mvwDed1szgjm5pm1vT1PNbkzeA6ujz7w2SpmV6k/4saDQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"25c2bbaa596eabe7b110f3076cdae83ed29cecd07a07cb9db1e4e4254a350a8f","last_reissued_at":"2026-05-18T03:15:04.764708Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T03:15:04.764708Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"Second-Order Algebraic Theories","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["math.CT"],"primary_cat":"cs.LO","authors_text":"Marcelo Fiore, Ola Mahmoud","submitted_at":"2013-08-25T14:23:54Z","abstract_excerpt":"Fiore and Hur recently introduced a conservative extension of universal algebra and equational logic from first to second order. Second-order universal algebra and second-order equational logic respectively provide a model theory and a formal deductive system for languages with variable binding and parameterised metavariables. This work completes the foundations of the subject from the viewpoint of categorical algebra. Specifically, the paper introduces the notion of second-order algebraic theory and develops its basic theory. Two categorical equivalences are established: at the syntactic leve"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1308.5409","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":""},"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":"1308.5409","created_at":"2026-05-18T03:15:04.764871+00:00"},{"alias_kind":"arxiv_version","alias_value":"1308.5409v1","created_at":"2026-05-18T03:15:04.764871+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1308.5409","created_at":"2026-05-18T03:15:04.764871+00:00"},{"alias_kind":"pith_short_12","alias_value":"EXBLXKSZN2V6","created_at":"2026-05-18T12:27:43.054852+00:00"},{"alias_kind":"pith_short_16","alias_value":"EXBLXKSZN2V6PMIQ","created_at":"2026-05-18T12:27:43.054852+00:00"},{"alias_kind":"pith_short_8","alias_value":"EXBLXKSZ","created_at":"2026-05-18T12:27:43.054852+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/EXBLXKSZN2V6PMIQ6MDWZWXIH3","json":"https://pith.science/pith/EXBLXKSZN2V6PMIQ6MDWZWXIH3.json","graph_json":"https://pith.science/api/pith-number/EXBLXKSZN2V6PMIQ6MDWZWXIH3/graph.json","events_json":"https://pith.science/api/pith-number/EXBLXKSZN2V6PMIQ6MDWZWXIH3/events.json","paper":"https://pith.science/paper/EXBLXKSZ"},"agent_actions":{"view_html":"https://pith.science/pith/EXBLXKSZN2V6PMIQ6MDWZWXIH3","download_json":"https://pith.science/pith/EXBLXKSZN2V6PMIQ6MDWZWXIH3.json","view_paper":"https://pith.science/paper/EXBLXKSZ","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=1308.5409&json=true","fetch_graph":"https://pith.science/api/pith-number/EXBLXKSZN2V6PMIQ6MDWZWXIH3/graph.json","fetch_events":"https://pith.science/api/pith-number/EXBLXKSZN2V6PMIQ6MDWZWXIH3/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/EXBLXKSZN2V6PMIQ6MDWZWXIH3/action/timestamp_anchor","attest_storage":"https://pith.science/pith/EXBLXKSZN2V6PMIQ6MDWZWXIH3/action/storage_attestation","attest_author":"https://pith.science/pith/EXBLXKSZN2V6PMIQ6MDWZWXIH3/action/author_attestation","sign_citation":"https://pith.science/pith/EXBLXKSZN2V6PMIQ6MDWZWXIH3/action/citation_signature","submit_replication":"https://pith.science/pith/EXBLXKSZN2V6PMIQ6MDWZWXIH3/action/replication_record"}},"created_at":"2026-05-18T03:15:04.764871+00:00","updated_at":"2026-05-18T03:15:04.764871+00:00"}