✦ LIBER ✦

A measure-theoretic proof of Turing incomparability

✍ Scribed by Chris J. Conidis

Publisher: Elsevier Science
Year: 2010
Tongue: English
Weight: 294 KB
Volume: 162
Category: Article
ISSN: 0168-0072
DOI: 10.1016/j.apal.2010.07.004

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

A proof-theoretic characterization of ob

A proof-theoretic characterization of observational equivalence

✍ Colin Stirling 📂 Article 📅 1985 🏛 Elsevier Science 🌐 English ⚖ 932 KB

A measure-theoretic axiomatization of fu

A measure-theoretic axiomatization of fuzzy sets

✍ P. Bollmann-Sdorra; S.K.M. Wong; Y.Y. Yao 📂 Article 📅 1993 🏛 Elsevier Science 🌐 English ⚖ 987 KB

A measure theoretic derivation of Richar

A measure theoretic derivation of Richardson's equation

✍ T.J. Mackin; C.T. Chen; J.J. Mecholsky; J. Runt 📂 Article 📅 1994 🏛 Elsevier Science 🌐 English ⚖ 175 KB

A proof-theoretic investigation of a log

A proof-theoretic investigation of a logic of positions

✍ Stefano Baratella; Andrea Masini 📂 Article 📅 2003 🏛 Elsevier Science 🌐 English ⚖ 560 KB

A GAME-THEORETIC PROOF OF ANALYTIC RAMSE

A GAME-THEORETIC PROOF OF ANALYTIC RAMSEY THEOREM

✍ Kazuyuki Tanaka 📂 Article 📅 1992 🏛 John Wiley and Sons 🌐 English ⚖ 217 KB

## Abstract We give a simple game‐theoretic proof of Silver's theorem that every analytic set is Ramsey. A set __P__ of subsets of ω is called Ramsey if there exists an infinite set __H__ such that either all infinite subsets of __H__ are in __P__ or all out of __P.__ Our proof clarifies a strong c

A new system of proof-theoretic ordinal

A new system of proof-theoretic ordinal functions

✍ W. Buchholz 📂 Article 📅 1986 🏛 Elsevier Science 🌐 English ⚖ 701 KB