The following pages link to (Q4556200):
Displaying 10 items.
- Tarski's theory of definability: Common themes in descriptive set theory, recursive function theory, classical pure logic, and finite-universe logic (Q598270) (← links)
- A framework for measuring the complexity of mathematical concepts (Q920074) (← links)
- The definability of fields (Q1125121) (← links)
- Definability, decidability, complexity (Q1817073) (← links)
- Definability in function spaces (Q1852368) (← links)
- Definability and invariance (Q2454641) (← links)
- Definability in the real universe (Q2906565) (← links)
- (Q3404030) (← links)
- (Q4513977) (← links)
- (Q5331449) (← links)