3 ms·
I would add that there is/was a certain desire for categorical theories. "In mathematical logic, a theory is categorical if it has exactly one model (up to iso
by hackandthink 1y ago
I would add that there is/was a certain desire for categorical theories.
"In mathematical logic, a theory is categorical if it has exactly one model (up to isomorphism)."
(categorical is stronger than complete)