{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2018:H4U2FBGN3GCX2XCCCS43AJTVCL","short_pith_number":"pith:H4U2FBGN","schema_version":"1.0","canonical_sha256":"3f29a284cdd9857d5c4214b9b0267512d35d585402f1958e1daf799854045cfe","source":{"kind":"arxiv","id":"1810.05113","version":1},"attestation_state":"computed","paper":{"title":"Bounded Invariant Equivalence Relations","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"math.LO","authors_text":"Tomasz Rzepecki","submitted_at":"2018-10-11T16:31:03Z","abstract_excerpt":"We study strong types and Galois groups in model theory from a topological and descriptive-set-theoretical point of view, leaning heavily on topological dynamical tools. More precisely, we give an abstract (not model theoretic) treatment of problems related to cardinality and Borel cardinality of strong types, quotients of definable groups and related objecets, generalising (and often improving) essentially all hitherto known results in this area. In particular, we show that under reasonable assumptions, strong type spaces are \"locally\" quotients of compact Polish groups. It follows that they "},"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":"1810.05113","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.LO","submitted_at":"2018-10-11T16:31:03Z","cross_cats_sorted":[],"title_canon_sha256":"b512018066fcd52b5374538d2604a16a35ed6f6c2f9c41c15546f9d3adf27969","abstract_canon_sha256":"ba1a2e82992421d32e98008179988e9085cb564020dde96328fc2bcf15e1f777"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T00:03:34.835328Z","signature_b64":"B/FtJpQwB3eVjY35TYZDXSb9Uh9vBpXYG/7GJK8YJU4fDti6umdo5L1j+RUt+zrG//LDw4NNR0Ty0rWxTZP4DA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"3f29a284cdd9857d5c4214b9b0267512d35d585402f1958e1daf799854045cfe","last_reissued_at":"2026-05-18T00:03:34.834863Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T00:03:34.834863Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"Bounded Invariant Equivalence Relations","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"math.LO","authors_text":"Tomasz Rzepecki","submitted_at":"2018-10-11T16:31:03Z","abstract_excerpt":"We study strong types and Galois groups in model theory from a topological and descriptive-set-theoretical point of view, leaning heavily on topological dynamical tools. More precisely, we give an abstract (not model theoretic) treatment of problems related to cardinality and Borel cardinality of strong types, quotients of definable groups and related objecets, generalising (and often improving) essentially all hitherto known results in this area. In particular, we show that under reasonable assumptions, strong type spaces are \"locally\" quotients of compact Polish groups. It follows that they "},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1810.05113","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":"1810.05113","created_at":"2026-05-18T00:03:34.834935+00:00"},{"alias_kind":"arxiv_version","alias_value":"1810.05113v1","created_at":"2026-05-18T00:03:34.834935+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1810.05113","created_at":"2026-05-18T00:03:34.834935+00:00"},{"alias_kind":"pith_short_12","alias_value":"H4U2FBGN3GCX","created_at":"2026-05-18T12:32:28.185984+00:00"},{"alias_kind":"pith_short_16","alias_value":"H4U2FBGN3GCX2XCC","created_at":"2026-05-18T12:32:28.185984+00:00"},{"alias_kind":"pith_short_8","alias_value":"H4U2FBGN","created_at":"2026-05-18T12:32:28.185984+00:00"}],"events":[],"event_summary":{},"paper_claims":[],"inbound_citations":{"count":1,"internal_anchor_count":1,"sample":[{"citing_arxiv_id":"2507.23503","citing_title":"Convolution semigroups for automorphism dynamics","ref_index":2011,"is_internal_anchor":true}]},"formal_canon":{"evidence_count":0,"sample":[],"anchors":[]},"links":{"html":"https://pith.science/pith/H4U2FBGN3GCX2XCCCS43AJTVCL","json":"https://pith.science/pith/H4U2FBGN3GCX2XCCCS43AJTVCL.json","graph_json":"https://pith.science/api/pith-number/H4U2FBGN3GCX2XCCCS43AJTVCL/graph.json","events_json":"https://pith.science/api/pith-number/H4U2FBGN3GCX2XCCCS43AJTVCL/events.json","paper":"https://pith.science/paper/H4U2FBGN"},"agent_actions":{"view_html":"https://pith.science/pith/H4U2FBGN3GCX2XCCCS43AJTVCL","download_json":"https://pith.science/pith/H4U2FBGN3GCX2XCCCS43AJTVCL.json","view_paper":"https://pith.science/paper/H4U2FBGN","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=1810.05113&json=true","fetch_graph":"https://pith.science/api/pith-number/H4U2FBGN3GCX2XCCCS43AJTVCL/graph.json","fetch_events":"https://pith.science/api/pith-number/H4U2FBGN3GCX2XCCCS43AJTVCL/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/H4U2FBGN3GCX2XCCCS43AJTVCL/action/timestamp_anchor","attest_storage":"https://pith.science/pith/H4U2FBGN3GCX2XCCCS43AJTVCL/action/storage_attestation","attest_author":"https://pith.science/pith/H4U2FBGN3GCX2XCCCS43AJTVCL/action/author_attestation","sign_citation":"https://pith.science/pith/H4U2FBGN3GCX2XCCCS43AJTVCL/action/citation_signature","submit_replication":"https://pith.science/pith/H4U2FBGN3GCX2XCCCS43AJTVCL/action/replication_record"}},"created_at":"2026-05-18T00:03:34.834935+00:00","updated_at":"2026-05-18T00:03:34.834935+00:00"}