scientific article; zbMATH DE number 5497805
From MaRDI portal
Publication:5505301
Recommendations
- Tarski’s Undefinability Theorem and the Diagonal Lemma
- scientific article; zbMATH DE number 1984520
- Undecidability in Weihrauch degrees
- Undecidability of Uzawa equivalence theorem and LLPO (Lesser limited principle of omniscience)
- Undecidability and intuitionistic incompleteness
- Undecidability, incompleteness and Arnol'd problems
- scientific article; zbMATH DE number 3896923
- scientific article; zbMATH DE number 572102
- The undecidability of k-provability
- On the question of absolute undecidability
Cited in
(3)
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5505301)