𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Meaning and Dialogue Coherence: A Proof-theoretic Investigation

✍ Scribed by Paul Piwek

Publisher
Springer Netherlands
Year
2008
Tongue
English
Weight
41 KB
Volume
17
Category
Article
ISSN
0925-8531

No coin nor oath required. For personal study only.

πŸ“œ SIMILAR VOLUMES

Tree enterprises and bankruptcy ventures
Tree enterprises and bankruptcy ventures A game theoretic similarity due to a graph theoretic proof
✍ Theo S.H. Driessen πŸ“‚ Article πŸ“… 1997 πŸ› Elsevier Science 🌐 English βš– 984 KB

In a tree enterprise, users reside at the nodes of the tree and their aim is to connect themselves, directly or indirectly, to the root of the tree. The construction costs of arcs of the tree are given by means of the arc-cost-function associated with the tree. Further the bankruptcy venture is desc

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