Combining Texts

Ideas for 'Epistemology', 'fragments/reports' and 'Naturalism in Mathematics'

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

display all the ideas for this combination of texts

---

5 ideas

4. Formal Logic / F. Set Theory ST / 2. Mechanics of Set Theory / b. Terminology of ST

18194

'Forcing' can produce new models of ZFC from old models [Maddy]

4. Formal Logic / F. Set Theory ST / 4. Axioms for Sets / a. Axioms for sets

18195

A Large Cardinal Axiom would assert ever-increasing stages in the hierarchy [Maddy]

4. Formal Logic / F. Set Theory ST / 4. Axioms for Sets / f. Axiom of Infinity V

18191

Axiom of Infinity: completed infinite collections can be treated mathematically [Maddy]

4. Formal Logic / F. Set Theory ST / 4. Axioms for Sets / i. Axiom of Foundation VIII

18193

The Axiom of Foundation says every set exists at a level in the set hierarchy [Maddy]

4. Formal Logic / F. Set Theory ST / 4. Axioms for Sets / p. Axiom of Reducibility

18169

Axiom of Reducibility: propositional functions are extensionally predicative [Maddy]