𝔖 Bobbio Scriptorium
✦   LIBER   ✦

A First-Order Isomorphism Theorem

✍ Scribed by Allender, Eric; Balcázar, José; Immerman, Neil


Book ID
118177393
Publisher
Society for Industrial and Applied Mathematics
Year
1997
Tongue
English
Weight
292 KB
Volume
26
Category
Article
ISSN
0097-5397

No coin nor oath required. For personal study only.


📜 SIMILAR VOLUMES


A Theorem of Isomorphism
✍ Harte, R. E. 📂 Article 📅 1966 🏛 Oxford University Press 🌐 English ⚖ 287 KB
An isomorphism theorem
✍ Franklin, Stanley P. 📂 Article 📅 1968 🏛 Springer-Verlag 🌐 English ⚖ 149 KB
First-order theorem proving: Foreword
✍ Nicolas Peltier; Viorica Sofronie-Stokkermans 📂 Article 📅 2012 🏛 Elsevier Science 🌐 English ⚖ 139 KB
A 2-Isomorphism Theorem for Hypergraphs
✍ Dirk Vertigan; Geoff Whittle 📂 Article 📅 1997 🏛 Elsevier Science 🌐 English ⚖ 330 KB

One can associate a polymatroid with a hypergraph that naturally generalises the cycle matroid of a graph. Whitney's 2-isomorphism theorem characterises when two graphs have isomorphic cycle matroids. In this paper Whitney's theorem is generalised to hypergraphs and polymatroids by characterising wh