Notre Dame Journal of Formal Logic

Embedding Brouwer algebras in the Medvedev lattice.

Andrea Sorbi

Full-text: Open access

Article information

Source
Notre Dame J. Formal Logic, Volume 32, Number 2 (1991), 266-275.

Dates
First available in Project Euclid: 27 August 2004

Permanent link to this document
https://projecteuclid.org/euclid.ndjfl/1093635751

Digital Object Identifier
doi:10.1305/ndjfl/1093635751

Mathematical Reviews number (MathSciNet)
MR1123000

Zentralblatt MATH identifier
0737.06009

Subjects
Primary: 03G10: Lattices and related structures [See also 06Bxx]
Secondary: 06D20: Heyting algebras [See also 03G25]

Citation

Sorbi, Andrea. Embedding Brouwer algebras in the Medvedev lattice. Notre Dame J. Formal Logic 32 (1991), no. 2, 266--275. doi:10.1305/ndjfl/1093635751. https://projecteuclid.org/euclid.ndjfl/1093635751


Export citation