Sergeyev, Yaroslav D. and Garro, Alfredo 2013. Single-tape and multi-tape Turing machines through the lens of the Grossone methodology. The Journal of Supercomputing, Vol. 65, Issue. 2, p. 645.

Students taking this course should already have taken a year-long introductory course in logic in a Philosophy Department, or a mathematical course that covers the basics of set theory and logic. If ...

She is also interested in connections of set theory with other fields of logic and mathematics and has published in model theory, topology and analysis. We welcome Prof. Dr. John R. Steel (UC Berkeley ...

Galois theory; Homological algebra; Semisimple algebra. The MATH 8808-8809 sequence will cover the following topics: Point-set topology, fundamental group and covering spaces, smooth manifolds, smooth ...