By $\mathsf{RfST}$ its meant Reflective Set Theory exposited in this posting

I'll pose two specific questions here:

  1. Is $\mathsf{ARC}$ class theory a proper sub-theory of $\mathsf{RfST}$?

  2. Is $\mathsf{RfST}$ equi-consistent with $\mathsf{ARC}$?


Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Browse other questions tagged or ask your own question.