Pages that link to "Item:Q3228605"
From MaRDI portal
The following pages link to A formula with no recursively enumerable model (Q3228605):
Displaying 5 items.
- Every recursive enumerable extension of a theory of linear order has a constructive model (Q1214407) (← links)
- In memory of Andrzej Mostowski (Q1237769) (← links)
- Models of noncontradictory formulas and the Ershov hierarchy (Q1393226) (← links)
- Changing a Semantics: Opportunism or Courage? (Q3454820) (← links)
- Putnam’s Theorem on the Complexity of Models (Q5214674) (← links)
