𝔖 Bobbio Scriptorium
✦   LIBER   ✦

A note on assumptions about Skolem functions

✍ Scribed by Hans Jürgen Ohlbach; Christoph Weidenbach

Publisher
Springer Netherlands
Year
1995
Tongue
English
Weight
617 KB
Volume
15
Category
Article
ISSN
0168-7433

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Note on a conflict of assumptions in bid
Note on a conflict of assumptions in bidding models
✍ Malcolm King; Alan Mercer 📂 Article 📅 1987 🏛 Elsevier Science 🌐 English ⚖ 451 KB

A controversy over the most appropriate model for some bidding situations is examined. It is shown that the models are based on four common assumptions and a fifth which depends on the bidding situation.

A note on ranking functions
A note on ranking functions
✍ V Rödl; W.T Trotter 📂 Article 📅 1987 🏛 Elsevier Science 🌐 English ⚖ 162 KB

In this issue, W.J. Walker introduces the lattice L(n, r) as the set of all possible results when n competitors are matched in a series of r races. A result is an r-term nondecreasing sequence of integers selected from {1, 2 .... , n}. The dimension of L(n, r) is at most r since it is a subposet of