New answers tagged

3 votes
Accepted

Does CZF prove there is a minimal cauchy completion of the rationals?

You can prove this from the regular extension axiom $\mathbf{REA}$ using the general theory of inductive definitions. See e.g. Theorem 5.11 in Aczel & Rathjen, Notes on Constructive Set Theory. I ...
  • 3,271

Top 50 recent answers are included