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.1
Definition 3.4.2
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

Exercise 3.1
Exercise 3.2
Exercise 3.3
Exercise 3.4
Exercise 3.5
Exercise 3.6
Exercise 3.7
Exercise 3.8
Exercise 3.9
Exercise 3.10
Exercise 3.11
Exercise 3.12
Exercise 3.13
Exercise 3.14
Exercise 3.15
Exercise 3.16
Exercise 3.17
Exercise 3.18
Exercise 3.19
Exercise 3.20
Exercise 3.21
Exercise 3.22
Exercise 3.23
Exercise 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 - [x] Example 3.1.4 - [x] Example 3.1.5 - [x] Example 3.1.6 - [x] Definition 3.1.7 - [ ] Lemma 3.1.8 - [x] 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 - [x] Lemma 3.3.4 - [x] Lemma 3.3.5 - [x] Definition 3.4.1 - [x] Definition 3.4.2 - [x] Definition 3.4.3 - [x] Lemma 3.5.1 - [x] Axioim 3.5.5 - [x] Example 3.6.1 - [x] Example 3.6.2 - [x] Definition 3.7.1 - [x] Axiom 3.8.1 (axiom of choice) - [ ] Lemma 3.8.2 - [ ] Lemma 3.8.5 - [x] Lemma 3.9.1 - [ ] Corollary 3.9.2 - [x] Definition 3.11.1 - [x] Lemma 3.11.3 - [ ] Lemma 3.11.4 - [ ] Corollary 3.11.5 - [x] Lemma 3.11.6 - [ ] Lemma 3.11.7 - [x] 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) - [ ] Exercise 3.1 - [ ] Exercise 3.2 - [ ] Exercise 3.3 - [x] Exercise 3.4 - [ ] Exercise 3.5 - [x] Exercise 3.6 - [ ] Exercise 3.7 - [ ] Exercise 3.8 - [ ] Exercise 3.9 - [ ] Exercise 3.10 - [ ] Exercise 3.11 - [ ] Exercise 3.12 - [ ] Exercise 3.13 - [ ] Exercise 3.14 - [ ] Exercise 3.15 - [ ] Exercise 3.16 - [ ] Exercise 3.17 - [ ] Exercise 3.18 - [ ] Exercise 3.19 - [ ] Exercise 3.20 - [ ] Exercise 3.21 - [ ] Exercise 3.22 - [ ] Exercise 3.23 - [ ] Exercise 3.24

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

michael modified the project from (deleted) to research

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

michael added the due date 2024-08-01

2024-07-11 13:01:49 +00:00

michael added the

hott-book-chapter

label 2024-10-15 05:09:02 +00:00

Chapter 3: Sets and logic #9

Definitions, Lemmas, and Theorems

Exercises