categoricity of systems

<logic>

1. A formal system in general is categorical iff all its models are isomorphic.

2. A first-order theory with identity is categorical iff All its normal models are isomorphic.

See isomorphism of models, model, normal.

[Glossary of First-Order Logic]

<2001-03-16>

Try this search on OneLook / Google

Nearby terms: categorical proposition « categorical syllogism « categorical term « categoricity of systems » category » category mistake » catharsis