Abstract
We show the non-arithmeticity of 1st order theories of lattices of Σ n sentences modulo provable equivalence in a formal theory, of diagonalizable algebras of a wider class of arithmetic theories than has been previously known, and of the lattice of degrees of interpretability over PA. The first two results are applications of Nies’ theorem on the non-arithmeticity of the 1st order theory of the lattice of r.e. ideals on any effectively dense r.e. Boolean algebra. The theorem on degrees of interpretability relies on an adaptation of techniques leading to Nies’ theorem.
Similar content being viewed by others
References
Hájek P., Pudlák P.: Metamathematics of First-Order Arithmetic. Springer-Verlag, Berlin (1993)
Harrington L., Nies A.: Coding in the partial order of enumerable sets. Adv. Math. 133, 133–162 (1998)
Hodges W.: Model Theory. Cambridge University Press, Cambridge (1993)
Lindström P.: Some results on interpretability. In: Jensen, F.V., Mayoh, B.H., Møller, K.K. (eds) Proceedings from 5th Scandinavian Logic Symposium, pp. 329–361. Aalborg University Press, Aalborg (1979)
Lindström P.: On partially conservative sentences and interpretability. Proc. Amer. Math. Soc. 91, 436–443 (1984)
Lindström P.: Aspects of Incompleteness, 2nd ed. A K Peters, Natick (2003)
Lindström, P., Shavrukov, V.Yu.: The ∀∃ theory of Peano Σ1 sentences. J. Math. Log. (to appear)
Maass W.: Major subsets and automorphisms of recursively enumerable sets. In: Nerode, A., Shore, R.A. (eds) Recursion Theory, pp. 21–32. American Mathematical Society, Providence (1985)
Montagna F., Sorbi A.: Universal recursion theoretic properties of r.e. preordered structures. J. Symb. Log. 50, 397–406 (1985)
Nerode A., Remmel J.: A survey of lattices of r.e. substructures. In: Nerode, A., Shore, R.A. (eds) Recursion Theory., pp. 323–375. American Mathematical Society, Providence (1985)
Nies A.: Intervals of the lattice of computably enumerable sets and effective boolean algebras. Bull. London Math. Soc. 29, 683–692 (1997)
Nies A. Coding methods in computability theory and complexity theory. Habilitationsschrift, Universität Heidelberg (1998)
Nies A.: Effectively dense Boolean algebras and their applications. Trans. Amer. Math. Soc. 352, 4989–5012 (2000)
Pour-El M.B.: Effectively extensible theories. J. Symb. Log. 33, 56–68 (1968)
Pour-El M.B., Kripke S.: Deduction-preserving “Recursive Isomorphisms” between theories. Fund. Math. 61, 141–163 (1997)
Shavrukov V.Yu.: Undecidability in diagonalizable algebras. J. Symb. Log. 62, 79–116 (1997)
Author information
Authors and Affiliations
Corresponding author
Additional information
To the memory of Pelle Lindström.
Rights and permissions
About this article
Cite this article
Shavrukov, V.Y. Effectively inseparable Boolean algebras in lattices of sentences. Arch. Math. Logic 49, 69–89 (2010). https://doi.org/10.1007/s00153-009-0161-3
Received:
Revised:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00153-009-0161-3
Keywords
- Lattice of Σ n sentences
- Diagonalizable algebra
- Interpretability degrees
- Arithmetic
- Effectively inseparable Boolean algebra
- Ideal definability