The following pages link to Model theory and exponentiation. (Q2769090):
Displaying 11 items.
- A game-theoretic approach to fault diagnosis and identification of hybrid systems (Q391104) (← links)
- Applications of real number theorem proving in PVS (Q469367) (← links)
- Compression schemes, stable definable families, and o-minimal structures (Q972602) (← links)
- Definable utility in o-minimal structures. (Q1587385) (← links)
- Reasoning about discrete and continuous noisy sensors and effectors in dynamical systems (Q1711885) (← links)
- Axiomatic (and non-axiomatic) mathematics (Q2080664) (← links)
- An axiomatic approach to the non-linear theory of generalized functions and consistency of Laplace transforms (Q3015107) (← links)
- Alfred Tarski's elimination theory for real closed fields (Q3795644) (← links)
- (Q4026915) (← links)
- Lattice ordered o-minimal structures (Q5937830) (← links)
- The Diophantine problem for systems of algebraic equations with exponents (Q6054794) (← links)
