display all the ideas for this combination of texts
2 ideas
13343 | A 'model' is a sequence of objects which satisfies a complete set of sentential functions [Tarski] |
10693 | Models are mathematical structures which interpret the non-logical primitives [Beall/Restall] |