{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:1993:4PVIABYHYAUFL2D5ZGCTZAZSQM","short_pith_number":"pith:4PVIABYH","schema_version":"1.0","canonical_sha256":"e3ea800707c02855e87dc9853c8332833b6ad956b892483c88f7a259e7bb6eca","source":{"kind":"arxiv","id":"math/9301204","version":1},"attestation_state":"computed","paper":{"title":"Some compact logics --- results in ZFC","license":"","headline":"","cross_cats":[],"primary_cat":"math.LO","authors_text":"Alan H. Mekler, Saharon Shelah","submitted_at":"1993-01-15T00:00:00Z","abstract_excerpt":"We show that if we enrich first order logic by allowing quantification over isomorphisms between definable ordered fields the resulting logic, L(Q_{Of}), is fully compact. In this logic, we can give standard compactness proofs of various results. Next, we attempt to get compactness results for some other logics without recourse to diamond, i.e., all our results are in ZFC. We get the full result for the language where we quantify over automorphisms (isomorphisms) of ordered fields in Theorem 6.4. Unfortunately we are not able to show that the language with quantification over automorphisms of "},"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":"math/9301204","kind":"arxiv","version":1},"metadata":{"license":"","primary_cat":"math.LO","submitted_at":"1993-01-15T00:00:00Z","cross_cats_sorted":[],"title_canon_sha256":"a768161c02c771de28f80a95f86754496bf14226ed2b919d8c88d01e4712bd75","abstract_canon_sha256":"121084b4ae2016a7885f4ace4bac98c31169ef9a11e502f146cef6dfeca589dd"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T01:05:52.397744Z","signature_b64":"WKHS08CyCmqaN3LK1IDdAVxpRoUKhMuU5yd4eIvF8FC1X2O5YQgZZAVJxKnmZQCo88Ggs04LFmmBPqY5SWIlBg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"e3ea800707c02855e87dc9853c8332833b6ad956b892483c88f7a259e7bb6eca","last_reissued_at":"2026-05-18T01:05:52.397344Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T01:05:52.397344Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"Some compact logics --- results in ZFC","license":"","headline":"","cross_cats":[],"primary_cat":"math.LO","authors_text":"Alan H. Mekler, Saharon Shelah","submitted_at":"1993-01-15T00:00:00Z","abstract_excerpt":"We show that if we enrich first order logic by allowing quantification over isomorphisms between definable ordered fields the resulting logic, L(Q_{Of}), is fully compact. In this logic, we can give standard compactness proofs of various results. Next, we attempt to get compactness results for some other logics without recourse to diamond, i.e., all our results are in ZFC. We get the full result for the language where we quantify over automorphisms (isomorphisms) of ordered fields in Theorem 6.4. Unfortunately we are not able to show that the language with quantification over automorphisms of "},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"math/9301204","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":"math/9301204","created_at":"2026-05-18T01:05:52.397405+00:00"},{"alias_kind":"arxiv_version","alias_value":"math/9301204v1","created_at":"2026-05-18T01:05:52.397405+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.math/9301204","created_at":"2026-05-18T01:05:52.397405+00:00"},{"alias_kind":"pith_short_12","alias_value":"4PVIABYHYAUF","created_at":"2026-05-18T12:25:47.102015+00:00"},{"alias_kind":"pith_short_16","alias_value":"4PVIABYHYAUFL2D5","created_at":"2026-05-18T12:25:47.102015+00:00"},{"alias_kind":"pith_short_8","alias_value":"4PVIABYH","created_at":"2026-05-18T12:25:47.102015+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/4PVIABYHYAUFL2D5ZGCTZAZSQM","json":"https://pith.science/pith/4PVIABYHYAUFL2D5ZGCTZAZSQM.json","graph_json":"https://pith.science/api/pith-number/4PVIABYHYAUFL2D5ZGCTZAZSQM/graph.json","events_json":"https://pith.science/api/pith-number/4PVIABYHYAUFL2D5ZGCTZAZSQM/events.json","paper":"https://pith.science/paper/4PVIABYH"},"agent_actions":{"view_html":"https://pith.science/pith/4PVIABYHYAUFL2D5ZGCTZAZSQM","download_json":"https://pith.science/pith/4PVIABYHYAUFL2D5ZGCTZAZSQM.json","view_paper":"https://pith.science/paper/4PVIABYH","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=math/9301204&json=true","fetch_graph":"https://pith.science/api/pith-number/4PVIABYHYAUFL2D5ZGCTZAZSQM/graph.json","fetch_events":"https://pith.science/api/pith-number/4PVIABYHYAUFL2D5ZGCTZAZSQM/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/4PVIABYHYAUFL2D5ZGCTZAZSQM/action/timestamp_anchor","attest_storage":"https://pith.science/pith/4PVIABYHYAUFL2D5ZGCTZAZSQM/action/storage_attestation","attest_author":"https://pith.science/pith/4PVIABYHYAUFL2D5ZGCTZAZSQM/action/author_attestation","sign_citation":"https://pith.science/pith/4PVIABYHYAUFL2D5ZGCTZAZSQM/action/citation_signature","submit_replication":"https://pith.science/pith/4PVIABYHYAUFL2D5ZGCTZAZSQM/action/replication_record"}},"created_at":"2026-05-18T01:05:52.397405+00:00","updated_at":"2026-05-18T01:05:52.397405+00:00"}