Combining Texts

Ideas for 'On the Question of Absolute Undecidability', 'Reflections on Knowledge, Truth and Ideas' and 'Introduction to 'Absolute Generality''

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

display all the ideas for this combination of texts


4 ideas

4. Formal Logic / F. Set Theory ST / 1. Set Theory
Mathematical set theory has many plausible stopping points, such as finitism, and predicativism [Koellner]
The two best understood conceptions of set are the Iterative and the Limitation of Size [Rayo/Uzquiano]
'Reflection principles' say the whole truth about sets can't be captured [Koellner]
4. Formal Logic / F. Set Theory ST / 4. Axioms for Sets / m. Axiom of Separation
Some set theories give up Separation in exchange for a universal set [Rayo/Uzquiano]