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