Pages that link to "Item:Q912081"
From MaRDI portal
The following pages link to Decidability in elementary analysis. II (Q912081):
Displaying 12 items.
- Decidability of the elementary theory of universal semifields of the second kind (Q580393) (← links)
- Some new results on decidability for elementary algebra and geometry (Q714712) (← links)
- Decidability in elementary analysis. I (Q1823233) (← 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)
- LOGICAL THEORIES OF ONE-PLACE FUNCTIONS ON THE SET OF NATURAL NUMBERS (Q3328515) (← links)
- (Q3333034) (← links)
- Decidability and Specker sequences in intuitionistic mathematics (Q3650323) (← links)
- Decision algorithms for some fragments of analysis and related areas (Q3803084) (← links)
- (Q4366289) (← links)
- OPTIMAL PROOFS OF DETERMINACY II (Q4799378) (← links)