{\cal P}_w Is Not a Heyting Algebra

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

zbMATH Keywords

Heyting algebrasweak reducibility\({\Pi}^0_1\) classes

Mathematics Subject Classification ID

Other degrees and reducibilities in computability and recursion theory (03D30) Heyting algebras (lattice-theoretic aspects) (06D20)

Cited In (1)

• The universal enveloping algebra of the Witt algebra is not Noetherian

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)