Correspondencia Modelo-Teórica
- Natural & Formal Sciences -
Mathematics & Logic Dictionary
Definición
Una relación que indica cómo las propiedades semánticas y modelo-teóricas de estructuras matemáticas corresponden a rasgos sintácticos o axiomáticos de las teorías formales que las describen.