9 search results - page 1 / 2 » A note on tall cardinals and level by level equivalence |
MLQ
2010
13 years 3 months ago
2010
We construct two models containing exactly one supercompact cardinal in which all nonsupercompact measurable cardinals are strictly taller than they are either strongly compact or...
ICEIS
2007
IEEE
13 years 11 months ago
2007
IEEE
The Xequiv algorithm determines when two XML schemas are equivalent based on their structural organization. It calculates the percentages of schema inclusion in another schema by ...
JOC
2002
13 years 4 months ago
2002
In theoretical cryptography, one formalizes the notion of an adversary's success probability being "too small to matter" by asking that it be a negligible function ...
SIAMNUM
2010
12 years 11 months ago
2010
We analyze an adaptive discontinuous finite element method (ADFEM) for symmetric second order linear elliptic operators. The method is formulated on nonconforming meshes made of si...
CORR
1999
Springer
13 years 4 months ago
1999
Springer
We describe a method for automatically generating Lexical Transfer Rules (LTRs) from word equivalences using transfer rule templates. Templates are skeletal LTRs, unspecified for ...