Meeting minutes
<gb> Issue 102 Check if the interpolation lemma is still true given the new semantics (by franconi) [spec:substantive]
<gb> Issue 111 Prove that the fact that mapping RE is total and injective does not lead to problems (by doerthe) [spec:substantive]
<gb> Issue 49 Define an interpretation of propositions relating to their constituents (by niklasl) [spec:substantive]
<doerthe> continuum hypothesis
<enrico> We close the is #due to the convincing argumentation by @pfps and @doerthe.
<enrico> issue number 111 (above)