𝔖 Bobbio Scriptorium
✦   LIBER   ✦

A note on the number of monadic quantifiers in monadic ∑11

✍ Scribed by Martin Otto

Publisher
Elsevier Science
Year
1995
Tongue
English
Weight
275 KB
Volume
53
Category
Article
ISSN
0020-0190

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

A note on the interval number of a graph
A note on the interval number of a graph
✍ Paul Erdös; Douglas B. West 📂 Article 📅 1985 🏛 Elsevier Science 🌐 English ⚖ 353 KB

Three results on the interval number of a graph on n vertices are presented. (1) The interval number of almost every graph is between n/4 Ig n and n/4 (this also holds for almost every bipartite graph). ( 2) There exist K+\_,, -free bipartite graphs with interval number at least c(m)n 1-2'Cm+1J/lg

A note on the axiomatisation of real num
A note on the axiomatisation of real numbers
✍ Thierry Coquand; L. Henri Lombardi 📂 Article 📅 2008 🏛 John Wiley and Sons 🌐 English ⚖ 86 KB 👁 2 views

## Abstract Is it possible to give an abstract characterisation of constructive real numbers? A condition should be that all axioms are valid for Dedekind reals in any topos, or for constructive reals in Bishop mathematics. We present here a possible first‐order axiomatisation of real numbers, whic

A Note on the Asymptotic Number of Latin
A Note on the Asymptotic Number of Latin Rectangles
✍ I. Skau 📂 Article 📅 1998 🏛 Elsevier Science 🌐 English ⚖ 75 KB

The enumeration problem of Latin rectangles is formulated in terms of permanents, and two 'hard' inequalities of permanents are applied in a squeezing manner, both giving and suggesting asymptotic formulas.