1 citations · 1 across the 3 of their papers we have counts for
4 papers
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…
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…
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…
Loomis--Sikorski Theorem and Stone Duality for Effect Algebras with Internal State
D. Buhagiar, E. Chetcutti, A. Dvurečenskij
Recently Flaminio and Montagna, \cite{FlMo}, extended the language of MV-algebras by adding a unary operation, called a state-operator. This notion is introduced here also for effe…