Commit 2022-09-19 18:02 043a74e2

View on Github →

feat(model_theory/satisfiability): Maximally consistent theories (#16547) Defines first_order.language.Theory.is_maximal to denote maximally consistent theories Shows that such theories are complete, and that the complete theory of a structure, as constructed, is maximal

Estimated changes