display all the ideas for this combination of philosophers
2 ideas
17878 | If a 1st-order proposition is satisfied, it is satisfied in a denumerably infinite domain [Skolem] |
13843 | If it is a logic, the Löwenheim-Skolem theorem holds for it [Hacking] |