Help


+
: Every countable theory which is satisfiable in a model M, is satisfiable in a countable substructure of M.

Edit
Promote Demote Fragment Fix

+
: Every countable theory which is satisfiable in a model is also satisfiable in a countable model.

Edit
Promote Demote Fragment Fix

0.004 seconds.