Homotopy Type Theory contractibility of Dedekind real numbers > history (Rev #2, changes)

Showing changes from revision #1 to #2: Added | Removed | Changed

Definition

Axiom: The shape of \mathbb{R} is contractible:

p:isContr(esh())p:isContr(\esh(\mathbb{R}))

This axiom statement can be derived fromaxiom R-flat

See also

References

Revision on April 22, 2022 at 23:25:38 by Anonymous?. See the history of this page for a list of all contributions to it.