Chapter 3: Sets and logic

michael commented

2023-05-18 05:40:39 +00:00

Owner

Definitions, Lemmas, and Theorems

Definition 3.1.1
Example 3.1.2
Example 3.1.3
Example 3.1.4
Example 3.1.5
Example 3.1.6
Definition 3.1.7
Lemma 3.1.8
Example 3.1.9
Definition 3.2.1
Theorem 3.2.2 (#14)
Corollary 3.2.7
Definition 3.3.1 (mere proposition)
Lemma 3.3.2
Lemma 3.3.3
Lemma 3.3.4
Lemma 3.3.5
Definition 3.4.3
Lemma 3.5.1
Axioim 3.5.5
Example 3.6.1
Example 3.6.2
Definition 3.7.1
Axiom 3.8.1 (axiom of choice)
Lemma 3.8.2
Lemma 3.8.5
Lemma 3.9.1
Corollary 3.9.2
Definition 3.11.1
Lemma 3.11.3
Lemma 3.11.4
Corollary 3.11.5
Lemma 3.11.6
Lemma 3.11.7
Lemma 3.11.8
Lemma 3.11.9
Lemma 3.11.10

Exercises

3.1
3.2
3.3
3.4
3.5
3.6
3.7
3.8
3.9
3.10
3.11
3.12
3.13
3.14
3.15
3.16
3.17
3.18
3.19
3.20
3.21
3.22
3.23
3.24

## [Definitions, Lemmas, and Theorems](https://git.mzhang.io/school/type-theory/src/branch/master/src/HottBook/Chapter3.lagda.md) - [x] Definition 3.1.1 - [x] Example 3.1.2 - [x] Example 3.1.3 - [ ] Example 3.1.4 - [ ] Example 3.1.5 - [ ] Example 3.1.6 - [ ] Definition 3.1.7 - [ ] Lemma 3.1.8 - [ ] Example 3.1.9 - [ ] Definition 3.2.1 - [ ] Theorem 3.2.2 (#14) - [x] Corollary 3.2.7 - [x] Definition 3.3.1 (mere proposition) - [x] Lemma 3.3.2 - [x] Lemma 3.3.3 - [ ] Lemma 3.3.4 - [ ] Lemma 3.3.5 - [ ] Definition 3.4.3 - [ ] Lemma 3.5.1 - [ ] Axioim 3.5.5 - [ ] Example 3.6.1 - [ ] Example 3.6.2 - [ ] Definition 3.7.1 - [ ] Axiom 3.8.1 (axiom of choice) - [ ] Lemma 3.8.2 - [ ] Lemma 3.8.5 - [ ] Lemma 3.9.1 - [ ] Corollary 3.9.2 - [ ] Definition 3.11.1 - [ ] Lemma 3.11.3 - [ ] Lemma 3.11.4 - [ ] Corollary 3.11.5 - [ ] Lemma 3.11.6 - [ ] Lemma 3.11.7 - [ ] Lemma 3.11.8 - [ ] Lemma 3.11.9 - [ ] Lemma 3.11.10 ## [Exercises](https://git.mzhang.io/school/type-theory/src/branch/master/src/HottBook/Chapter3Exercises.lagda.md) - [ ] 3.1 - [ ] 3.2 - [ ] 3.3 - [ ] 3.4 - [ ] 3.5 - [ ] 3.6 - [ ] 3.7 - [ ] 3.8 - [ ] 3.9 - [ ] 3.10 - [ ] 3.11 - [ ] 3.12 - [ ] 3.13 - [ ] 3.14 - [ ] 3.15 - [ ] 3.16 - [ ] 3.17 - [ ] 3.18 - [ ] 3.19 - [ ] 3.20 - [ ] 3.21 - [ ] 3.22 - [ ] 3.23 - [ ] 3.24

michael added this to the (deleted) project 2023-05-18 05:41:13 +00:00

michael modified the project from (deleted) to thesis

2024-05-24 01:34:36 +00:00

Chapter 3: Sets and logic #9

Definitions, Lemmas, and Theorems

Exercises