# A formal first order theory of mathematical structures [closed]

This is in connection with a project that I am conducting as an undergraduate student of mathematics. The aim of my project is to give a concretized formal notion for mathematical structures. We have studied about various mathematical structures like groups, rings, topologies, etc. and also about structure preserving maps which we generally call homomorphisms. In my project I am trying to build a first order theory of mathematical structures. The theory will consist of a first order formal axiomatic system, whose interpretation in a particular model will give a particular mathematical structure. In other words, I am trying to provide a unified framework for different mathematical structures. But I am facing problem in formulating the non-logical axioms of my system, that is, some non-logical axioms which, in different models, will be interpreted as different axioms of the corresponding mathematical structure (like the topological axioms in a topological structure, the group axioms in a group structure). If anyone here can help or at least can give an idea, I will be obliged.

## closed as too broad by Namaste, Asaf Karagila♦, projectilemotion, mrs, user91500Mar 11 '17 at 6:49

Please edit the question to limit it to a specific problem with enough detail to identify an adequate answer. Avoid asking multiple distinct questions at once. See the How to Ask page for help clarifying this question. If this question can be reworded to fit the rules in the help center, please edit the question.

• – Alex Nelson Mar 8 '17 at 18:06
• @amWhy: the question is a reasonable request for a pointer to help the OP make some progress. There is quite a lot of relevant literature, so I don't see any reason for closing the question. – Rob Arthan Mar 8 '17 at 22:16
• This is a hard problem that is the subject of ongoing research. The work of Goguen and Burstall on [Institutions]( en.wikipedia.org/wiki/Institution_(computer_science)) is a good starting point in the literature. – Rob Arthan Mar 8 '17 at 22:31
• @amWhy: I have transferred my answer to a comment as a result of your objection. I reiterate that the question is a reasonable request for assistance on a mathematical topic and that your comments are utterly negative and unhelpful (and please don't use irritating acronyms like "naa", without explaining carefully what you actually mean). I feel very sorry for the OP. – Rob Arthan Mar 8 '17 at 22:36
• @amWhy: PS: do you know about institutions and such like research that is relevant to the original question, or was your mathematical contribution here: "this question is far too broad .." just based on your (possibly incomplete) breadth of knowledge? – Rob Arthan Mar 8 '17 at 22:43