Sign in

Quelle est la force d'un Reinhardt sur les extensions de CZF?

By Hanul Jeon
Nous étudions la borne inférieure de la force de cohérence de \( \ mathsf{CZF} with avec Séparation complète \)\mathsf{Sep} and et un ensemble de Reinhardt, un analogue constructif des cardinaux de Reinhardt. Nous montrons que \( \ mathsf{CZF Sep} with avec un ensemble de Reinhardt interprète \)\mathsf{ZF^ -} with avec... Show more
February 13, 2021
=
0
Loading PDF…
Loading full text...
Similar articles
Loading recommendations...
=
0
Summary