Talk:Signature (mathematical logic)
From Wikipedia, the free encyclopedia
[edit] Merging and/or renaming
The name of the article Signature (in mathematical logic) is not too good, it should be “Signature (mathematical logic)”. But this latter name redirects to Signature (universal algebra).
Maybe merging, renaming, redirecting can be thought of.
Physis 11:33, 5 November 2006 (UTC)
- For now I moved (using the admin tools) signature (in mathematical logic) to signature (mathematical logic). I can't say if some merge with signature (universal algebra) should take place as I am not an expert. Oleg Alexandrov (talk) 03:59, 6 November 2006 (UTC)
[edit] What are sorts?
I couldn't find a definition of sorts in Wikipedia. Is it just any enumerable set? An alphabet? Is it defined by the role its playing? Is it part of category theory? -- Bartosz 20:07, 25 November 2006 (UTC)
