We define theta functions attached to indefinite quadratic forms over real number fields and prove that these theta functions are Hilbert modular forms by regarding them as specializations of symplectic theta functions. The eighth root of unity which arises under modular transformations is determined explicitly.

Abstract UNITY is a model for concurrent specifications with complete logic proving progress properties of the form “ P leads to Q ”. generalized U-specifications by giving more freedom specify steps that are be taken infinitely often. In particular, these can correspond non-total relations. The generalization keeps sound and complete. paper exploits in two ways. Firstly, remains when specifica...