Constructive mathematics and mathematical logic. Part X. Transl. from the Russian

zbMath0944.00012MaRDI QIDQ1578747

No author found.

Publication date: 5 September 2000

Published in: Journal of Mathematical Sciences (New York) (Search for Journal in Brave)

Full work available at URL: https://rd.springer.com/journal/10958/98/4/page/1

zbMATH Keywords

Mathematical logicConstructive mathematics

Mathematics Subject Classification ID

Collections of articles of miscellaneous specific interest (00B15) Proceedings, conferences, collections, etc. pertaining to mathematical logic and foundations (03-06)

Cites Work

• The decision problem for exponential diophantine equations
• Diophantine representations of linear recurrences. I
• An explicit diophantine definition of the exponential function
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item