Skip to main content Accessibility help
×
×
Home

UNDECIDABILITY OF THE THEORIES OF CLASSES OF STRUCTURES

  • ASHER M. KACH (a1) and ANTONIO MONTALBÁN (a1)

Abstract

Many classes of structures have natural functions and relations on them: concatenation of linear orders, direct product of groups, disjoint union of equivalence structures, and so on. Here, we study the (un)decidability of the theory of several natural classes of structures with appropriate functions and relations. For some of these classes of structures, the resulting theory is decidable; for some of these classes of structures, the resulting theory is bi-interpretable with second-order arithmetic.

Copyright

References

Hide All
[1]Feferman, S. and Vaught, R. L., The first order properties of products of algebraic systems. Fundamenta Mathematicae, vol. 47 (1959), pp. 57103.
[2]Ketonen, Jussi, On isomorphism types of countable Boolean algebras, unpublished.
[3]Ketonen, Jussi, The structure of countable Boolean algebras. Annals of Mathematics (2), vol. 108 (1978), no. 1, pp. 4189.
[4]Presburger, Mojżesz, On the completeness of a certain system of arithmetic of whole numbers in which addition occurs as the only operation. History and Philosophy of Logic, vol. 12 (1991), no. 2, pp. 225233. Translated from the German and with commentaries by Dale Jacquette.
[5]Rosenstein, Joseph G., Linear orderings, Pure and Applied Mathematics, vol. 98, Academic Press [Harcourt Brace Jovanovich Publishers], New York, 1982.
[6]Simpson, Stephen G., First-order theory of the degrees of recursive unsolvability. Annals of Mathematics (2), vol. 105 (1977), no. 1, pp. 121139.
[7]Slaman, Theodore A., Global properties of the Turing degrees and the Turing jump, Computational Prospects of Infinity. Part I. Tutorials, Lecture Notes Series, Institute for Mathematical Sciences, National University of Singapore, vol. 14, World Scientific Publishing, Hackensack, New Jersey, 2008, pp. 83101.
[8]Tarski, Alfred, Cardinal Algebras. With an Appendix: Cardinal Products of Isomorphism Types, by Bjarni Jónsson and Alfred Tarski, Oxford University Press, New York, 1949.
Recommend this journal

Email your librarian or administrator to recommend adding this journal to your organisation's collection.

The Journal of Symbolic Logic
  • ISSN: 0022-4812
  • EISSN: 1943-5886
  • URL: /core/journals/journal-of-symbolic-logic
Please enter your name
Please enter a valid email address
Who would you like to send this to? *
×

Keywords

Metrics

Full text views

Total number of HTML views: 0
Total number of PDF views: 0 *
Loading metrics...

Abstract views

Total abstract views: 0 *
Loading metrics...

* Views captured on Cambridge Core between <date>. This data will be updated every 24 hours.

Usage data cannot currently be displayed