The universal theories of integral domains and of ordered integral domains which have the amalgamation property are characterized via their existentially complete models. The results of A. Macintyre, K. McKenna, and L. van den Dries on fields and ordered fields whose complete theories permit elimination of quantifiers are then derived as easy corollaries. A. Macintyre, K. McKenna, and L. van de...

In the infinite Post Correspondence Problem an instance (h, g) consists of two morphisms h and g, and the problem is to determine whether or not there exists an infinite word ω such that h(ω) = g(ω). This problem was shown to be undecidable by K. Ruohonen (1985) in general. Recently V. D. Blondel and V. Canterini (Theory Comput. Syst. 36, 231–245, 2003) showed that this problem is undecidable f...

Suitable extensions of monadic second-order theories of k successors have been proposed in the literature to specify in a concise way reactive systems whose behaviour can be naturally modeled with respect to a (possibly infinite) set of differently-grained temporal domains. This is the case, for instance, of the wide-ranging class of real-time reactive systems whose components have dynamic beha...

We study the algebraic and arithmetic structure of monoids invertible ideals (more precisely, $r$-invertible $r$-ideals for certain ideal systems $r$) Krull weakly Mori domains. also investigate all nonzero polynomial rings with at least two indeterminates over noetherian Among others, we show that they are not transfer but share several arithmetical phenomena having infinite class group prime ...

In this work,we explore the theme of $$L^p$$ -boundedness Bergman projections domains that can be covered, in sense ramified coverings, by “nice” (e.g., strictly pseudoconvex with real analytic boundary). particular, we focus on two-dimensional normal coverings whose covering group is a finite unitary reflection group. an infinite family examples, are able to prove projection for every $$p\in (...

Unsupervised clustering of utterances can be useful for the modeling of dialogue acts for dialogue applications. Previously, the Chinese restaurant process (CRP), a non-parametric Bayesian method, has been introduced and has shown promising results for the clustering of utterances in dialogue. This paper newly introduces the infinite HMM, which is also a nonparametric Bayesian method, and verif...

We present Probabilistic Doxastic Temporal (PDT) Logic for streams, a formalism to reason about probabilistic beliefs and their infinite temporal evolution in multi-agent systems. Extending previous work on PDT Logic, this formalism builds on a Markov chain model to represent infinite streams of possible worlds. Within these streams, it enables the quantification of beliefs through probability ...

In the infinite Post Correspondence Problem an instance (h, g) consists of two morphisms h and g, and the problem is to determine whether or not there exists an infinite word ω such that h(ω) = g(ω). This problem was shown to be undecidable by K. Ruohonen (1985) in general. Recently V. D. Blondel and V. Canterini (Theory Comput. Syst. 36, 231–245, 2003) showed that this problem is undecidable f...

In the infinite Post Correspondence Problem an instance (h, g) consists of two morphisms h and g, and the problem is to determine whether or not there exists an infinite word ω such that h(ω) = g(ω). This problem was shown to be undecidable by Ruohonen (1985) in general. Recently Blondel and Canterini (Theory Comput. Syst. 36 (2003) 231–245) showed that this problem is undecidable for domain al...

The present paper considers two infinite families of cone-manifolds endowed with spherical metric. The singular strata is either the torus knot t(2n + 1, 2) or the torus link t(2n, 2). Domains of existence for a spherical metric are found in terms of cone angles and volume formulæ are presented.