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

zbMATH Open0944.00012MaRDI QIDQ1578747FDOQ1578747

Author name not available (Why is that?)

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
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Diophantine representations of linear recurrences. I
• An explicit diophantine definition of the exponential function
• Title not available (Why is that?)

Cited In (4)

• Title not available (Why is that?)
• Title not available (Why is that?)
• A Course in Mathematical Logic for Mathematicians
• Title not available (Why is that?)

   Recommendations

• Studies in constructive mathematics and mathematical logic. Part XI. Transl. from the Russian 👍 👎
• Studies in constructive mathematics and mathematical logic. XI 👍 👎
• Studies in constructive mathematics and mathematical logic. Part IX 👍 👎
• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• Algebraic logic. Transl. from the Russian by Robert H. Silverman 👍 👎
• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎

This page was built for publication: Constructive mathematics and mathematical logic. Part X. Transl. from the Russian

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1578747)