Combining Texts
Ideas for
'works', 'Justified Belief as Responsible Belief' and 'First-order Logic, 2nd-order, Completeness'
expand these ideas
|
start again
|
choose
another area for these texts
display all the ideas for this combination of texts
2 ideas
5. Theory of Logic / J. Model Theory in Logic / 1. Logical Models
10756
|
A model is a domain, and an interpretation assigning objects, predicates, relations etc. [Rossberg]
|
5. Theory of Logic / J. Model Theory in Logic / 2. Isomorphisms
10758
|
If models of a mathematical theory are all isomorphic, it is 'categorical', with essentially one model [Rossberg]
|