scientific article
From MaRDI portal
Publication:2769090
zbMath1045.03519MaRDI QIDQ2769090
Publication date: 4 February 2002
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Decidability of theories and sets of sentences (03B25) Models of arithmetic and set theory (03C62) Nonstandard analysis (26E35)
Related Items
A game-theoretic approach to fault diagnosis and identification of hybrid systems ⋮ The Diophantine problem for systems of algebraic equations with exponents ⋮ The quest for an adequate semantic basis of dense-time metric temporal logic ⋮ Reasoning about discrete and continuous noisy sensors and effectors in dynamical systems ⋮ Applications of real number theorem proving in PVS ⋮ An axiomatic approach to the non-linear theory of generalized functions and consistency of Laplace transforms ⋮ Lattice ordered o-minimal structures ⋮ Compression schemes, stable definable families, and o-minimal structures ⋮ Axiomatic (and non-axiomatic) mathematics ⋮ Definable utility in o-minimal structures.