shell atomic model

Atomic model

In model theory, an atomic model is a model which is in some sense small.

Properties

The back and forth method can be used to show that any two countable atomic models of a theory that are elementarily equivalent are isomorphic.

References

Search another word or see shell atomic modelon Dictionary | Thesaurus |Spanish
Copyright © 2014 Dictionary.com, LLC. All rights reserved.
  • Please Login or Sign Up to use the Recent Searches feature
FAVORITES
RECENT

;