Embedding Brouwer algebra in the Medvedev lattice (Q1812988): Difference between revisions
From MaRDI portal
Created a new Item |
Set OpenAlex properties. |
||
(2 intermediate revisions by 2 users not shown) | |||
Property / MaRDI profile type | |||
Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank | |||
Property / full work available at URL | |||
Property / full work available at URL: https://doi.org/10.1305/ndjfl/1093635751 / rank | |||
Normal rank | |||
Property / OpenAlex ID | |||
Property / OpenAlex ID: W2063323156 / rank | |||
Normal rank | |||
links / mardi / name | links / mardi / name | ||
Latest revision as of 01:52, 20 March 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Embedding Brouwer algebra in the Medvedev lattice |
scientific article |
Statements
Embedding Brouwer algebra in the Medvedev lattice (English)
0 references
25 June 1992
0 references
It is known that the Medvedev lattice is a Brouwer algebra [\textit{Yu. T. Medvedev}, Dokl. Akad. Nauk SSSR 104, 501--504 (1955; Zbl 0065.00301]. The author characterizes the class of finite Brouwer algebras that are embeddable in the Medvedev lattice via a lattice theoretic embedding which preserves the least element, the greatest element, as well as the operation \(\to\) of Brouwer algebras; namely it is shown that this class consists of exactly the finite Brouwer algebras in which the least element is meet-irreducible and the greatest element is join-irreducible. A similar characterization is given also for the Muchnick lattice [introduced by \textit{A. A. Muchnik}, Sib. Mat. Zh. 4, 1328--1341 (1963; Zbl 0156.01603)].
0 references
Medvedev lattice
0 references
Brouwer algebra
0 references
Muchnik lattice
0 references