{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2019:U2ZXNMH4UY7SA3ZI5Q4CALQ5IV","short_pith_number":"pith:U2ZXNMH4","schema_version":"1.0","canonical_sha256":"a6b376b0fca63f206f28ec38202e1d456691b8ce03848e86da2fba0bec9116b3","source":{"kind":"arxiv","id":"1902.08006","version":1},"attestation_state":"computed","paper":{"title":"Limit Learning Equivalence Structures","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"math.LO","authors_text":"Ekaterina Fokina, Luca San Mauro, Timo K\\\"otzing","submitted_at":"2019-02-21T12:44:25Z","abstract_excerpt":"While most research in Gold-style learning focuses on learning formal languages, we consider the identification of computable structures, specifically equivalence structures. In our core model the learner gets more and more information about which pairs of elements of a structure are related and which are not. The aim of the learner is to find (an effective description of) the isomorphism type of the structure presented in the limit. In accordance with language learning we call this learning criterion InfEx-learning (explanatory learning from informant).\n  Our main contribution is a complete c"},"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":"1902.08006","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.LO","submitted_at":"2019-02-21T12:44:25Z","cross_cats_sorted":[],"title_canon_sha256":"6586b6184e3e8107b5650272ed3c7af32bd906a87f4d3b74b7cbb93ecea10bd4","abstract_canon_sha256":"e6eb65f66af2cb93123e97c7ae18cb762cc89b127f43bead4c72963325e48d43"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-17T23:53:02.451811Z","signature_b64":"mIJCvrXG1PoQyMfWlLfF3R2aLYhmArIFp0yJJWzxi973mGKmX28miMeLJx8tufzgm27f0viMKxZtwLkQCB9WCw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"a6b376b0fca63f206f28ec38202e1d456691b8ce03848e86da2fba0bec9116b3","last_reissued_at":"2026-05-17T23:53:02.451085Z","signature_status":"signed_v1","first_computed_at":"2026-05-17T23:53:02.451085Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"Limit Learning Equivalence Structures","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"math.LO","authors_text":"Ekaterina Fokina, Luca San Mauro, Timo K\\\"otzing","submitted_at":"2019-02-21T12:44:25Z","abstract_excerpt":"While most research in Gold-style learning focuses on learning formal languages, we consider the identification of computable structures, specifically equivalence structures. In our core model the learner gets more and more information about which pairs of elements of a structure are related and which are not. The aim of the learner is to find (an effective description of) the isomorphism type of the structure presented in the limit. In accordance with language learning we call this learning criterion InfEx-learning (explanatory learning from informant).\n  Our main contribution is a complete c"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1902.08006","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":"1902.08006","created_at":"2026-05-17T23:53:02.451191+00:00"},{"alias_kind":"arxiv_version","alias_value":"1902.08006v1","created_at":"2026-05-17T23:53:02.451191+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1902.08006","created_at":"2026-05-17T23:53:02.451191+00:00"},{"alias_kind":"pith_short_12","alias_value":"U2ZXNMH4UY7S","created_at":"2026-05-18T12:33:30.264802+00:00"},{"alias_kind":"pith_short_16","alias_value":"U2ZXNMH4UY7SA3ZI","created_at":"2026-05-18T12:33:30.264802+00:00"},{"alias_kind":"pith_short_8","alias_value":"U2ZXNMH4","created_at":"2026-05-18T12:33:30.264802+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/U2ZXNMH4UY7SA3ZI5Q4CALQ5IV","json":"https://pith.science/pith/U2ZXNMH4UY7SA3ZI5Q4CALQ5IV.json","graph_json":"https://pith.science/api/pith-number/U2ZXNMH4UY7SA3ZI5Q4CALQ5IV/graph.json","events_json":"https://pith.science/api/pith-number/U2ZXNMH4UY7SA3ZI5Q4CALQ5IV/events.json","paper":"https://pith.science/paper/U2ZXNMH4"},"agent_actions":{"view_html":"https://pith.science/pith/U2ZXNMH4UY7SA3ZI5Q4CALQ5IV","download_json":"https://pith.science/pith/U2ZXNMH4UY7SA3ZI5Q4CALQ5IV.json","view_paper":"https://pith.science/paper/U2ZXNMH4","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=1902.08006&json=true","fetch_graph":"https://pith.science/api/pith-number/U2ZXNMH4UY7SA3ZI5Q4CALQ5IV/graph.json","fetch_events":"https://pith.science/api/pith-number/U2ZXNMH4UY7SA3ZI5Q4CALQ5IV/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/U2ZXNMH4UY7SA3ZI5Q4CALQ5IV/action/timestamp_anchor","attest_storage":"https://pith.science/pith/U2ZXNMH4UY7SA3ZI5Q4CALQ5IV/action/storage_attestation","attest_author":"https://pith.science/pith/U2ZXNMH4UY7SA3ZI5Q4CALQ5IV/action/author_attestation","sign_citation":"https://pith.science/pith/U2ZXNMH4UY7SA3ZI5Q4CALQ5IV/action/citation_signature","submit_replication":"https://pith.science/pith/U2ZXNMH4UY7SA3ZI5Q4CALQ5IV/action/replication_record"}},"created_at":"2026-05-17T23:53:02.451191+00:00","updated_at":"2026-05-17T23:53:02.451191+00:00"}