This disambiguation page is within the scope of WikiProject Disambiguation, an attempt to structure and organize all disambiguation pages on Wikipedia. If you wish to help, you can edit the page attached to this talk page, or visit the project page, where you can join the project or contribute to the discussion.DisambiguationWikipedia:WikiProject DisambiguationTemplate:WikiProject DisambiguationDisambiguation
This disambiguation page is within the scope of WikiProject Mathematics, a collaborative effort to improve the coverage of mathematics on Wikipedia. If you would like to participate, please visit the project page, where you can join the discussion and see a list of open tasks.MathematicsWikipedia:WikiProject MathematicsTemplate:WikiProject Mathematicsmathematics
This disambiguation page does not require a rating on Wikipedia's content assessment scale.
Page is of low quality
I don't think this page should exist. I have created a merger discussion, and I think it would be good to just see it turned into a redirect for Object language.
It would seem to me that this page is based on somebody's serious misunderstanding of Kleene's book on metamathematics. 'Object theory' is not a distinct theory of math, it's a term one might circumstantially use to refer to one theory when it is being interpreted in terms of another: the object theory is interpreted by the meta-theory. Here, the use of the term object is precisely that of Object language.
Jackcrawf3 (talk) 11:47, 2 September 2021 (UTC)[reply]
