Some reduction classes and undecidable theories

In A. O. Slisenko (ed.), Studies in constructive mathematics and mathematical logic. New York,: Consultants Bureau. pp. 24--25 (1969)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 101,795

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Deductive validity and reduction classes.V. A. Lifshits - 1969 - In A. O. Slisenko (ed.), Studies in constructive mathematics and mathematical logic. New York,: Consultants Bureau. pp. 26--28.
Problem of decidability for some constructive theories of equalities.V. A. Lifshits - 1969 - In A. O. Slisenko (ed.), Studies in constructive mathematics and mathematical logic. New York,: Consultants Bureau. pp. 29--31.
On Constructive Groups.V. A. Lifshits - 1969 - In A. O. Slisenko (ed.), Studies in constructive mathematics and mathematical logic. New York,: Consultants Bureau. pp. 32--35.
Reviews. Alfred Tarski. Preface. Undecidable theories, Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam 1953, pp. VIII–IX. Alfred Tarski. A general method in proofs of undecidability. Undecidable theories, Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam 1953, pp. 3–35. Andrzej Mostowski, Raphael M. Robinson, and Alfred Tarski. Undecidability and essential undecidability in arithmetic. Undecidable theories, Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam 1953, pp. 39–74. Alfred Tarski. Undecidability of the elementary theory of groups. Undecidable theories, Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam 1953, pp. 77–87. Bibliography. Undecidable theories, Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam 1953, pp. 89–91. Index. Undecidable theories. [REVIEW]Martin Davis - 1959 - Journal of Symbolic Logic 24 (2):167-169.
Studies in constructive mathematics and mathematical logic.A. O. Slisenko (ed.) - 1969 - New York,: Consultants Bureau.
Some undecidable theories with monadic predicates and without equality.Hans Kleine Büning - 1981 - Archive for Mathematical Logic 21 (1):137-148.
Lebesgue integral in constructive analysis.Oswald Demuth - 1969 - In A. O. Slisenko (ed.), 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 - In Studies in constructive mathematics and mathematical logic. New York,: Consultants Bureau. pp. 82--84.
Weak essentially undecidable theories of concatenation, part II.Juvenal Murwanashyaka - 2024 - Archive for Mathematical Logic 63 (3):353-390.
Invertible sequential variant of constructive predicate calculus.S. Yu Maslov - 1969 - In A. O. Slisenko (ed.), Studies in constructive mathematics and mathematical logic. New York,: Consultants Bureau. pp. 36--42.

Analytics

Added to PP
2014-01-31

Downloads
13 (#1,332,544)

6 months
6 (#891,985)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references