{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2018:JUNPY2TMKRR26OG6FAGGLIM5TP","merge_version":"pith-open-graph-merge-v1","event_count":2,"valid_event_count":2,"invalid_event_count":0,"equivocation_count":0,"current":{"canonical_record":{"metadata":{"abstract_canon_sha256":"228907130911c4fcb9f356e452451c55a7c55c4ffe358f968708240a138ea8e5","cross_cats_sorted":["cs.PL","math.CT"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2018-12-25T04:28:54Z","title_canon_sha256":"aef94fbeece67c8750ff8d82d39209090d70f4b378802b3fb4af366f6025082b"},"schema_version":"1.0","source":{"id":"1812.10026","kind":"arxiv","version":9}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1812.10026","created_at":"2026-05-17T23:51:30Z"},{"alias_kind":"arxiv_version","alias_value":"1812.10026v9","created_at":"2026-05-17T23:51:30Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1812.10026","created_at":"2026-05-17T23:51:30Z"},{"alias_kind":"pith_short_12","alias_value":"JUNPY2TMKRR2","created_at":"2026-05-18T12:32:31Z"},{"alias_kind":"pith_short_16","alias_value":"JUNPY2TMKRR26OG6","created_at":"2026-05-18T12:32:31Z"},{"alias_kind":"pith_short_8","alias_value":"JUNPY2TM","created_at":"2026-05-18T12:32:31Z"}],"graph_snapshots":[{"event_id":"sha256:eb59998a184f074104d9b9b57fbb6eea02ecea6dc88fd620481f73043bc694fd","target":"graph","created_at":"2026-05-17T23:51:30Z","signer":{"key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signer_id":"pith.science","signer_type":"pith_registry"},"payload":{"graph_snapshot":{"author_claims":{"count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57","strong_count":0},"builder_version":"pith-number-builder-2026-05-17-v1","claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"formal_canon":{"evidence_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"paper":{"abstract_excerpt":"In this survey article (which hitherto is an ongoing work-in-progress) we present the formulation of the induction and coinduction principles using the language and conventions of each of order theory, set theory, programming languages' type theory, first-order logic, and category theory, for the purpose of examining some of the similarities and, more significantly, the dissimilarities between these various mathematical disciplines, and hence shed some light on the precise relation between these disciplines.\n  Towards that end, in this article we discuss plenty of related concepts, such as fix","authors_text":"Moez A. AbdelGawad","cross_cats":["cs.PL","math.CT"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2018-12-25T04:28:54Z","title":"Induction, Coinduction, and Fixed Points: A Concise Comparative Survey"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1812.10026","kind":"arxiv","version":9},"verdict":{"created_at":null,"id":null,"model_set":{},"one_line_summary":"","pipeline_version":null,"pith_extraction_headline":"","strongest_claim":"","weakest_assumption":""}},"verdict_id":null}}],"author_attestations":[],"timestamp_anchors":[],"storage_attestations":[],"citation_signatures":[],"replication_records":[],"corrections":[],"mirror_hints":[],"record_created":{"event_id":"sha256:bbafbb020fecca9295bcb28dc2900d5dca9fbc575e768b36597443fdf7fb15b7","target":"record","created_at":"2026-05-17T23:51:30Z","signer":{"key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signer_id":"pith.science","signer_type":"pith_registry"},"payload":{"attestation_state":"computed","canonical_record":{"metadata":{"abstract_canon_sha256":"228907130911c4fcb9f356e452451c55a7c55c4ffe358f968708240a138ea8e5","cross_cats_sorted":["cs.PL","math.CT"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2018-12-25T04:28:54Z","title_canon_sha256":"aef94fbeece67c8750ff8d82d39209090d70f4b378802b3fb4af366f6025082b"},"schema_version":"1.0","source":{"id":"1812.10026","kind":"arxiv","version":9}},"canonical_sha256":"4d1afc6a6c5463af38de280c65a19d9bfdd6242ecbf95946c0825926f39fdf08","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"4d1afc6a6c5463af38de280c65a19d9bfdd6242ecbf95946c0825926f39fdf08","first_computed_at":"2026-05-17T23:51:30.426845Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-17T23:51:30.426845Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"/OREznt0BsmVv7RRbuM3WUmaVbl58EXs1STAORdBz4TlP4bAh5uEGu7C1yiAIrj/W085h1wok2f1xIsYutScCw==","signature_status":"signed_v1","signed_at":"2026-05-17T23:51:30.427400Z","signed_message":"canonical_sha256_bytes"},"source_id":"1812.10026","source_kind":"arxiv","source_version":9}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:bbafbb020fecca9295bcb28dc2900d5dca9fbc575e768b36597443fdf7fb15b7","sha256:eb59998a184f074104d9b9b57fbb6eea02ecea6dc88fd620481f73043bc694fd"],"state_sha256":"1cdc9654c10bdbf91c389f4c840b0353286cda49023b60f4f4966340a6de9531"}