{"artifact":{"id":"art-hist-phase34-vaught-lean","dedupe_key":"595064cfcbf8d093813d359eda75d72baa1b262eabd5943746ea8240d5a70b3f","canonical_url":"https://arxiv.org/abs/2610.15217","evidence_locator":"","artifact_type":"original_publication","title":"Vaught conjecture infinitary logic counterexample Lean preprint submitted","summary":"","creator_entities":[],"released_at":"2026-10-10T00:00:00.000Z","content_hash":null,"metadata":[],"created_at":"2026-10-19T06:05:04.491Z","updated_at":"2026-10-19T06:05:04.491Z"},"sources":[{"id":"src-hist-phase34-vaught-lean","dedupe_key":"df5a69466d81821c096db9406d4bb61a8dab5ea58047a3886392c8e6f6d982e8","name":"","publisher":"arXiv","url":"https://arxiv.org/abs/2610.15217","evidence_locator":"","source_type":"author_preprint","primary_or_secondary":"","retrieved_at":"2026-10-18T12:00:00.000Z","published_at":"2026-10-10T00:00:00.000Z","author":null,"metadata":[],"created_at":"2026-10-19T06:05:04.490Z","updated_at":"2026-10-19T06:05:04.490Z"}]}