Palavras-chave
Structure Semantics. High-Order Logic. Newton Da Costa.
Como Citar
Resumo
The present article has for objective to present an alternative
reconstruction of Concept of Structure, motivated by the articles
[1] and [3], as an abstract generalization of what is a mathematical
object. First, its construction is presented, that is related to the Type
Theory and Order in Logic. Which give us a context for properties and
several interesting examples. Secondly, we will proceed towards a concrete
semantic for analysing structures and letting us operate in them.
Thus we are able to know what itXB is true in it. Results of order
and individuals reduction are presented through our construction. In
the end, we formalized the discussions referred completely in our Type
Theory.
Referências
DA COSTA, N. C. A.; RODRIGUES, A. A. M. De nability and Invariance, Studia Logica 86 (2007), no. 1, 1 30.
. preprint. Remarks in Abstract Galois Theory, 2010.
. ; BUENO, O. Remarks in Abstract Galois Theory, Manuscrito Rev. Int. Fil., Campinas, v. 34, n.1, p 153-185, jan-jun. 2011.
CASTILLO, C. I. Lógica y teoría de conjuntos, Universidad de Valencia auto-edición 2011, http://www.uv.es/ivorra/Libros/Logica.pdf.
LANG, S. Algebra, Springer
BELL, J.L. y SLOMSON, A.B. Models and Ultraproducts, Noth- Holland Publishing Company 1969.
NAVARRO, V. Estructuras de Newton Da Costa y Aplicaciones, tesis de magíster universidad de santiago, 2013.
ROBINSON, A. Introducction to model theory and to the metamathematics of algebra, North-Holland Publishing Company Amsterdam London 1974.
Downloads
