Resumen
El articulo tiene por objetivo la reconstrucción alternativa del concepto de estructura, motivado por los articulos (1)1 DA COSTA, N. C. A.; RODRIGUES, A. A. M. Definability and Invariance, Studia Logica 86 (2007), no. 1, 1-30. y (3)[3] _____.; BUENO, O. Remarks in Abstract Galois Theory, Manuscrito - Rev. Int. Fil., Campinas, v. 34, n.1, p 153-185, jan-jun. 2011., como una generalización abstracta de lo que es un objeto matemático. Primero, mostramos su construcción, que tiene que ver con la teoría de tipos y orden en lógica, dando a lugar a propiedades y varios ejemplos interesantes. Luego avanzamos hacia una semántica concreta, para su análisis, y para permitirnos operar sobre ellas, sabiendo de este modo, lo que es "lo verdadero en ella". Obtenido ello, mostraremos los resultados de reducción de orden y de individuos, pero vistos en este contexto, así formalizando completamente en nuestra teoría de tipos la discusión de (1)1 DA COSTA, N. C. A.; RODRIGUES, A. A. M. Definability and Invariance, Studia Logica 86 (2007), no. 1, 1-30. (Ver también (2)2 ] _____. preprint. Remarks in Abstract Galois Theory, 2010. y (3)[3] _____.; BUENO, O. Remarks in Abstract Galois Theory, Manuscrito - Rev. Int. Fil., Campinas, v. 34, n.1, p 153-185, jan-jun. 2011.) sobre estos temas.
Palabras clave:
Estructuras; Modelos; Semántica de Estructuras; Lógica de orden mayor; Newton Da Costa