Single Idea 10296

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

Full Idea

Both of the Löwenheim-Skolem Theorems fail for second-order languages with a standard semantics

Gist of Idea

The Löwenheim-Skolem Theorems fail for second-order languages with standard semantics

Source

Stewart Shapiro (Higher-Order Logic [2001], 2.3.2)

Book Reference

'Blackwell Guide to Philosophical Logic', ed/tr. Goble,Lou [Blackwell 2001], p.47

---