Analogues of Rice's theorem for semantic classes of propositions
From MaRDI portal
(Redirected from Publication:1803023)
Recommendations
- A restricted analog of the third level of Rice's theorem for semantic classes of sentences
- More intensional versions of Rice's theorem
- The intensional content of Rice's theorem
- Looking for an Analogue of Rice's Theorem in Circuit Complexity Theory
- A second step towards complexity-theoretic analogs of Rice's Theorem
Cites work
- scientific article; zbMATH DE number 4091484 (Why is no real title available?)
- scientific article; zbMATH DE number 125239 (Why is no real title available?)
- scientific article; zbMATH DE number 6318 (Why is no real title available?)
- scientific article; zbMATH DE number 3342830 (Why is no real title available?)
- Classes of Recursively Enumerable Sets and Their Decision Problems
Cited in
(9)- First-order combinatorics and model-theoretical properties that can be distinct for mutually interpretable theories
- More intensional versions of Rice's theorem
- Erratum to ``The Ricean objection: An analogue of Rice's theorem for first-order theories.
- A finitary realizable list of properties
- scientific article; zbMATH DE number 3849213 (Why is no real title available?)
- The Ricean Objection: An Analogue of Rice's Theorem for First-order Theories
- A.D. Taimanov and model theory in Kazakhstan
- The intensional content of Rice's theorem
- Rice and Rice-Shapiro theorems for transfinite correction grammars
This page was built for publication: Analogues of Rice's theorem for semantic classes of propositions
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1803023)
