« first day (1138 days earlier)
← previous day
next day →
last day (1696 days later) »
Konformist Liberal
1:47 PM
Hey! I have a small question: irif.fr/~mgehrke/scriptie.pdf In the proof of Prop 6.4, there is an equality: $\phi(1) = \cap { \phi(1)}$ How is this correct? Isn't $\phi(0) = \cap { \phi(1)}$?
This pdf is about stone duality
« first day (1138 days earlier)
← previous day
next day →
last day (1696 days later) »
all rooms
Transcript for
Sep
28
Sep '19
29
Sep
30
♦
Logic
This room is meant for discussion about logic, including found...
1
1
formal-systems
foundations
logic
no-trolls
join this room
about this room
00:00
06:00
12:00
18:00
all times are UTC
site design / logo © 2024 Stack Exchange Inc;
legal
mobile