The following pages link to Decidability in analysis (Q2572942):
Displaying 8 items.
- Decidability and definability with circumscription (Q579240) (← links)
- Three concepts of decidability for general subsets of uncountable spaces (Q817852) (← links)
- Decidability and complexity analysis by basic paramodulation (Q1281494) (← links)
- Decidability in elementary analysis. I (Q1823233) (← links)
- (Q4249223) (← links)
- The discrete parts of approximately decidable sets in Euclidean spaces (Q4419273) (← links)
- Approximate decidability in euclidean spaces (Q4798203) (← links)
- (Q4840170) (← links)