Combining Texts

Ideas for 'The Tarskian Turn', 'Reference and Contingency' and 'Investigations in the Foundations of Set Theory I'

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

display all the ideas for this combination of texts

---

2 ideas

2. Reason / D. Definition / 2. Aims of Definition

15352

A definition should allow the defined term to be eliminated [Horsten]

2. Reason / D. Definition / 8. Impredicative Definition

15924

Predicative definitions are acceptable in mathematics if they distinguish objects, rather than creating them? [Zermelo, by Lavine]