References
D. M. Gabbay,Sufficient conditions for the undecidability of intuitionistic theories.The Journal of Symbolic Logic, Vol. 37, No. 2 (1972), pp. 375–384.
D. M. Gabbay,Undecidability of intuitionistic theories of algebraic and real closed fields,The Journal of Symbolic Logic, Vol. 38, No. 1 (1973), pp. 86–92.
D. M. Gabbay,Undecidability of intuitionistic theories formulated with the apartness relation,Fundamenta Mathematicae, 1973.
D. M. Gabbay,Decidability of some intuitionistic predicate theories,The Journal of Symbolic Logic, Vol. 37, No. 3 (1972), pp. 579–587.
S. R. Kripke,Semantical analysis for intuitionistic logic (I), in:Formal systems recursive functions, J. Crossley and M. Dunnett (eds.), Amsterdam, 1965.
A. Kurosh,Theory of groups, Vol. 1, Chelsea.
M. O. Rabin,Decidability of 2nd order theories and automata in infinite trees.Transactions of the American Mathematical Society, July 1969, pp. 1–35.
C. Smorynski,Some recent results on elementary intuitinistic theories, thesis. University of Illinois.
A. Heyting,Axiomatic method in intuitionism, in:Essays on the foundations of mathematics, Jerusalem, 1967, pp. 237–248.
A. Heyting,Intuitionism, North-Holland Publishing Comp.
S. C. Kleene andR. E. Vesley,Foundations of intuitionistic mathematics, North-Holland Publishing Comp.
D. M. Gabbay,Completeness properties of HPC W.r.tRecursive models, to appear.
P. Freyd,Aspects of Topoi,The Australian Mathematical Society Bulletin, 1972, pp. 1–76.
C. S. Mulvey,Intuitionistic algebra and representations of rings. Report, University of Sussex, 1973.
Author information
Authors and Affiliations
Additional information
Allatum est die 2 Septembris 1974
Rights and permissions
About this article
Cite this article
Gabbay, D.M. The decision problem for some finite extensions of the intuitionistic theory of abelian groups. Stud Logica 34, 59–67 (1975). https://doi.org/10.1007/BF02314424
Issue Date:
DOI: https://doi.org/10.1007/BF02314424