3928 search results - page 66 / 786 » order 2006 |
103
click to vote
ORDER
2000
15 years 3 months ago
2000
We prove that, given a nontrivial Boolean algebra B, a compact convex set S and a group G, there is an orthomodular lattice L with the center isomorphic to B, the automorphism grou...
114
click to vote
ORDER
2010
15 years 2 months ago
2010
This paper investigates quantum logic from the perspective of categorical logic, and starts from minimal assumptions, namely the existence of involutions/daggers and kernels. The ...
126
click to vote
APAL
2006
15 years 4 months ago
2006
Given any subset A of 1 there is a proper partial order which forces that the predicate x A and the predicate x 1\A can be expressed by ZFC
111
click to vote
JSYML
2000
15 years 3 months ago
2000
We consider a finite universe U (more exactly - a family U of them), second order quantifiers QK , where for each U this means quantifying over a family of n(K)-place relations clo...
106
click to vote
JSCIC
2006
15 years 3 months ago
2006
In this work, we introduce new finite-difference shock-capturing central schemes on staggered grids. Staggered schemes may have better resolution of the corresponding unstaggered ...