Sciweavers

4 search results - page 1 / 1
» A Construction of Infinite Sets of Intertwines for Pairs of ...
Sort
View
DM
2002
102views more  DM 2002»
13 years 4 months ago
Infinite antichains of matroids with characteristic set {p}
For each prime p, we construct an infinite antichain of matroids in which each matroid has characteristic set {p}. For p = 2, each of the matroids in our antichain is an excluded m...
James G. Oxley, Charles Semple, Dirk L. Vertigan, ...
TYPES
1994
Springer
13 years 8 months ago
A Concrete Final Coalgebra Theorem for ZF Set Theory
A special final coalgebra theorem, in the style of Aczel's [2], is proved within standard Zermelo-Fraenkel set theory. Aczel's AntiFoundation Axiom is replaced by a varia...
Lawrence C. Paulson
ARSCOM
2005
64views more  ARSCOM 2005»
13 years 4 months ago
Hamilton Paths in Certain Arithmetic Graphs
For each integer m 1, consider the graph Gm whose vertex set is the set N = {0, 1, 2, . . . } of natural numbers and whose edges are the pairs xy with y = x + m or y = x - m or y...
Paul A. Russell