Pages that link to "Item:Q1084389"
From MaRDI portal
The following pages link to Abstraction and definability in semantically closed structures (Q1084389):
Displaying 7 items.
- Tarski's theory of definability: Common themes in descriptive set theory, recursive function theory, classical pure logic, and finite-universe logic (Q598270) (← links)
- Undefinability of truth and nonstandard models (Q598273) (← links)
- A fixed point theorem for the weak Kleene valuation scheme (Q795819) (← links)
- The strong completeness of a system based on Kleene's strong three-valued logic (Q1893137) (← links)
- (Q3718128) (← links)
- Definability of the set of all true propositions of arithmetic by passage to the limit (Q4232363) (← links)
- Semantics for abstract clauses (Q6083702) (← links)