The removal of \pi from some undecidable problems involving elementary functions
From MaRDI portal
Publication:4804074
DOI10.1090/S0002-9939-02-06753-9zbMATH Open1016.03008WikidataQ60895425 ScholiaQ60895425MaRDI QIDQ4804074FDOQ4804074
Authors: M. Laczkovich 
Publication date: 10 April 2003
Published in: Proceedings of the American Mathematical Society (Search for Journal in Brave)
Recommendations
- Complexity and Definability Issues in LFormula
- The Undecidability of the Existence of Zeros of Real Elementary Functions
- A new elementary proof for the irrationality of \(\pi\)
- Unraveling \(\boldsymbol\Pi_1^1\) sets
- Unraveling \({\boldsymbol\Pi}^1_1\) sets, revisited
- \(\pi\)-calculi
- scientific article; zbMATH DE number 3891998
- On some problems in PI-theory in characteristic \(p\)
- The elimination of \textit{de re} formulas
Decidability of theories and sets of sentences (03B25) Elementary functions (26A09) Word problems, etc. in computability and recursion theory (03D40)
Cites Work
Cited In (7)
- The algebraic numbers definable in various exponential fields
- The natural algorithmic approach of mixed trigonometric-polynomial problems
- The Undecidability of the Existence of Zeros of Real Elementary Functions
- Deciding first-order formulas involving univariate mixed trigonometric-polynomials
- On the decidability of reachability in continuous time linear time-invariant systems
- Self-approaching paths in simple polygons
- Turing meets Schanuel
This page was built for publication: The removal of $\pi $ from some undecidable problems involving elementary functions
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4804074)
