Embedding Brouwer Algebras in the Medvedev Lattice.
Andrea SorbiPublished in: Notre Dame J. Formal Log. (1991)
Keyphrases
- boolean algebra
- distributive lattices
- lattice structure
- vector space
- spatial reasoning
- nonlinear dimensionality reduction
- data embedding
- concept lattice
- lattice points
- topological spaces
- robust image watermarking
- neural network
- fixed point theorem
- multidimensional scaling
- data hiding
- digital images
- image processing