Modelo Primo
- Natural & Formal Sciences -
Mathematics & Logic Dictionary
Definición
Un modelo mínimo de una teoría completa de primer orden que se embebe elementalmente en cualquier otro modelo de la teoría; equivalente a un modelo generado por realización de tipos principales (aislados) sobre el conjunto vacío.
Modelo Primo
- Pure Mathematics -
Algebra Dictionary
Definición
Un modelo P de una teoría completa T es primo si P se inmersa elementalmente en todo modelo de T; es un representante canónico y minimal (respecto a inmersiones elementales) de la teoría.