${\cal P}_w$ Is Not a Heyting Algebra

DOI10.1007/978-3-642-13962-8_21zbMATH Open1286.03136OpenAlexW1860822132MaRDI QIDQ3576205

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

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

Related Items (1)

The universal enveloping algebra of the Witt algebra is not Noetherian

Recommendations

• Title not available (Why is that?) 👍 👎
• \(A^p\) is not an algebra for \(1 < p < 2\) 👍 👎
• Not every splitting Heyting or interior algebra is finitely presentable 👍 👎
• Not every pseudoalgebra is equivalent to a strict one 👍 👎
• \(C_ 1\) is not algebraizable 👍 👎
• \(P\)-nilpotent completion is not idempotent 👍 👎
• \( \mathcal{W} \) algebras are \(L_{\infty}\) algebras 👍 👎
• Homotopical algebra is not concrete 👍 👎
• The universal enveloping algebra of the Witt algebra is not Noetherian 👍 👎
• The Calkin algebra is not countably homogeneous 👍 👎

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)