Pages that link to "Item:Q1823233"
From MaRDI portal
The following pages link to Decidability in elementary analysis. I (Q1823233):
Displaying 9 items.
- Some new results on decidability for elementary algebra and geometry (Q714712) (← links)
- Three concepts of decidability for general subsets of uncountable spaces (Q817852) (← links)
- Decidability in elementary analysis. II (Q912081) (← links)
- Decidability problems for meta-\(R\)-functions (Q1907768) (← links)
- Decision algorithms for fragments of real analysis. I: Continuous functions with strict convexity and concavity predicates (Q2457362) (← links)
- Decidability in analysis (Q2572942) (← links)
- A decidable theory involving addition of differentiable real functions (Q2699966) (← links)
- Decidability and Specker sequences in intuitionistic mathematics (Q3650323) (← links)
- Decision algorithms for some fragments of analysis and related areas (Q3803084) (← links)