Abstract
The present article has for objective to present an alternative reconstruction of Concept of Structure, motivated by the articles (1)1 DA COSTA, N. C. A.; RODRIGUES, A. A. M. Definability and Invariance, Studia Logica 86 (2007), no. 1, 1-30. and (3)[3] _____.; BUENO, O. Remarks in Abstract Galois Theory, Manuscrito - Rev. Int. Fil., Campinas, v. 34, n.1, p 153-185, jan-jun. 2011., 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.
Keywords:
Structure; Models; Structure Semantics; High-Order Logic; Newton Da Costa