Zobrazeno 1 - 10
of 928
pro vyhledávání: '"A. Givant"'
Publikováno v:
Surgery Open Science, Vol 20, Iss , Pp 57-61 (2024)
Background: The gender disparity in surgery leadership roles is well-reported. However, the effect of program type and region on mean number of men or women occupying a particular leadership role has yet to be explored. This study aims to investigate
Externí odkaz:
https://doaj.org/article/f2f00c0b8cb948e4bc42b49a780ad815
Publikováno v:
In Surgery Open Science August 2024 20:57-61
A series of nonrepresentable relation algebras is constructed from groups. We use them to prove that there are continuum many subvarieties between the variety of representable relation algebras and the variety of coset relation algebras. We present o
Externí odkaz:
http://arxiv.org/abs/1809.05473
Autor:
Givant, S., Andréka, H.
A relation algebra is called measurable when its identity is the sum of measurable atoms, and an atom is called measurable if its square is the sum of functional elements. In this paper we show that atomic measurable relation algebras have rather str
Externí odkaz:
http://arxiv.org/abs/1808.03924
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:
Andréka, H., Givant, S.
A measurable relation algebra is a relation algebra in which the identity element is a sum of atoms that can be measured in the sense that the "size" of each such atom can be defined in an intuitive and reasonable way (within the framework of the fir
Externí odkaz:
http://arxiv.org/abs/1804.00279
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
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Publikováno v:
Journal Symbolic Logic 82,3 (2017), 966-994
It is shown that Tarski's set of ten axioms for the calculus of relations is independent in the sense that no axiom can be derived from the remaining axioms. It is also shown that by modifying one of Tarski's axioms slightly, and in fact by replacing
Externí odkaz:
http://arxiv.org/abs/1604.04655