{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2018:CLNLMZHX6UF7YWWVPEKXHBM5N3","short_pith_number":"pith:CLNLMZHX","schema_version":"1.0","canonical_sha256":"12dab664f7f50bfc5ad5791573859d6ef0888f1fe04f97aef7d02212b4b52958","source":{"kind":"arxiv","id":"1808.08323","version":2},"attestation_state":"computed","paper":{"title":"Groupoids and Relative Internality","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"math.LO","authors_text":"L\\'eo Jimenez","submitted_at":"2018-08-24T22:01:39Z","abstract_excerpt":"In a stable theory, a stationary type $q \\in S(A)$ internal to a family of partial types $\\mathcal{P}$ over $A$ gives rise to a type-definable group, called its binding group. This group is isomorphic to the group $\\mathrm{Aut}(q/\\mathcal{P},A)$ of permutations of the set of realizations of $q$, induced by automorphisms of the monster model, fixing $\\mathcal{P} \\cup A$ pointwise. In this paper, we investigate families of internal types varying uniformly, what we will call relative internality. We prove that the binding groups also vary uniformly, and are the isotropy groups of a natural type-d"},"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":"1808.08323","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.LO","submitted_at":"2018-08-24T22:01:39Z","cross_cats_sorted":[],"title_canon_sha256":"9a81713dfc6d5692ed1946191c67c13b3e4f57911d37642f5552e523e00be88f","abstract_canon_sha256":"3aa7e9732b9524278b1a8cc855c7f61a494a62bb3d1c1f85178792ea23b0b42d"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-17T23:42:13.991092Z","signature_b64":"FM+A7q5i5Q0VjAv7QzS+sgQDQpSMP/a0POaW5ZXpLLdOzopbCZf/S9k6BVqL0RvzkoSp36ikdtw/g0Tbrk/EDw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"12dab664f7f50bfc5ad5791573859d6ef0888f1fe04f97aef7d02212b4b52958","last_reissued_at":"2026-05-17T23:42:13.990638Z","signature_status":"signed_v1","first_computed_at":"2026-05-17T23:42:13.990638Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"Groupoids and Relative Internality","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"math.LO","authors_text":"L\\'eo Jimenez","submitted_at":"2018-08-24T22:01:39Z","abstract_excerpt":"In a stable theory, a stationary type $q \\in S(A)$ internal to a family of partial types $\\mathcal{P}$ over $A$ gives rise to a type-definable group, called its binding group. This group is isomorphic to the group $\\mathrm{Aut}(q/\\mathcal{P},A)$ of permutations of the set of realizations of $q$, induced by automorphisms of the monster model, fixing $\\mathcal{P} \\cup A$ pointwise. In this paper, we investigate families of internal types varying uniformly, what we will call relative internality. We prove that the binding groups also vary uniformly, and are the isotropy groups of a natural type-d"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1808.08323","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":"1808.08323","created_at":"2026-05-17T23:42:13.990699+00:00"},{"alias_kind":"arxiv_version","alias_value":"1808.08323v2","created_at":"2026-05-17T23:42:13.990699+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1808.08323","created_at":"2026-05-17T23:42:13.990699+00:00"},{"alias_kind":"pith_short_12","alias_value":"CLNLMZHX6UF7","created_at":"2026-05-18T12:32:16.446611+00:00"},{"alias_kind":"pith_short_16","alias_value":"CLNLMZHX6UF7YWWV","created_at":"2026-05-18T12:32:16.446611+00:00"},{"alias_kind":"pith_short_8","alias_value":"CLNLMZHX","created_at":"2026-05-18T12:32:16.446611+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/CLNLMZHX6UF7YWWVPEKXHBM5N3","json":"https://pith.science/pith/CLNLMZHX6UF7YWWVPEKXHBM5N3.json","graph_json":"https://pith.science/api/pith-number/CLNLMZHX6UF7YWWVPEKXHBM5N3/graph.json","events_json":"https://pith.science/api/pith-number/CLNLMZHX6UF7YWWVPEKXHBM5N3/events.json","paper":"https://pith.science/paper/CLNLMZHX"},"agent_actions":{"view_html":"https://pith.science/pith/CLNLMZHX6UF7YWWVPEKXHBM5N3","download_json":"https://pith.science/pith/CLNLMZHX6UF7YWWVPEKXHBM5N3.json","view_paper":"https://pith.science/paper/CLNLMZHX","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=1808.08323&json=true","fetch_graph":"https://pith.science/api/pith-number/CLNLMZHX6UF7YWWVPEKXHBM5N3/graph.json","fetch_events":"https://pith.science/api/pith-number/CLNLMZHX6UF7YWWVPEKXHBM5N3/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/CLNLMZHX6UF7YWWVPEKXHBM5N3/action/timestamp_anchor","attest_storage":"https://pith.science/pith/CLNLMZHX6UF7YWWVPEKXHBM5N3/action/storage_attestation","attest_author":"https://pith.science/pith/CLNLMZHX6UF7YWWVPEKXHBM5N3/action/author_attestation","sign_citation":"https://pith.science/pith/CLNLMZHX6UF7YWWVPEKXHBM5N3/action/citation_signature","submit_replication":"https://pith.science/pith/CLNLMZHX6UF7YWWVPEKXHBM5N3/action/replication_record"}},"created_at":"2026-05-17T23:42:13.990699+00:00","updated_at":"2026-05-17T23:42:13.990699+00:00"}