Pages that link to "Item:Q1803023"
From MaRDI portal
The following pages link to Analogues of Rice's theorem for semantic classes of propositions (Q1803023):
Displaying 7 items.
- A finitary realizable list of properties (Q1317621) (← links)
- A restricted analog of the third level of Rice's theorem for semantic classes of sentences (Q1320692) (← links)
- A.D. Taimanov and model theory in Kazakhstan (Q2306026) (← links)
- First-order combinatorics and model-theoretical properties that can be distinct for mutually interpretable theories (Q2959176) (← links)
- Rice and Rice-Shapiro Theorems for transfinite correction grammars (Q3096086) (← links)
- Erratum to "The Ricean Objection: An Analogue of Rice's Theorem for First-Order Theories" * Logic Journal of the IGPL, 16(6): 585-590(2008) (Q3653149) (← links)
- The Ricean Objection: An Analogue of Rice's Theorem for First-order Theories (Q5504122) (← links)