Results 1 to 10 of about 65,466 (259)
Some of the next articles are maybe not open access.
Finite-valued approximations of product logic
Proceedings 30th IEEE International Symposium on Multiple-Valued Logic (ISMVL 2000), 2002In this paper we shall propose a method for the reduction of the problem of decidability in propositional infinite-valued Product Logic to suitably determined finite-valued approximating logics. In order to do so, functions associated with formulas of product logic are defined and their properties are exploited.
Stefano Aguzzoli, Brunella Gerla
openaire +3 more sources
Parametrized Partitions of Products of Finite Sets*
Combinatorica, 2004Let \(\omega\) denote the set of natural numbers and \(\omega^\omega\) be the set of infinite sequences of natural numbers, and for \(A\subseteq \omega\), \([A]^\omega\) denotes the set of infinite subsets of \(A\). Then the authors prove: For every Borel coloring \(c:\omega^\omega\times [\omega]^\omega\to\{0,1\}\) and every sequence \(\{m_i\}^\infty_ ...
Carlos A. Di Prisco +2 more
openaire +2 more sources
On Countable Products of Finite Hausdorff Spaces
MLQ, 2000It is well known that Tikhonov's product theorem and the Axiom of Choice are equivalent propositions. This paper presents further (localized) versions of this for countable families of finite sets (with the discrete topology). The Axiom of Choice for such families is equivalent to Tikhonov's theorem for them and to the Baire Category theorem for their ...
Horst Herrlich, Kyriakos Keremedis
openaire +2 more sources
Trace of products in finite fields
Finite Fields and Their Applications, 2018Let p be a prime number and let q = p(r). If C and D are large subsets of F-q(*) we study the trace of products cd with c is an element of C and d is an element of D and show that it is well distributed in F-p. We give an optimal condition (up to an absolute constant factor) on the size of the subsets C and D to ensure that the trace of products cd ...
openaire +2 more sources
Some Results on Products of Finite Groups
Bulletin of the Malaysian Mathematical Sciences Society, 2015Let \(G\) be a finite group. Subgroups \(A\) and \(B\) of \(G\) are said to be mutually permutable (M-permutable or sn-permutable) if \(A\) permutes with every subgroup (every maximal subgroup or every subnormal subgroup, respectively) of \(B\) and vice versa.
Ballester-Bolinches, Adolfo +3 more
openaire +2 more sources
Product of some elements of finite groups
Frontiers of Mathematics in China, 2009zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Zhang, Cui, Shi, Wujie
openaire +1 more source
On the residual finiteness of generalized free products of finite rank groups
Siberian Mathematical Journal, 2013Let \(P\) be a free product of residually finite groups \(A\) and \(B\) with amalgamated subgroups \(H\) and \(K\) different from \(A\) and \(B\), respectively. The author proves that if \(A\) and \(B\) are finitely generated groups of finite rank, \(H\) and \(K\) are normal subgroups then \(P\) is residually finite if and only if \(H\) and \(K\) are ...
openaire +2 more sources
1995
The main result of this chapter is a complete description of all finite abelian groups as direct products of cyclic p-groups. By passing from abelian groups to modules over a principal ideal domain, we show that this result gives canonical forms for matrices. The essential uniqueness of the factorization of a finite abelian group as a direct product of
openaire +1 more source
The main result of this chapter is a complete description of all finite abelian groups as direct products of cyclic p-groups. By passing from abelian groups to modules over a principal ideal domain, we show that this result gives canonical forms for matrices. The essential uniqueness of the factorization of a finite abelian group as a direct product of
openaire +1 more source
Ellipses and Finite Blaschke Products
The American Mathematical Monthly, 2002Ulrich Daepp +2 more
openaire +2 more sources
Smale’s mean value conjecture for finite Blaschke products
Journal of Analysis, 2017Tuen Wai Ng, Yongquan Zhang
exaly

