The use of infinite abstract domains with widening and narrowing for accelerating the convergence of abstract interpretations is shown to be more powerful than the Galois connection approach re­ stricted to finite lattices (or lattices satisfying the chain condition).

We prove the existence and some properties of the limiting gap distribution for the directions of some Schottky group orbits in the Poincaré disk. A key feature is that the fundamental domains for these groups have infinite area.

We provide a complete classification of the n-ary semigroup structures defined by polynomial functions over infinite commutative integral domains with identity, thus generalizing G lazek and Gleichgewicht’s classification of ternary semigroups.

the concept of “infinite essence” that is both philosophically and theologically important, has passed many different evolutions in western history of thought. presocratics has evaluated it in two different ways. anaximender and melissus agree that the principle substance is infinite and divine, but neither absolutly transcendent nor anthropomorphic. the infinite is the fusis in its substantial...

Abstract In this contribution we propose an efficient and simple finite-element procedure for the approximation of open boundary problems applications in magnetostatics. these problems, interaction solid with external space plays a crucial role because magnetic stray fields that arise. For purpose, infinite region under consideration is approximated by sufficiently large domain. This then divid...

We consider the Stokes-transport system, a model for evolution of an incompressible viscous fluid with inhomogeneous density. This equation was already known to be globally well-posed any L1∩L∞ initial density finite first moment in R3. show that similar results hold on different domain types. prove system is L∞ data bounded domains R2 and R3 as well infinite strip R×(0,1). These contrast ill-p...

Of the many justifications of Bayesianism, most imply some assumption that is not very compelling, like the differentiability or continuity of some auxiliary function. We show how such assumptions can be replaced by weaker assumptions for finite domains. The new assumptions are a non-informative refinement principle and a concept of information independence. These assumptions are weaker than th...