MathDB1 problem
Lachlan class characterization conjecture. Lachlan's class equals precisely the class of structures that are interdefinable with the model-complete core of a structure interpretabl…
Lachlan class characterization conjecture. Lachlan's class equals precisely the class of structures that are interdefinable with the model-complete core of a structure interpretabl…