| Sun | Mon | Tue | Wed | Thu | Fri | Sat |
|---|---|---|---|---|---|---|
|
7th: 1.7-8 (demonstrate simulation in Sheets)
12:30 pm
7th: 1.7-8 (demonstrate simulati...
Sep 5 @ 12:30 pm – 1:30 pm
|
8th: presentation of 1.7-8 homework
12:30 pm
8th: presentation of 1.7-8 homework
Sep 7 @ 12:30 pm – 1:30 pm
|
|||||
|
9th: 2.1-2; Module 1; show room computer usage
12:30 pm
9th: 2.1-2; Module 1; show room ...
Sep 10 @ 12:30 pm – 1:30 pm
Logic Seminar: Kameryn Williams
2:30 pm
Logic Seminar: Kameryn Williams
Sep 10 @ 2:30 pm – 3:20 pm
Title: A conceptual overview of forcing Abstract: Paul Cohen—who visited UH Mānoa in the 1990s—introduced the method of forcing to prove that the failure of the continuum hypothesis is consistent with ZFC, the standard base[...]
|
||||||
|
12th MATH 372
12:30 pm
12th MATH 372
Sep 17 @ 12:30 pm – 1:30 pm
Logic Seminar: Kameryn Williams
2:30 pm
Logic Seminar: Kameryn Williams
Sep 17 @ 2:30 pm – 3:20 pm
Title: Forcing as a computational process Abstract: In this talk we will consider computable structure theoretical aspects of forcing. Given an oracle for a countable model of set theory $M$, to what extent can we[...]
|
||||||
|
17th: present 3.2-3, and work on Module 2
12:30 pm
17th: present 3.2-3, and work on...
Sep 28 @ 12:30 pm – 1:30 pm
|
||||||