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

MaRDI QIDQ1578747zbMATH OpenFDO

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

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)

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

Cites work

• scientific article; zbMATH DE number 3865367 (Why is no real title available?)
• scientific article; zbMATH DE number 42574 (Why is no real title available?)
• scientific article; zbMATH DE number 3336816 (Why is no real title available?)
• scientific article; zbMATH DE number 3195473 (Why is no real title available?)
• scientific article; zbMATH DE number 3099819 (Why is no real title available?)
• An explicit diophantine definition of the exponential function
• Diophantine representations of linear recurrences. I
• The decision problem for exponential diophantine equations

Cited in

(9)

• scientific article; zbMATH DE number 5309444 (Why is no real title available?)
• A Course in Mathematical Logic for Mathematicians
• Constructive proof theory and nonstandard analysis. Edited by G. E. Mints
• scientific article; zbMATH DE number 4027421 (Why is no real title available?)
• scientific article; zbMATH DE number 1450824 (Why is no real title available?)
• Studies in constructive mathematics and mathematical logic. XI
• scientific article; zbMATH DE number 2209817 (Why is no real title available?)
• Studies in constructive mathematics and mathematical logic. Part XI. Transl. from the Russian
• Constructive mathematics in St Petersburg, Russia: a (somewhat subjective) view from within

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)