{\cal P}_w Is Not a Heyting Algebra
From MaRDI portal
Publication:3576205
DOI10.1007/978-3-642-13962-8_21zbMATH Open1286.03136OpenAlexW1860822132MaRDI QIDQ3576205FDOQ3576205
Authors: Kojiro Higuchi
Publication date: 29 July 2010
Published in: Programs, Proofs, Processes (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-642-13962-8_21
Recommendations
- \(A^p\) is not an algebra for \(1 < p < 2\)
- The universal enveloping algebra of the Witt algebra is not Noetherian
- \(C_ 1\) is not algebraizable
- Not every splitting Heyting or interior algebra is finitely presentable
- Not every pseudoalgebra is equivalent to a strict one
- \( \mathcal{W} \) algebras are \(L_{\infty}\) algebras
- The Calkin algebra is not countably homogeneous
- Homotopical algebra is not concrete
- scientific article; zbMATH DE number 639849
- \(P\)-nilpotent completion is not idempotent
Other degrees and reducibilities in computability and recursion theory (03D30) Heyting algebras (lattice-theoretic aspects) (06D20)
Cited In (1)
This page was built for publication: ${\cal P}_w$ Is Not a Heyting Algebra
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3576205)