AN EXTENSION OF A THEOREM OF ZERMELO
نویسندگان
چکیده
منابع مشابه
An extension of the Wedderburn-Artin Theorem
In this paper we give conditions under which a ring is isomorphic to a structural matrix ring over a division ring.
متن کاملZermelo ’ s Theorem 1
The articles [4], [3], [5], [2], and [1] provide the notation and terminology for this paper. For simplicity we follow the rules: a, x, y will be arbitrary, B, D, N , X, Y will denote sets, R, S, T will denote relations, F will denote a function, and W will denote a relation. We now state several propositions: (1) x ∈ fieldR if and only if there exists y such that 〈x, y〉 ∈ R or 〈y, x〉 ∈ R. (2) ...
متن کاملan extension and a generalization of dedekind's theorem
for any given finite abelian group, we give factorizations of the group determinant in the group algebra of any subgroups. the factorizations is an extension of dedekind's theorem. the extension leads to a generalization of dedekind's theorem.
متن کاملA linear conservative extension of Zermelo-Fraenkel set theory
In this paper, we develop the system LZF of set theory with the unrestricted comprehension in full linear logic and show that LZF is a conservative extension of ZF i.e., the Zermelo-Fraenkel set theory without the axiom of regularity. We formulate LZF as a sequent calculus with abstraction terms and prove the partial cut-elimination theorem for it. The cut-elimination result ensures the subterm...
متن کاملA FUZZY VERSION OF HAHN-BANACH EXTENSION THEOREM
In this paper, a fuzzy version of the analytic form of Hahn-Banachextension theorem is given. As application, the Hahn-Banach theorem for$r$-fuzzy bounded linear functionals on $r$-fuzzy normedlinear spaces is obtained.
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: The Bulletin of Symbolic Logic
سال: 2019
ISSN: 1079-8986,1943-5894
DOI: 10.1017/bsl.2019.15