✦ LIBER ✦

Markov's principle, Church's thesis and Lindelöf's theorem

✍ Scribed by Hajime Ishihara

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Lindelöf's theorem in ℂn

✍ P. V. Dovbush 📂 Article 📅 1989 🏛 Springer 🌐 English ⚖ 338 KB

Painlevé's theorem and the Phragmén-Lind

✍ Maynard Arsove; Heinz Leutwiler 📂 Article 📅 1971 🏛 Springer-Verlag 🌐 French ⚖ 578 KB

Gödel's theorem, Church's theorem, and m

✍ J. J. C. Smart 📂 Article 📅 1961 🏛 Springer Netherlands 🌐 English ⚖ 333 KB

Diagonalisation and Church's Thesis: Kle

✍ Alonso, Enrique; Manzano, Maria 📂 Article 📅 2005 🏛 Taylor and Francis Group 🌐 English ⚖ 217 KB

The complementary property of Lindelöf's

✍ Liang Li-fu; Chen Wei-dong 📂 Article 📅 2000 🏛 Springer 🌐 English ⚖ 554 KB

An Informal Exposition of Proofs of Göde

✍ Barkley Rosser 📂 Article 📅 1939 🏛 Association for Symbolic Logic 🌐 English ⚖ 771 KB