{"event":{"id":"evt-hist-phase34-vaught-lean","dedupe_key":"preprint_publication:2026-10-10:vaught-conjecture-infinitary-logic-counterexample-lean-preprint-submitted","event_type":"preprint_publication","title":"Vaught conjecture infinitary logic counterexample Lean preprint submitted","summary":"Authors claim a Lean-verified counterexample to Vaught's conjecture specifically for infinitary logic L_omega1_omega. Not a verified counterexample to stronger first-order variants or independent proof recreation.","occurred_at":"2026-10-10T00:00:00.000Z","published_at":"2026-10-10T00:00:00.000Z","observed_at":"2026-10-18T12:00:00.000Z","reconstructed_at":"2026-10-18T12:00:00.000Z","ingest_type":"historical_backfill","locations":null,"status":"verified","confidence":0.83,"metadata":{"evidence_only":1,"global_novelty_unproven":1,"independent_outcomes_unproven":1,"original_index_position":1258},"created_at":"2026-10-19T06:05:04.492Z","updated_at":"2026-10-19T06:05:04.492Z"},"artifacts":[{"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","relation":"documented_by"}],"signals":[]}