David Fernández Duque. The polytopologies of transfinite provability logic. Arch. Math. Log., 53(3-4):385-431, 2014. [doi]
@article{Duque14-0, title = {The polytopologies of transfinite provability logic}, author = {David Fernández Duque}, year = {2014}, doi = {10.1007/s00153-014-0371-1}, url = {http://dx.doi.org/10.1007/s00153-014-0371-1}, researchr = {https://researchr.org/publication/Duque14-0}, cites = {0}, citedby = {0}, journal = {Arch. Math. Log.}, volume = {53}, number = {3-4}, pages = {385-431}, }