271 search results - page 1 / 55 » The lattice of embedded subsets |
CORR
2010
Springer
13 years 3 months ago
2010
Springer
JSYML
2008
13 years 5 months ago
2008
We investigate the structure of the Medvedev lattice as a partial order. We prove that every interval in the lattice is either finite, in which case it is isomorphic to a finite B...
IGPL
2011
12 years 8 months ago
2011
We extend the lattice embedding of the axiomatic extensions of the positive fragment of intuitionistic logic into the axiomatic extensions of intuitionistic logic to the setting of...
FCT
1991
Springer
13 years 8 months ago
1991
Springer
We report on improved practical algorithms for lattice basis reduction. We propose a practical oating point version of the L3{algorithm of Lenstra, Lenstra, Lovasz (1982). We pres...
JCT
2002
13 years 5 months ago
2002
Suppose we toss an independent coin with probability of success p for each subset of [n] = {1, . . . , n}, and form the random hypergraph P(n, p) by taking as hyperedges the subse...