✦ LIBER ✦

A proof-theoretic characterization of observational equivalence

✍ Scribed by Colin Stirling

Publisher: Elsevier Science
Year: 1985
Tongue: English
Weight: 932 KB
Volume: 39
Category: Article
ISSN: 0304-3975
DOI: 10.1016/0304-3975(85)90129-x

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

An algebraic characterization of observa

An algebraic characterization of observational equivalence

✍ André Arnold; Ilaria Castellani 📂 Article 📅 1996 🏛 Elsevier Science 🌐 English ⚖ 757 KB

A logical characterization of observatio

A logical characterization of observation equivalence

✍ Stephen L. Bloom; Douglas R. Troeger 📂 Article 📅 1985 🏛 Elsevier Science 🌐 English ⚖ 643 KB

A measure-theoretic proof of Turing inco

A measure-theoretic proof of Turing incomparability

✍ Chris J. Conidis 📂 Article 📅 2010 🏛 Elsevier Science 🌐 English ⚖ 294 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