{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2019:AXBZFFT563E4D6IYCTUJTVMJM5","short_pith_number":"pith:AXBZFFT5","schema_version":"1.0","canonical_sha256":"05c392967df6c9c1f91814e899d589674124023f70326245cbba7aefbdf516d9","source":{"kind":"arxiv","id":"1905.09450","version":1},"attestation_state":"computed","paper":{"title":"Lewisian Fixed Points I: Two Incomparable Constructions","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.LO","authors_text":"Albert Visser, Tadeusz Litak","submitted_at":"2019-05-23T03:29:54Z","abstract_excerpt":"Our paper is the first study of what one might call \"reverse mathematics of explicit fixpoints\". We study two methods of constructing such fixpoints for formulas whose principal connective is the intuitionistic Lewis arrow. Our main motivation comes from metatheory of constructive arithmetic, but the systems in question allows several natural semantics. The first of these methods, inspired by de Jongh and Visser, turns out to yield a well-understood modal system. The second one by de Jongh and Sambin, seemingly simpler, leads to a modal theory that proves harder to axiomatize in an elegant way"},"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":"1905.09450","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2019-05-23T03:29:54Z","cross_cats_sorted":[],"title_canon_sha256":"0bfbc80691bf0112dcf0b7cca8981acefd22edd05272c2b0915bd5234130e779","abstract_canon_sha256":"33231a9949d9b0f7d7e92cfaf6b6d28469d27c6f8d7468db0075d44671205828"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-17T23:45:17.004687Z","signature_b64":"j4rhnennQymYhQ7nWSsFxwPOJ47isT2PFtu2ZDyHFtXb84ug3UcgBjfk/dwwKbm4wXEvvxiOpkVOGifEaw9pDw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"05c392967df6c9c1f91814e899d589674124023f70326245cbba7aefbdf516d9","last_reissued_at":"2026-05-17T23:45:17.003905Z","signature_status":"signed_v1","first_computed_at":"2026-05-17T23:45:17.003905Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"Lewisian Fixed Points I: Two Incomparable Constructions","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.LO","authors_text":"Albert Visser, Tadeusz Litak","submitted_at":"2019-05-23T03:29:54Z","abstract_excerpt":"Our paper is the first study of what one might call \"reverse mathematics of explicit fixpoints\". We study two methods of constructing such fixpoints for formulas whose principal connective is the intuitionistic Lewis arrow. Our main motivation comes from metatheory of constructive arithmetic, but the systems in question allows several natural semantics. The first of these methods, inspired by de Jongh and Visser, turns out to yield a well-understood modal system. The second one by de Jongh and Sambin, seemingly simpler, leads to a modal theory that proves harder to axiomatize in an elegant way"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1905.09450","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":"1905.09450","created_at":"2026-05-17T23:45:17.004024+00:00"},{"alias_kind":"arxiv_version","alias_value":"1905.09450v1","created_at":"2026-05-17T23:45:17.004024+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1905.09450","created_at":"2026-05-17T23:45:17.004024+00:00"},{"alias_kind":"pith_short_12","alias_value":"AXBZFFT563E4","created_at":"2026-05-18T12:33:12.712433+00:00"},{"alias_kind":"pith_short_16","alias_value":"AXBZFFT563E4D6IY","created_at":"2026-05-18T12:33:12.712433+00:00"},{"alias_kind":"pith_short_8","alias_value":"AXBZFFT5","created_at":"2026-05-18T12:33:12.712433+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/AXBZFFT563E4D6IYCTUJTVMJM5","json":"https://pith.science/pith/AXBZFFT563E4D6IYCTUJTVMJM5.json","graph_json":"https://pith.science/api/pith-number/AXBZFFT563E4D6IYCTUJTVMJM5/graph.json","events_json":"https://pith.science/api/pith-number/AXBZFFT563E4D6IYCTUJTVMJM5/events.json","paper":"https://pith.science/paper/AXBZFFT5"},"agent_actions":{"view_html":"https://pith.science/pith/AXBZFFT563E4D6IYCTUJTVMJM5","download_json":"https://pith.science/pith/AXBZFFT563E4D6IYCTUJTVMJM5.json","view_paper":"https://pith.science/paper/AXBZFFT5","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=1905.09450&json=true","fetch_graph":"https://pith.science/api/pith-number/AXBZFFT563E4D6IYCTUJTVMJM5/graph.json","fetch_events":"https://pith.science/api/pith-number/AXBZFFT563E4D6IYCTUJTVMJM5/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/AXBZFFT563E4D6IYCTUJTVMJM5/action/timestamp_anchor","attest_storage":"https://pith.science/pith/AXBZFFT563E4D6IYCTUJTVMJM5/action/storage_attestation","attest_author":"https://pith.science/pith/AXBZFFT563E4D6IYCTUJTVMJM5/action/author_attestation","sign_citation":"https://pith.science/pith/AXBZFFT563E4D6IYCTUJTVMJM5/action/citation_signature","submit_replication":"https://pith.science/pith/AXBZFFT563E4D6IYCTUJTVMJM5/action/replication_record"}},"created_at":"2026-05-17T23:45:17.004024+00:00","updated_at":"2026-05-17T23:45:17.004024+00:00"}