Timeline for Given is "model". How many theories may it be a model?
Current License: CC BY-SA 2.5
3 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Feb 8, 2010 at 19:27 | comment | added | Joel David Hamkins | And Francois pointed out you don't even need the binary relation! | |
| Feb 8, 2010 at 12:57 | comment | added | kakaz | Interesting: but it is known if this theories may be grouped in some way? It is obvious that given model ( even with one element) is not a model for all possible theories: so there are theories for which it is not a model;-). So assuming we have infinitely many theories, are there some, I do not know, invariants, orders, lattice operations? which allow as to show whether there is some structure in such big space of theories? Maybe from Category theory point of view it is somehow interesting? Or it is just another trivial question? | |
| Feb 8, 2010 at 12:50 | history | answered | Gerald Edgar | CC BY-SA 2.5 |