{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2010:IPCOWNYCKUGS5RE4WJIBYRND4C","short_pith_number":"pith:IPCOWNYC","schema_version":"1.0","canonical_sha256":"43c4eb3702550d2ec49cb2501c45a3e0981f5ee1ebf0a389a3b3c2dbc3b8fec9","source":{"kind":"arxiv","id":"1011.4718","version":1},"attestation_state":"computed","paper":{"title":"Characterization and definability in modal first-order fragments","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["math.LO"],"primary_cat":"cs.LO","authors_text":"Facundo Carreiro","submitted_at":"2010-11-22T02:35:43Z","abstract_excerpt":"Model theoretic results such as Characterization and Definability give important information about different logics. It is well known that the proofs of those results for several modal logics have, somehow, the same 'taste'. A general proof for most modal logics below first order is still too ambitious. In this thesis we plan to isolate sufficient conditions for the characterization and definability theorems to hold in a wide range of logics. Along with these conditions we will prove that, whichever logic that meets them, satisfies both theorems. Therefore, one could give an unifying proof for"},"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":"1011.4718","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2010-11-22T02:35:43Z","cross_cats_sorted":["math.LO"],"title_canon_sha256":"8bed939854933d9ef2547c599d9d1dcad841c17e0e0bee3dd7bc42dc2e45baaa","abstract_canon_sha256":"ac53ecb694b7ecb6ffd8f260c3d1a6a7988628357cdcb294339d78c61ce9b2f3"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T04:35:04.112007Z","signature_b64":"aEkuaJEJxB4o3vGll2D6vsqdC80dGMCecfi7hCEQ63uhL8DuMK37NQfIL2PVgkGXYoOL+iwRQ7dFfpBQSp6+Bw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"43c4eb3702550d2ec49cb2501c45a3e0981f5ee1ebf0a389a3b3c2dbc3b8fec9","last_reissued_at":"2026-05-18T04:35:04.111412Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T04:35:04.111412Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"Characterization and definability in modal first-order fragments","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["math.LO"],"primary_cat":"cs.LO","authors_text":"Facundo Carreiro","submitted_at":"2010-11-22T02:35:43Z","abstract_excerpt":"Model theoretic results such as Characterization and Definability give important information about different logics. It is well known that the proofs of those results for several modal logics have, somehow, the same 'taste'. A general proof for most modal logics below first order is still too ambitious. In this thesis we plan to isolate sufficient conditions for the characterization and definability theorems to hold in a wide range of logics. Along with these conditions we will prove that, whichever logic that meets them, satisfies both theorems. Therefore, one could give an unifying proof for"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1011.4718","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":"1011.4718","created_at":"2026-05-18T04:35:04.111488+00:00"},{"alias_kind":"arxiv_version","alias_value":"1011.4718v1","created_at":"2026-05-18T04:35:04.111488+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1011.4718","created_at":"2026-05-18T04:35:04.111488+00:00"},{"alias_kind":"pith_short_12","alias_value":"IPCOWNYCKUGS","created_at":"2026-05-18T12:26:09.077623+00:00"},{"alias_kind":"pith_short_16","alias_value":"IPCOWNYCKUGS5RE4","created_at":"2026-05-18T12:26:09.077623+00:00"},{"alias_kind":"pith_short_8","alias_value":"IPCOWNYC","created_at":"2026-05-18T12:26:09.077623+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/IPCOWNYCKUGS5RE4WJIBYRND4C","json":"https://pith.science/pith/IPCOWNYCKUGS5RE4WJIBYRND4C.json","graph_json":"https://pith.science/api/pith-number/IPCOWNYCKUGS5RE4WJIBYRND4C/graph.json","events_json":"https://pith.science/api/pith-number/IPCOWNYCKUGS5RE4WJIBYRND4C/events.json","paper":"https://pith.science/paper/IPCOWNYC"},"agent_actions":{"view_html":"https://pith.science/pith/IPCOWNYCKUGS5RE4WJIBYRND4C","download_json":"https://pith.science/pith/IPCOWNYCKUGS5RE4WJIBYRND4C.json","view_paper":"https://pith.science/paper/IPCOWNYC","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=1011.4718&json=true","fetch_graph":"https://pith.science/api/pith-number/IPCOWNYCKUGS5RE4WJIBYRND4C/graph.json","fetch_events":"https://pith.science/api/pith-number/IPCOWNYCKUGS5RE4WJIBYRND4C/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/IPCOWNYCKUGS5RE4WJIBYRND4C/action/timestamp_anchor","attest_storage":"https://pith.science/pith/IPCOWNYCKUGS5RE4WJIBYRND4C/action/storage_attestation","attest_author":"https://pith.science/pith/IPCOWNYCKUGS5RE4WJIBYRND4C/action/author_attestation","sign_citation":"https://pith.science/pith/IPCOWNYCKUGS5RE4WJIBYRND4C/action/citation_signature","submit_replication":"https://pith.science/pith/IPCOWNYCKUGS5RE4WJIBYRND4C/action/replication_record"}},"created_at":"2026-05-18T04:35:04.111488+00:00","updated_at":"2026-05-18T04:35:04.111488+00:00"}