Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. It's 100% free, no registration required.

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

Could someone recommend me a good overview text about stratification of predicates, comprehension axioms, and other methods of avoiding the paradoxes in untyped or only loosely/relatively typed higher-order logics and/or different foundations of set theory?

I'm dealing with more philosophical theories of predication where the authors use second-order logics with stratified predicates in comprehension schemes instead of type theory, and I'd like to better understand these approaches. I'm familiar with basic concepts of mathematical logic (e.g. Andrew's book) but not a mathematician. So it shouldn't be too hard. :o

share|cite|improve this question
Hmm, no answers here, maybe you should try Use "reference-request" as another tag. Leave out the bit about not being a mathematician. ;-) – MikeC Nov 15 '11 at 4:51

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Browse other questions tagged or ask your own question.