Pages that link to "Item:Q1803023"

The following pages link to Analogues of Rice's theorem for semantic classes of propositions (Q1803023):

Displaying 2 items.

• 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)