‎for any archimedean$f$-ring $a$ with unit in whichbreak$awedge‎‎(1-a)leq 0$ for all $ain a$‎, ‎the following are shown to be‎‎equivalent‎:‎‎1‎. ‎$a$ is isomorphic to the $l$-ring ${mathfrak z}l$ of all‎‎integer-valued continuous functions on some frame $l$‎. 2‎. ‎$a$ is a homomorphic image of the $l$-ring $c_{bbb z}(x)$‎‎of all integer-valued continuous functions‎, ‎in the usual sense‎,‎on som...

We show that for generic sliced spacetimes global hyperbolicity is equivalent to space completeness under the assumption that the lapse, shift and spatial metric are uniformly bounded. This leads us to the conclusion that simple sliced spaces are timelike and null geodesically complete if and only if space is a complete Riemannian manifold.

We present an automated veriication technique for veriica-tion of concurrent linked lists with integer variables. We show that using our technique one can automatically verify invariants that relate (unbounded) integer variables and heap variables such as head 6 = null ! numItems > 0. The presented technique extends our previous work on composite symbolic representations with shape analysis. Th...

We describe the geometry of geodesics on a Lorentz ellipsoid: give explicit formulas for the first integrals (pseudo-confocal coordinates), curvature, geodesically equivalent Riemannian metric, the invariant area-forms on the timeand space-like geodesics and invariant 1-form on the space of null geodesics. We prove a Poncelet-type theorem for null geodesics on the ellipsoid: if such a geodesic ...

The tensionless limit of gauged WZW models arises when the level of the underlying Kac-Moody algebra assumes its critical value, equal to the dual Coxeter number, in which case the central charge of the Virasoro algebra becomes infinite. We examine this limit from the world-sheet and target space viewpoint and show that gravity decouples naturally from the spectrum. Using the two-dimensional bl...

We denote by Q(A) the set of all matrices with the same sign pattern as A. A matrix A has signed null-space provided there exists a set S of sign patterns such that the set of sign patterns of vectors in the null-space of à is S for each à ∈ Q(A). Some properties of matrices with signed null-spaces are investigated.