Zulip Chat Archive
Stream: PR reviews
Topic: Request for review: #27414 semilinear sets intersect/compl
Dexin Zhang (Oct 25 2025 at 15:15):
#27414 shows that semilinear sets are closed under intersection and complement. We want reviewers, and anyone who are interested in model theory is welcomed to comment!
Last updated: Dec 20 2025 at 21:32 UTC