Timeline for If questions are formalized as ideals of a boolean algebra, what kind of algebra of questions appears from Stone representation theorem?
Current License: CC BY-SA 3.0
10 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Mar 24, 2020 at 9:51 | history | edited | YCor |
edited tags
|
|
| Oct 24, 2014 at 13:53 | comment | added | Andreas Blass | As მამუკა ჯიბლაძე says, the ideals of a Boolean algebra correspond to the open subsets of the Stone space. Thus, like the open subsets of any topological space, they form a complete Heyting algebra. | |
| Oct 24, 2014 at 5:55 | comment | added | მამუკა ჯიბლაძე | @Andrej Actually ideals form not just a base, the lattice of ideals is isomorphic to the lattice of all open sets of the Stone space. | |
| Aug 25, 2014 at 1:42 | comment | added | Włodzimierz Holsztyński | Ioachim, could you say more about your erotetic logic? | |
| Jul 26, 2014 at 16:00 | comment | added | François G. Dorais | This looks very similar to what is often known as "Medvedev's logic of finite problems" in the context of intermediate logics. | |
| Jun 26, 2014 at 7:10 | comment | added | Andrej Bauer | well, the ideals of a Boolean algebra form a base for the corresponding Stone space. Next, the ideals form an algebraic directed-complete poset, or an algebraic lattice if we admit the trivial ideal. It's not realy clear what you are looking for, but these observations are fairly trivial. | |
| Jun 26, 2014 at 0:00 | answer | added | Noah Schweber | timeline score: 1 | |
| Jun 25, 2014 at 23:18 | history | edited | Ioachim Drugus | CC BY-SA 3.0 |
improved formatting
|
| Jun 25, 2014 at 23:09 | history | edited | Ioachim Drugus | CC BY-SA 3.0 |
improved formatting
|
| Jun 25, 2014 at 23:04 | history | asked | Ioachim Drugus | CC BY-SA 3.0 |