Ideas of Nicholas P. White, by Theme
[American, b.1942, University of Michigan, then at University of California, at Irvine.]
green numbers give full details |
back to list of philosophers |
expand these ideas
5. Theory of Logic / J. Model Theory in Logic / 3. Löwenheim-Skolem Theorems
17813
|
Löwenheim-Skolem says any theory with a true interpretation has a model in the natural numbers
|
6. Mathematics / A. Nature of Mathematics / 4. Using Numbers / c. Counting procedure
17812
|
Finite cardinalities don't need numbers as objects; numerical quantifiers will do
|