Search
❯
Jun 05, 20261 min read
An -Theory is -categorical if it has a unique model of size , up to Structure Isomorphism