Springer Science and Business Media LLC
Công bố khoa học tiêu biểu
* Dữ liệu chỉ mang tính chất tham khảo
Sắp xếp:
The class of algebraically closed p-semilattices is finitely axiomatizable
Springer Science and Business Media LLC - Tập 70 - Trang 287-308 - 2013
We prove our title, and thereby establish the base for a positive solution of Albert and Burris’ problem on the finite axiomatizability of the model companion of the class of all pseudocomplemented semilattices.
The Cantor–Bernstein–Schröder theorem via universal algebra
Springer Science and Business Media LLC - Tập 80 - Trang 1-28 - 2019
The Cantor–Bernstein–Schröder theorem (CBS-theorem for short) of set theory was generalized by Sikorski and Tarski to
$$\sigma $$
-complete Boolean algebras. After this, several generalizations of the CBS-theorem, extending the Sikorski–Tarski ver...... hiện toàn bộ
Dimension and automorphism groups of lattices
Springer Science and Business Media LLC - Tập 12 - Trang 279-289 - 1981
Every group is the automorphism group of a lattice of order dimension at most 4. We conjecture that the automorphism groups of finite modular lattices of bounded dimension do not represent every finite group. It is shown that ifp is a large prime dividing the order of the automorphism group of a finite modular latticeL then eitherL has high order dimension orM
p, the lattice of hei...... hiện toàn bộ
Rigid extensions of algebraic frames
Springer Science and Business Media LLC - Tập 62 - Trang 133-149 - 2010
An extension G ≤ H of lattice-ordered groups is said to be a rigid extension if for each
$${h \in H}$$
there exists a
$${g \in G}$$
such that h
⊥⊥ = g
⊥⊥. In this...... hiện toàn bộ
Injective hulls are not natural
Springer Science and Business Media LLC - Tập 48 - Trang 379-388 - 2002
In a category with injective hulls and a cogenerator, the embeddings into injective hulls can never form a natural transformation, unless all objects are injective. In particular, assigning to a field its algebraic closure, to a poset or Boolean algebra its Mac-Neille completion, and to an R-module its injective envelope is not functorial, if one wants the respective embeddings to form a natural ...... hiện toàn bộ
Axioms for function semigroups with agreement quasi-order
Springer Science and Business Media LLC - Tập 66 - Trang 85-98 - 2011
The agreement quasi-order on pairs of (partial) transformations on a set X is defined as follows:
$${(f, g) \preceq (h, k)}$$
if whenever f, g are defined and agree, so do h, k. We axiomatize function semigroups and monoids equipped with this quasi-order, thereby providing a generalisation of first proje...... hiện toàn bộ
Phân loại hay phân loại đối? Dịch bởi AI
Springer Science and Business Media LLC - Tập 46 - Trang 25-41 - 2001
Các loại được xem xét với p(x, y, z), một phép toán tam phân đơn, hoạt động như một bộ phân biệt cục bộ hoặc bộ phân biệt đối với các phần tử không thể phân rã trực tiếp. Nếu p(x, y, z) là "toàn cục", thì tất cả các tiểu loại đều có cơ sở hữu hạn. Trong trường hợp tổng quát, một liên tục các tiểu loại không có cơ sở hữu hạn được trình bày. Một hình ảnh lý thuyết đồ thị dẫn đến một loại nhóm kết nố...... hiện toàn bộ
#phân loại #phép toán tam phân #bộ phân biệt #nhóm #bán nhóm
A note on finitely generated hopfian lattices
Springer Science and Business Media LLC - Tập 8 Số 1 - Trang 381-383 - 1978
On essential variables of dual operations and the consequences for operations
Springer Science and Business Media LLC - Tập 70 - Trang 43-70 - 2013
We investigate essential variables of dual operations (or co-operations) in a rather general category-theoretic setting. During this investigation, we collect some results about the essential arities and arity gaps of dual operations in concrete categories. Afterwards, we use duality theory to show that this approach and the obtained results can also be beneficial for questions regarding essential...... hiện toàn bộ
Tổng số: 1,981
- 1
- 2
- 3
- 4
- 5
- 6
- 10