The calculation on the lattice of cross–sections, form–factors and decay rates associated to phenomenologically relevant physical processes is complicated by the spatial momenta quantization rule arising from the introduction of limited box sizes in numerical simulations. A method to overcome this problem, based on the adoption of two distinct boundary conditions for two fermions species on a f...

To see that a finitely axiomatizable logic is decidable—in the sense that it has a decidable set of theorems—it suffices to show that it has the finite model property, and indeed, this has been the method of choice for establishing decidability of propositional logics. A logic is said to have the finite model property (FMP) if every formula that fails to be a theorem of the logic can be refuted...

Let (G, τ ) be a commutative Hausdorff locally solid lattice group. In this paper we prove the following: (1) If (G, τ ) has the A(iii)-property, then its completion (Ĝ, τ̂ ) is an order-complete locally solid lattice group. (2) If G is order-complete and τ has the Fatou property, then the order intervals of G are τ -complete. (3) If (G, τ ) has the Fatou property, then G is order-dense in Ĝ and...

The aim of this paper is to formalize the second part of Chapter I Section 1 (1.9–1.19) in [12]. Definitions of Scott’s auxiliary and approximating relations are introduced in this work. We showed that in a meet-continuous lattice, the way-below relation is the intersection of all approximating auxiliary relations (proposition (40) — compare 1.13 in [12, pp. 43–47]). By (41) a continuous lattic...

We show how the Pad e table can be utilized to develop a new lattice structure for general two-channel bi-orthogonal perfect reconstruction (PR) lter banks. This is achieved through characterization of all two-channel bi-orthogonal PR lter banks. The parameter space found using this method is unique for each lter bank. Similarly to any other lattice structure, the PR property is achieved struct...