Some undecidable problems involving elementary functions of a real variable
type: Item
instance of: scholarly article
title: Some undecidable problems involving elementary functions of a real variable
zbMATH Open document ID: 0175.27404
DOI: 10.2307/2271358
author: Daniel C. Richardson
published in: Journal of Symbolic Logic
publication date: 1968-01-01T00:00:00Z
zbMATH DE Number: 3280066
zbMATH Keywords: recursion theory, constructive mathematics
Wikidata QID: Q56474593
MaRDI profile type: Publication
full work available at URL: https://doi.org/10.2307/2271358
OpenAlex ID: W2063402394
cites work: The decision problem for exponential diophantine equations
description: scientific article; zbMATH DE number 3280066