3 papers
math.LO2021
On middle box products and paracompact cardinals
David Buhagiar, Mirna Džamonja
The paper gives several sufficient conditions on the paracompactness of box products with an arbitrary number of many factors and boxes of arbitrary size. The former include result…
math.LO2019
Square Compactness and the filter extension property
David Buhagiar, Mirna Džamonja
We show that the consistency strength of being -square compact is at least weak compact and strictly less than indescribable. This is the first known improvement to the up…
math.FA2018
Order topology on orthocomplemented posets of linear subspaces of a pre-Hilbert space
David Buhagiar, Emmanuel Chetcuti, Hans Weber
Motivated by the Hilbert-space model for quantum mechanics, we define a pre-Hilbert space logic to be a pair $(S,\el)$, where is a pre-Hilbert space and $\el$ is an orthocomple…