Zobrazeno 1 - 10
of 125
pro vyhledávání: '"Givant, Steven"'
Autor:
Andréka, Hajnal, Givant, Steven
A relation algebra is measurable if the identity element is a sum of atoms, and the square x;1;x of each subidentity atom x is a sum of non-zero functional elements. These functional elements form a group Gx. We prove that a measurable relation algeb
Externí odkaz:
http://arxiv.org/abs/1804.02534
Autor:
Givant, Steven, Andréka, Hajnal
Publikováno v:
J. symb. log. 83 (2018) 1595-1609
A coset relation algebra is one embeddable into some full coset relation algebra, the latter is an algebra constructed from a system of groups, a coordinated system of isomorphisms between quotients of these groups, and a system of cosets that are us
Externí odkaz:
http://arxiv.org/abs/1804.03524
Autor:
Givant, Steven
Generalizing results of J\'onsson and Tarski, Maddux introduced the notion of a pair-dense relation algebra and proved that every pair-dense relation algebra is representable. The notion of a pair below the identity element is readily definable withi
Externí odkaz:
http://arxiv.org/abs/1804.00076
Publikováno v:
The Journal of Symbolic Logic, 2017 Sep 01. 82(3), 966-994.
Externí odkaz:
https://www.jstor.org/stable/26600269
Autor:
Givant, Steven
Publikováno v:
The Journal of Symbolic Logic, 2003 Mar 01. 68(1), 267-310.
Externí odkaz:
https://www.jstor.org/stable/4147742
Autor:
Givant, Steven, Andreka, Hajnal
Publikováno v:
The Bulletin of Symbolic Logic, 2002 Mar 01. 8(1), 38-64.
Externí odkaz:
https://www.jstor.org/stable/2687734