Programming computers used to be harder. Don’t get us wrong — today, people tend to solve harder problems with computers, but the fundamental act of programming is easier. We have high-level languages ...

Nature Research Intelligence Topics Topic summaries Mathematical Sciences Pure Mathematics Mathematical Logic, Set Theory, Lattices and Universal Algebra Mathematical logic, set theory, lattices and ...

Effective descriptive set theory refines classical descriptive set theory by emphasising computability and algorithmic aspects in the study of definable sets and functions, particularly within Polish ...

Vol. 133, No. 1/2, Foundations of the Formal Sciences I (Oct. - Nov., 2002), pp. 237-255 (19 pages) We give an overview of recent results in ordinal analysis. Therefore, we discuss the different ...