Let H=being hypnotised
Let P be a frame where the possible worlds are people. Let the thief be t in P
Let the modal operator $I_p$ to capture the notion of aware, hence $I_p \phi$ reads "p is informed that $\phi$"
Self deception is thus captured as $I_p \land I_p\neg I_p$
based on [this](https://www.irit.fr/EUMAS2013/Presentations/eumas2013_invited_2_slides.pdf) as Floridi's KTB logic is an extension of belief modal logic
typo: belief modal -> doxastic
1. Security system: People are stopped when $H \land \neg I H$

One could easily show that all $x\in \mathbb{R}$ is a Borel set, by simply noticing that $$x=\bigcap_{j\in\mathbb{N}} (x-\frac 1 j,x+\frac 1j)$$
is the countable intersection of Borel sets, and since the Borel $\sigma$-algebra is $\cap$-stable the statement follows.


And since we know that the Borel $\sigma$-algebra is stable under countable unions (intersections), I don't seem to understand how the Cantor set can have subsets that are not Borel sets.
I've seen numerous answers in the site proving that statement by using the fact that the cardinality of the Cantor set is $2^{\aleph_0}$ (a…

i actually read one of the introductions of one of caldararu's papers (categorical GW invariants)

let me pretend i know something about this and essentially regurtitate his intro

mirror symmetry gives predictions in math - one incarnation of that is computing gromov witten invariants of some space is 'related' to variation of hodge structures or something like that in a different space (its 'mirror') -- think of this as a prediction giving some equality of numbers

another incarnation of that is this 'homological mirror symmetry' thing - which is some equivalence of categories between sh…