On the existence of universal rational structures for groups.
Grigorenko, O.V., Roman'kov, V.A. (2007)
Sibirskie Ehlektronnye Matematicheskie Izvestiya [electronic only]
Similarity:
The search session has expired. Please query the service again.
The search session has expired. Please query the service again.
The search session has expired. Please query the service again.
The search session has expired. Please query the service again.
The search session has expired. Please query the service again.
The search session has expired. Please query the service again.
The search session has expired. Please query the service again.
The search session has expired. Please query the service again.
Grigorenko, O.V., Roman'kov, V.A. (2007)
Sibirskie Ehlektronnye Matematicheskie Izvestiya [electronic only]
Similarity:
Cherednichenko, V.G. (2002)
Sibirskij Matematicheskij Zhurnal
Similarity:
Grzegorz Bancerek (2012)
Formalized Mathematics
Similarity:
In the paper the semantics of MML Query queries is given. The formalization is done according to [4]
Karol Pąk (2014)
Formalized Mathematics
Similarity:
In this article we formalize the Bertrand’s Ballot Theorem based on [17]. Suppose that in an election we have two candidates: A that receives n votes and B that receives k votes, and additionally n ≥ k. Then this theorem states that the probability of the situation where A maintains more votes than B throughout the counting of the ballots is equal to (n − k)/(n + k). This theorem is item #30 from the “Formalizing 100 Theorems” list maintained by Freek Wiedijk at http://www.cs.ru.nl/F.Wiedijk/100/. ...
Boonpok, Chawalit (2009)
Acta Universitatis Apulensis. Mathematics - Informatics
Similarity:
Kenzi Satô (1998)
Acta Arithmetica
Similarity:
For every positive rational number q, we find a free group of rotations of rank 2 acting on (√q𝕊²) ∩ ℚ³ whose all elements distinct from the identity have no fixed point.
Franz Lemmermeyer (1997)
Acta Arithmetica
Similarity:
Calegari, Frank, Dunfield, Nathan M. (2006)
Geometry & Topology
Similarity:
Tronin, S.N. (2002)
Sibirskij Matematicheskij Zhurnal
Similarity:
Pinus, A.G. (2000)
Siberian Mathematical Journal
Similarity:
Ryszard Doman (1995)
Fundamenta Mathematicae
Similarity:
Let G be a finite group. We prove that every rational G-connected Hopf G-space with two nontrivial homotopy group systems is G-homotopy equivalent to an infinite loop G-space.
Kenzi Satô (1995)
Fundamenta Mathematicae
Similarity:
Hans-Joachim Baues, Manfred Hartl (1996)
Fundamenta Mathematicae
Similarity:
The homotopy category of Moore spaces in degree 2 represents a nontrivial cohomology class in the cohomology of the category of abelian groups. We describe various properties of this class. We use James-Hopf invariants to obtain explicitly the image category under the functor chain complex of the loop space.