The following pages link to Implicit definability in arithmetic (Q306821):
Displaying 8 items.
- Implicit definability of subfields (Q558423) (← links)
- The implicit definition of the set-concept (Q1430140) (← links)
- Definability of initial segments (Q1430996) (← links)
- Definability in number fields (Q3765748) (← links)
- Arithmetic definability by formulas with two quantifiers (Q4008742) (← links)
- (Q4429280) (← links)
- Computability of Subsets of Metric Spaces (Q5024568) (← links)
- Classes of Polish spaces under effective Borel isomorphism (Q5365177) (← links)