Talk:Structure (mathematical logic)

From Wikipedia, the free encyclopedia

You have new messages (last change).

[edit] Ambiguity

Structure actually has two uses in math. logic: this and a fairly well established usage in structural proof theory due to Belnap. Shall we move this to Structure (model theory), and create Structure (proof theory)? --- Charles Stewart(talk) 19:40, 15 February 2006 (UTC)

How common is the latter usage, really? My gut reaction is to leave this article where it is, and put a dab line at the top to the proof-theory concept, but I won't argue about it if you think the two notions have comparable footprints and want to have a dab page. --Trovatore 20:22, 15 February 2006 (UTC)

[edit] More Examples Needed

Some examples would be useful in this article (eg some simple examples on the integers with the natural ordering; eg a simple Hasse diagram of a poset). reetep 12:36, 17 November 2006 (UTC)

Retrieved from "http://en.wikipedia.org../../../s/t/r/Talk%7EStructure_%28mathematical_logic%29_1b17.html"