Combining Texts

Ideas for 'Natural Goodness', 'Introduction to the Philosophy of Mathematics' and 'Intro: Theories of Vagueness'

unexpand these ideas     |    start again     |     choose another area for these texts

display all the ideas for this combination of texts

---

1 idea

5. Theory of Logic / J. Model Theory in Logic / 3. Löwenheim-Skolem Theorems

17929	Löwenheim proved his result for a first-order sentence, and Skolem generalised it [Colyvan]
	Full Idea: Löwenheim proved that if a first-order sentence has a model at all, it has a countable model. ...Skolem generalised this result to systems of first-order sentences.
	From: Mark Colyvan (Introduction to the Philosophy of Mathematics [2012], 2.1.2)