How strong is a Reinhardt set over extensions of CZF?

Publication date: 18 January 2021

Abstract: We investigate the lower bound of the consistency strength of

m a t h s f C Z F

with Full Separation

m a t h s f S e p

and a Reinhardt set, a constructive analogue of Reinhardt cardinals. We show that

m a t h s f C Z F + S e p

with a Reinhardt set interprets

m a t h s f Z F^{-}

with a cofinal elementary embedding

j c o l o n V p r e c V

. We also see that

m a t h s f C Z F + S e p

with a Reinhardt set interprets

m a t h s f Z F^{-}

with a model of

m a t h s f Z F + W A_{0}

, the Wholeness axiom for bounded formulas.

This page was built for publication: How strong is a Reinhardt set over extensions of CZF?