yo no puedo ms que decir: lo veo pero no lo creo Georg Cantor a Richard Dedekind hablando sobre el infinito.

Cuando el maestro Jess Castaeda me comento sobre la realizacin de las presentes notas para la imparticin del curso sobre teorema de Lowenheim-Skolem y la teoria de modelos en el marco del XII Encuentro Internacional de Didctica de la Lgica coincid con l en que el tema resultaba por un lado til e interesante pero por el otro entraaba una cierta dificultad de corte didctica en cuanto a exposicin que a continuacin discutir brevemente. Tal vez resulte difcil exagerar la importancia de la Teora de Modelos para la expansin y desarrollo que ha sufrido la lgica principalmente en el siglo XX pues ha probado con creces ser un campo frtil donde la creatividad (intuicin) matemtica vislumbrada por el genio de Cantor es firmemente encausada y cuidada con amoroso rigor por esos Caballeros guardianes de las formas entre los que se encuentran Russell, Fregue, Godel y por su puesto Skolem quien nos ensea magistralmente que se puede ser altamente creativo desde lo formal al demostrar la existencia de modelos no-standard de la aritmtica, haciendo uso del mtodo que tiempo despus fue conocido como de los ultraproductos. Otro claro ejemplo constituye el anlisis no-standard de A. Robinson que representa un claro ejemplo de que el trabajo intenso en el andamiaje lgico de cierta rama de las matemticas podra finalmente brindar frutos insospechados. Pero al tratar de abordar estos temas en poco tiempo (unas 3 o cuatro horas) ante un pblico si bien muy entusiasta pero muy heterogneo en cuanto antecedentes matemticos colocan al expositor en el problema de elegir sobre donde colocar la lnea de salida. El maestro Castaeda ha decidido sacrificar acaso la brevedad para lograr un mayor entendimiento por lo que introduce gradualmente las definiciones que permiten estandarizar notaciones confiando que en la interaccin durante el curso cualquier duda de esa ndole pueda quedar subsanada. Ahora intentare brevemente dar muy modesta introduccin al tema del curso que permita y fijando y centrando nuestra atencin a los temas que sern de nuestro inters. De manera intuitiva podemos decir que la teora de modelos es el estudio de estructuras matemticas conocidas y definidas en diversas reas tales como grupos, campos numricos, graficas dirigidas, incluso de conjuntos, en relacin con las teoras axiomticas y la lgica matemtica. Por tanto, un modelo es una estructura donde las oraciones formales de la teora (es decir, una cadena de signos matemticos) son interpretables y por tanto las oraciones pueden considerarse como afirmaciones sobre el modelo.

Para autores como Chang y Keisler (1977), la teoria de modelos es la suma del algebra universal y de la lgica matemtica. Para Hunter (1981) La teora de modelos es la teora de las interpretaciones de los lenguajes formales La teora de modelos es la rama de la lgica matemtica que estudia el Concepto de verdad a travs de una propiedad algebraica de los conjuntos parcialmente ordenados conocida como conexin de Galois * que resulta naturalmente inducida por la relacin de satisfacibilidad de Tarski, entre los conjuntos de frmulas, relativas a cierto lenguaje formal, los conjuntos de sistemas algebraicos, adecuados al mismo lenguaje formal y los vnculos que existen entre las relaciones de consecuencia sintctica y semntica. El teorema de Lowenheim-Skolem que representa el ncleo de este trabajo es el primer resultado de la lgica de predicados que puede ser considerado como perteneciente a la teora de modelos(o al menos ese es la opinin de varios expertos incluyendo al autor de esta publicacin), segn el cual cualquier sentencia de la lgica de predicados de primer orden con igualdad que sea verdadera en un sistema algebraico lo es en uno que sea a lo sumo infinito-numerable, Sin embargo, el primer resultado que establece un vnculo entre la nocin de demostrabilidad y la de verdad es el teorema de completitud de Godel, el cual nos dice que una sentencia de la lgica de predicados es verdadera exactamente si es demostrable, estableciendo la identidad, para la lgica de predicados, entre las relaciones de consecuencia sintctica y semntica. Hay que decir tambin con justicia que Tarski realiz un minucioso y profundo anlisis de la interpretacin de las sentencias de un lenguaje formal en sistemas algebraicos adecuados acordes al mismo Sus mtodos semnticos revolucionaron completamente la metamatemtica, Skolem demostr la existencia de modelos no-standard de la aritmtica etc. Finalmente felicito a la Academia Mexicana de Lgica al comit organizador del encuentro y al autor por contribuir al crecimiento de la comunidad interesada en el cultivo de esta bella y noble ciencia. Morelia Michoacn Mxico Edgardo Olmedo Sotomayor
*Supnganse dos conjuntos parcialmente ordenados (A, ) y (B, <=). Una conexin de Galois entre estos consiste en dos funciones montonas: F : A B y G : B A, tales que para todo a en A y b en B, tenemos Esta correspondencia biunvoca invierte el orden entre ambas estructuras dado por la contencin. Este resultado es importante para lo aqu expuesto por la estrecha conexin que establece entre mundos" bastante diferentes.