"From Freudental's Spectral Theorem to projectable hulls of unital Archimedean lattice-groups through compactification of minimal spectra -- Part 2: the general case" Beyond True and False 2014
"Interpreting Lukaukasiewicz logic into Intuitionistic logic" LATD 2014
"Interpreting Lukaukasiewicz logic into Intuitionistic logic" AILA 2014
"Spectra of finitely presented lattice-ordered Abelian groups and MV-algebras, part 2" TACL 2013
"Countable H-closed extensions" BLAST 2011
"Generalizations of Cech-complete" BLAST 2010
"Cardinality bounds of H-sets in Urysohn spaces" STDC 2009