{\cal P}_w Is Not a Heyting Algebra

DOI10.1007/978-3-642-13962-8_21MaRDI QIDQ3576205zbMATH OpenOpenAlexFDO

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

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)

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

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)