# Articles

## 11.3.2 Induction and recursion on Cauchy reals

Last updated by: PMBookProject on Wednesday, November 6, 2013 - 18:07

## 11.3.1 Construction of Cauchy reals

Last updated by: PMBookProject on Wednesday, November 6, 2013 - 18:04

## 11.3 Cauchy reals

Last updated by: PMBookProject on Wednesday, November 6, 2013 - 17:53

## 11.2.3 Dedekind reals are Dedekind complete

Last updated by: PMBookProject on Wednesday, November 6, 2013 - 17:50

## 11.2.2 Dedekind reals are Cauchy complete

Last updated by: PMBookProject on Wednesday, November 6, 2013 - 17:48

## 11.2.1 The algebraic structure of Dedekind reals

Last updated by: PMBookProject on Wednesday, November 6, 2013 - 17:47

## 11.2 Dedekind reals

Last updated by: PMBookProject on Wednesday, November 6, 2013 - 17:45

## 11.1 The field of rational numbers

Last updated by: PMBookProject on Wednesday, November 6, 2013 - 17:43

## 11. Real numbers

Last updated by: PMBookProject on Wednesday, November 6, 2013 - 17:26

## Chapter 10 Notes

Last updated by: PMBookProject on Wednesday, November 6, 2013 - 17:21

## 10.5 The cumulative hierarchy

Last updated by: PMBookProject on Wednesday, November 6, 2013 - 17:19

## 10.4 Classical well-orderings

Last updated by: PMBookProject on Wednesday, November 6, 2013 - 17:17

## 10.3 Ordinal numbers

Last updated by: PMBookProject on Wednesday, November 6, 2013 - 17:15

## 10.2 Cardinal numbers

Last updated by: PMBookProject on Wednesday, November 6, 2013 - 17:13

## 10.1.5 The axiom of choice implies excluded middle

Last updated by: PMBookProject on Wednesday, November 6, 2013 - 17:12

## 10.1.4 Set is a $\Pi\mathsf{W}$-pretopos

Last updated by: PMBookProject on Wednesday, November 6, 2013 - 17:10

## 10.1.3 Quotients

Last updated by: PMBookProject on Wednesday, November 6, 2013 - 17:08

## 10.1.2 Images

Last updated by: PMBookProject on Wednesday, November 6, 2013 - 17:06

## 10.1.1 Limits and colimits

Last updated by: PMBookProject on Wednesday, November 6, 2013 - 17:04

## 10.1 The category of sets

Last updated by: PMBookProject on Wednesday, November 6, 2013 - 17:03