PlanetMath (more info)
 Math for the people, by the people. Sponsor PlanetMath
Encyclopedia | Requests | Forums | Docs | Wiki | Random | RSS  
Login
create new user
name:
pass:
forget your password?
Main Menu
[parent] Viewing Message
``nomenclature'' by rmilson on 2002-06-03 19:56:19
"Structures" or "models" that is the question.

I am no logician, but in every encounter I have had
with logic, this concept was named a "model".
Witness the fact that "model" theory is an established branch of
mathematical logic.

So my question is: where is your "structure" terminology
coming from. Is this a personal preference, or
is there a pattern of widespread usage to back up
your choice of words?

[ reply | up ]

Interact
reply