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

zbMATH Open0944.00012MaRDI QIDQ1578747FDOQ1578747

Authors:

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

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
• scientific article; zbMATH DE number 3317703
• scientific article; zbMATH DE number 1502552
• scientific article; zbMATH DE number 3894466
• scientific article
• Algebraic logic. Transl. from the Russian by Robert H. Silverman
• scientific article
• scientific article; zbMATH DE number 1081433

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 (8)

• Title not available (Why is that?)
• Title not available (Why is that?)
• Studies in constructive mathematics and mathematical logic. Part XI. Transl. from the Russian
• Title not available (Why is that?)
• A Course in Mathematical Logic for Mathematicians
• Title not available (Why is that?)
• Constructive proof theory and nonstandard analysis. Edited by G. E. Mints
• Studies in constructive mathematics and mathematical logic. XI

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)