Zulip Chat Archive
Stream: Formal conjectures
Topic: Vaught conjecture
Moritz Firsching (Nov 19 2025 at 09:51):
Is there someone here familiar here with model theory who could give a review for the nice addition of the Vaught conjecture?
https://github.com/google-deepmind/formal-conjectures/pull/1208
Johan Commelin (Nov 21 2025 at 08:47):
cc @Aaron Anderson @Adam Topaz maybe?
Floris van Doorn (Nov 21 2025 at 13:12):
It looks good to me!
Last updated: Dec 20 2025 at 21:32 UTC