Transfinite recursion and computation in the iterative conception of set

On Computable Numbers, with an Application to the Entscheidungsproblem

Alan Turing · Proceedings of the London Mathematical Society · 1937 · 8.1K citations

Computing, Computer Science, Mathematics +10

Recursively enumerable sets and degrees

Robert I. Soare · Bulletin of the American Mathematical Society · 1978 · 1.6K citations · Full text

Natural Sciences, Computer Science, Mathematics +15

The Iterative Conception of Set

George Boolos · The Journal of Philosophy · 1971 · 570 citations

Natural Sciences, Mathematics, Discrete Mathematics +10

Content and Self-Knowledge

Paul Boghossian · Philosophical Topics · 1989 · 512 citations · Full text

Humanities, Philosophy, Psychology +9

Axiom schemata of strong infinity in axiomatic set theory

Azriel Lévy · Pacific Journal of Mathematics · 1960 · 166 citations · Full text

Natural Sciences, Mathematics, Philosophy Of Mathematics +10