scientific article; zbMATH DE number 1169378
From MaRDI portal
Publication:4397030
Recommendations
Cited in
(91)- On freely generated \(E\)-subrings
- On the theory of the real exponential field
- An effective version of Wilkie's theorem of the complement and some effective o-minimality results.
- Ax-Schanuel for linear differential equations
- On irreducible components of real exponential hypersurfaces
- \(\Sigma\)-definability in hereditarily finite superstructures and computable analysis
- Undefinability results in o-minimal expansions of the real numbers
- Weak Wu stratification in \(\mathbb{R}^n\)
- On the structure of nonarchimedean exponential fields. I
- Axiomatic (and non-axiomatic) mathematics
- Decisiveness of stochastic systems and its application to hybrid models
- A game theory approach to the existence and uniqueness of nonlinear Perron-Frobenius eigenvectors
- The uniformization problem for \(\Sigma\)-predicates in a hereditarily finite list superstructure over the real exponential field
- Properties of \(s\Sigma\)-reducibility
- Diophantine definability and decidability in extensions of degree 2 of totally real fields
- On the expressiveness and decidability of o-minimal hybrid systems
- Effective power series computations
- Decision algorithms for fragments of real analysis. I: Continuous functions with strict convexity and concavity predicates
- Complexity bounds for zero-test algorithms
- Turing meets Schanuel
- When are emptiness and containment decidable for probabilistic automata?
- A decidable theory involving addition of differentiable real functions
- Model theory and exponentiation.
- On the decidability of the real field with a generic power function
- scientific article; zbMATH DE number 5953963 (Why is no real title available?)
- ON THE THEORY OF EXPONENTIAL FIELDS
- Arithmetization of the field of reals with exponentiation extended abstract
- Some results about exponential fields (survey)
- scientific article; zbMATH DE number 4041889 (Why is no real title available?)
- scientific article; zbMATH DE number 177484 (Why is no real title available?)
- Indécidabilité des corps de courbe réelle
- scientific article; zbMATH DE number 1064597 (Why is no real title available?)
- Logarithmic-Exponential Power Series
- Generic solutions of equations with iterated exponentials
- From Schanuel's conjecture to Shapiro's conjecture
- scientific article; zbMATH DE number 937371 (Why is no real title available?)
- What can we do with a solution?
- Definability in o-minimal expansions of the real numbers
- Independence in computable algebra
- Models of true arithmetic are integer parts of models of real exponentation
- When is containment decidable for probabilistic automata?
- Decisiveness of stochastic systems and its application to hybrid models
- Finite bisimulations for dynamical systems with overlapping trajectories
- The big-O problem for labelled Markov chains and weighted automata
- The big-O problem
- Model Completeness for the Real Field with the Weierstrass ℘ Function
- Model theory in algebra, analysis and arithmetic: a preface
- A note on the decidability of exponential terms
- Computing strength of structures related to the field of real numbers
- Some remarks on Schanuel's conjecture
- Symbolic reachability computation for families of linear vector fields
- Multiplicative independence of algebraic numbers and expressions
- Zero counting for a class of univariate Pfaffian functions
- Deciding first-order formulas involving univariate mixed trigonometric-polynomials
- Between the Rings $${\mathbb Z}/p^n{\mathbb Z}$$ and the Ring $${\mathbb Z}_p$$: Issues of Axiomatizability, Definability and Decidability
- Decision problem for a class of univariate Pfaffian functions
- On the set of reduced states of translation invariant, infinite quantum systems
- IS CAUSAL REASONING HARDER THAN PROBABILISTIC REASONING?
- Embedding the prime model of real exponentiation into o‐minimal exponential fields
- The computability of LQR and LQG control
- On the decidability of reachability in continuous time linear time-invariant systems
- Weighted o-minimal hybrid systems
- A probabilistic logic for verifying continuous-time Markov chains
- A computability perspective on (verified) machine learning
- Decidability bounds for Presburger arithmetic extended by sine
- Analytic continuation and Zilber's quasiminimality conjecture
- Neural network learning and quantum gravity
- A phase transition in Arrow's theorem with three alternatives
- Entropic risk for turn-based stochastic games
- The boundedness and zero isolation problems for weighted automata over nonnegative rationals
- Quasiminimality of complex powers
- No Eleventh Conditional Ingleton Inequality
- On decidability of time-bounded reachability in CTMDPs
- Invariants for continuous linear dynamical systems
- Axiomatization of compact initial value problems: open properties
- The threshold problem for hypergeometric sequences with quadratic parameters
- Integer linear-exponential programming in NP by quantifier elimination
- Nonnegativity problems for matrix semigroups
- Schanuel's conjecture and the roots of elementary functions
- E-ideals in exponential polynomial rings
- DNN verification, reachability, and the exponential function problem
- On the decidability of monadic second-order logic with arithmetic predicates
- On the zeros of exponential polynomials
- Reduction of transcendental decision problems over the reals
- Analogues of Shepherdson's theorem for a language with exponentiation
- On the existential theory of the reals enriched with integer powers of a computable number
- Model theory and arithmetic. Abstracts from the workshop held January 18--23, 2026
- Constant power maps on Hardy fields and transseries
- Tropical varieties for exponential sums
- Uniformization in superstructures over some extensions of \(\mathbb{R}\)
- Inclusion dynamics hybrid automata
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4397030)
