×

Found 4,402 Documents (Results 701–800)

Computability on the countable ordinals and the Hausdorff-Kuratowski theorem (extended abstract). (English) Zbl 1465.03080

Italiano, F. (ed.) et al., Mathematical foundations of computer science 2015. 40th international symposium, MFCS 2015, Milan, Italy, August 24–28, 2015. Proceedings. Part I. Berlin: Springer. Lect. Notes Comput. Sci. 9234, 407-418 (2015).
PDFBibTeX XMLCite
Full Text: DOI arXiv Link

Some aspects in the mathematical work of Jerzy Kąkol. (English) Zbl 1330.46004

Ferrando, Juan Carlos (ed.) et al., Descriptive topology and functional analysis. In honour of Jerzy Kąkol’s 60th birthday. Proceedings of the 1st meeting in topology and functional analysis, Elche, Spain, September 27–28, 2013. Cham: Springer (ISBN 978-3-319-05223-6/hbk; 978-3-319-05224-3/ebook). Springer Proceedings in Mathematics & Statistics 80, 1-26 (2014).
PDFBibTeX XMLCite
Full Text: DOI

Topological interpretations of provability logic. (English) Zbl 1352.03070

Bezhanishvili, Guram (ed.), Leo Esakia on duality in modal and intuitionistic logics. Dordrecht: Springer (ISBN 978-94-017-8859-5/hbk; 978-94-017-8860-1/ebook). Outstanding Contributions to Logic 4, 257-290 (2014).
PDFBibTeX XMLCite
Full Text: DOI arXiv

On compactness for being \(\lambda\)-collectionwise Hausdorff. (English) Zbl 1358.03068

Geschke, Stefan (ed.) et al., Infinity, computability and metamathematics. Festschrift celebrating the 60th birthdays of Peter Koepke and Philip Welch. London: College Publications (ISBN 978-1-84890-130-8/hbk). 255-272 (2014).
PDFBibTeX XMLCite

Levels of discontinuity, limit-computability, and jump operators. (English) Zbl 1344.03037

Brattka, Vasco (ed.) et al., Logic, computation, hierarchies. Dedicated to Victor L. Selivanov on the occasion of his 60th birthday. Berlin: De Gruyter (ISBN 978-1-61451-783-2/hbk; 978-1-61451-804-4/ebook). Ontos Mathematical Logic 4, 79-107 (2014).
PDFBibTeX XMLCite
Full Text: arXiv

Filter Results by …

Document Type

Database

all top 5

Author

all top 5

Serial

all top 5

Year of Publication

all top 3

Main Field

all top 3

Software