{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2015:5NX4MM2GZBRZNVRT6P4R6VMQMF","short_pith_number":"pith:5NX4MM2G","schema_version":"1.0","canonical_sha256":"eb6fc63346c86396d633f3f91f5590614eb3ee3783bc902703e6a170b05f1107","source":{"kind":"arxiv","id":"1509.04112","version":2},"attestation_state":"computed","paper":{"title":"Tarski-type problems for free associative algebras","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["math.RA"],"primary_cat":"math.LO","authors_text":"Alexei Myasnikov, Olga Kharlampovich","submitted_at":"2015-09-14T14:29:44Z","abstract_excerpt":"In this paper we study fundamental model-theoretic questions for free associative algebras, namely, first-order classification, decidability of the first-order theory, and definability of the set of free bases. We show that two free associative algebras of finite rank over fields are elementarily equivalent if and only if their ranks are the same and the fields are equivalent in the weak second order logic. In particular, two free associative algebras of finite rank over the same field are elementarily equivalent if and only if they are isomorphic. We prove that if an arbitrary ring $B$ with a"},"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":"1509.04112","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.LO","submitted_at":"2015-09-14T14:29:44Z","cross_cats_sorted":["math.RA"],"title_canon_sha256":"68269e3430f1f00efe79001b3f2177c0cd3457dfd15e8a9923ba3a8debfd1e46","abstract_canon_sha256":"d126e0fee9a296a5e80f4595cedf4b9f19c7371df10a3f76f2cb1f7aedafcf38"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T00:08:05.477032Z","signature_b64":"7coKzIeicj6zQbQ54XqXnRtru4j+1QoRFQO//reDsxZQ2Khrek92P04lZUM0HQrNj5NGga1z9l8+e4UopEvKBg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"eb6fc63346c86396d633f3f91f5590614eb3ee3783bc902703e6a170b05f1107","last_reissued_at":"2026-05-18T00:08:05.476387Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T00:08:05.476387Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"Tarski-type problems for free associative algebras","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["math.RA"],"primary_cat":"math.LO","authors_text":"Alexei Myasnikov, Olga Kharlampovich","submitted_at":"2015-09-14T14:29:44Z","abstract_excerpt":"In this paper we study fundamental model-theoretic questions for free associative algebras, namely, first-order classification, decidability of the first-order theory, and definability of the set of free bases. We show that two free associative algebras of finite rank over fields are elementarily equivalent if and only if their ranks are the same and the fields are equivalent in the weak second order logic. In particular, two free associative algebras of finite rank over the same field are elementarily equivalent if and only if they are isomorphic. We prove that if an arbitrary ring $B$ with a"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1509.04112","kind":"arxiv","version":2},"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":"1509.04112","created_at":"2026-05-18T00:08:05.476493+00:00"},{"alias_kind":"arxiv_version","alias_value":"1509.04112v2","created_at":"2026-05-18T00:08:05.476493+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1509.04112","created_at":"2026-05-18T00:08:05.476493+00:00"},{"alias_kind":"pith_short_12","alias_value":"5NX4MM2GZBRZ","created_at":"2026-05-18T12:29:05.191682+00:00"},{"alias_kind":"pith_short_16","alias_value":"5NX4MM2GZBRZNVRT","created_at":"2026-05-18T12:29:05.191682+00:00"},{"alias_kind":"pith_short_8","alias_value":"5NX4MM2G","created_at":"2026-05-18T12:29:05.191682+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/5NX4MM2GZBRZNVRT6P4R6VMQMF","json":"https://pith.science/pith/5NX4MM2GZBRZNVRT6P4R6VMQMF.json","graph_json":"https://pith.science/api/pith-number/5NX4MM2GZBRZNVRT6P4R6VMQMF/graph.json","events_json":"https://pith.science/api/pith-number/5NX4MM2GZBRZNVRT6P4R6VMQMF/events.json","paper":"https://pith.science/paper/5NX4MM2G"},"agent_actions":{"view_html":"https://pith.science/pith/5NX4MM2GZBRZNVRT6P4R6VMQMF","download_json":"https://pith.science/pith/5NX4MM2GZBRZNVRT6P4R6VMQMF.json","view_paper":"https://pith.science/paper/5NX4MM2G","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=1509.04112&json=true","fetch_graph":"https://pith.science/api/pith-number/5NX4MM2GZBRZNVRT6P4R6VMQMF/graph.json","fetch_events":"https://pith.science/api/pith-number/5NX4MM2GZBRZNVRT6P4R6VMQMF/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/5NX4MM2GZBRZNVRT6P4R6VMQMF/action/timestamp_anchor","attest_storage":"https://pith.science/pith/5NX4MM2GZBRZNVRT6P4R6VMQMF/action/storage_attestation","attest_author":"https://pith.science/pith/5NX4MM2GZBRZNVRT6P4R6VMQMF/action/author_attestation","sign_citation":"https://pith.science/pith/5NX4MM2GZBRZNVRT6P4R6VMQMF/action/citation_signature","submit_replication":"https://pith.science/pith/5NX4MM2GZBRZNVRT6P4R6VMQMF/action/replication_record"}},"created_at":"2026-05-18T00:08:05.476493+00:00","updated_at":"2026-05-18T00:08:05.476493+00:00"}