Studies in constructive mathematics and mathematical logic
A. O. Slisenko (ed.)
New York,: Consultants Bureau (1969) Copy BIBTEX
Abstract
This article has no associated abstract. (fix it)Other Versions
No versions found
(no proxy)My notes
Chapters
Sufficient conditions of incompleteness for the formalization of parts of arithmetic. (pages 15--20)N. K. Kosovskii
Normal form for deductions in predicate calculus with equality and functional symbols. (pages 21--23)Vo A. Lifshits
Analog of Herbrand's Theorem for Prenex Formulas of Constructive Predicate Calculus. (pages 47--51)G. E. Mints
Undecidability of a class of formulas containing just one single-place predicate variable in modal calculus. (pages 67--69)V. P. Orevkov
Similar books and articles
Ú. V. Matiásévič Arifmétičéskié prédstavléniá stépénéj. Isslédovaniá po konstruktivnoj matématiké i matématičéskoj logiké, II, edited by A. O. Slisénko, Zapiski Naučnyh Séminarov Léningradskogo Otdéléniá Ordéna Lénina Matématičéskogo Instituta im. V. A. Stéklova AN SSSR, vol. 8, Izdatél'stvo “Nauka,” Leningrad 1968, pp. 159–165. - Yu. V. Mattyasevich. Arithmetic representations of powers. English translation of the preceding. Studies in constructive mathematics and mathematical logic, Part II, edited by A. O. Slisenko, Seminars in Mathematics, V. A. Steklov Mathematical Institute, Leningrad, vol. 8, Consultants Bureau, New York-London 1970, pp. 75–78. [REVIEW]Ann S. Ferebee -1972 -Journal of Symbolic Logic 37 (3):605.
G. É. Minc. Dizúnktivnaá intérprétaciá isčisléniá LJ. Isslédovaniá po konstruktivnoj matématiké i matématičéskoj logiké, II, edited by A. O. Slisénko, Zapiski Naučnyh Séminarov Léningradskogo Otdéléniá Ordéna Lénina Matématičéskogo Instituta im. V. A. Stéklova AN SSSR, vol. 8, Izdatél′stvo “Nauka,” Leningrad 1968, pp. 182–188. - G. E. Mints. Disjunctive interpretation of the LJ calculus. English translation of the preceding. Studies in constructive mathematics and mathematical logic, Part II, edited by A. O. Slisenko, Seminars in Mathematics, V. A. Steklov Mathematical Institute, Leningrad, vol. 8, Consultants Bureau, New York-London1970, pp. 86–89. [REVIEW]J. van Heijenoort -1971 -Journal of Symbolic Logic 36 (3):527-528.
Lebesgue integral in constructive analysis.Oswald Demuth -1969 - In A. O. Slisenko,Studies in constructive mathematics and mathematical logic. New York,: Consultants Bureau. pp. 9--14.
On Maximal Continuity Regulators for Constructive Functions.A. O. Slisenko -1969 - InStudies in constructive mathematics and mathematical logic. New York,: Consultants Bureau. pp. 82--84.
On Imbedding Operators.G. E. Mints &V. P. Orevkov -1969 - In A. O. Slisenko,Studies in constructive mathematics and mathematical logic. New York,: Consultants Bureau. pp. 64--66.
Ú. V. Matiásévič Dvé rédukcii 10-j problémy Gilbérta. Isslédovaniá po konstruktivnoj matématiké i matématičéskoj logiké, II, edited by A. O. Slisénko, Zapiski Naučnyh Séminarov Léningradskogo Otdéléniá Ordéna Lénina Matématičéskogo Instituta im. V. A. Stéklova AN SSSR, vol. 8, Izdatél'stvo “Nauka,” Leningrad 1968, pp. 144–158. - Yu. V. Matiyasevich. Two reductions of Hilbert's tenth problem. English translation of the preceding. Studies in constructive mathematics and mathematical logic, Part II, edited by A. O. Slisenko, Seminars in Mathematics, V. A. Steklov Mathematical Institute, Leningrad, vol. 8, Consultants Bureau, New York-London 1970, pp. 68–74. [REVIEW]Ann S. Ferebee -1972 -Journal of Symbolic Logic 37 (3):604-605.
On the correction of unprovable formulas.G. V. Daydov -1969 - In A. O. Slisenko,Studies in constructive mathematics and mathematical logic. New York,: Consultants Bureau. pp. 5--8.
Problem of decidability for some constructive theories of equalities.V. A. Lifshits -1969 - In A. O. Slisenko,Studies in constructive mathematics and mathematical logic. New York,: Consultants Bureau. pp. 29--31.
Invertible sequential variant of constructive predicate calculus.S. Yu Maslov -1969 - In A. O. Slisenko,Studies in constructive mathematics and mathematical logic. New York,: Consultants Bureau. pp. 36--42.
Deductive validity and reduction classes.V. A. Lifshits -1969 - In A. O. Slisenko,Studies in constructive mathematics and mathematical logic. New York,: Consultants Bureau. pp. 26--28.
Analytics
Added to PP
2009-09-15
Downloads
12 (#1,457,554)
6 months
3 (#1,186,068)
2009-09-15
Downloads
12 (#1,457,554)
6 months
3 (#1,186,068)
Historical graph of downloads
How can I increase my downloads?
Home |New books and articles |Bibliographies |Philosophy journals |About PhilPapers |API |Contact us |Code of conduct
PhilPapers logo byAndrea Andrews andMeghan Driscoll.
This site uses cookies and Google Analytics (see ourterms & conditions for details regarding the privacy implications).Use of this site is subject toterms & conditions.
All rights reserved byThe PhilPapers Foundation
Server: philpapers-web-54b44b69b7-sq5lk uwo