Skip to main content
SpringerLink
Log in

A use of the method of interpretations for decidability or undecidability of measure spaces

  • Published:
algebra universalis Aims and scope Submit manuscript

This is a preview of subscription content, log in via an institution to check access.

Access this article

Log in via an institution

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

References

  1. S. Burris andR. McKenzie,Decidable varieties with modular congruence lattices, Memoirs of the AMS No. 246 (1981).

  2. Yu. L. Ershov, I. A. Lavrov, A. D. Taimanov, M. A. Taitslin,Elementary theories, Russian Math. Surveys20 (1965), 35–105.

    Article  Google Scholar 

  3. B. de Finetti,Probability, Induction and Statistics, J. Wiley & Sons, N.Y. (1972).

    MATH  Google Scholar 

  4. M. O. Rabin,A simple method for undecidability proofs and some applications, Logic, Methodology and Philosophy of Science, Proceedings of the 1964 International Congress, Y. Bar-Hillel ed., Amsterdam (1965), 58–68.

  5. R. Scozzafava,Compteta additività su opportune successioni di insiemi di una misura di probabilità semplicemente additiva e fortemente non-atomica, Boll. U.M.I. (5)16-B (1979), 639–648.

    MathSciNet  Google Scholar 

  6. A. Tarski,Arithmetical classes and types of Boolean algebras, Bull. Amer. Math. Soc.55 (1949) 64.

    Google Scholar 

  7. A. Tarski,A Decision Method for Elementary Algebra and Geometry, 2nd revised ed. (1951) (Berkeley and Los Angeles).

  8. A. Tarski, A. Mostowski andR. M. Robinson,Undecidable Theories, North-Holand, Amsterdam 1953.

    MATH  Google Scholar 

  9. S. Tulipani,Invarianti per l'equivalenza elementare per una classe assiomatica di spazi generali di misura, Suppl. Boll. U.M.I. Vol.2 (1980).

  10. S. Tulipani,Model-completions of Theories of finitely additive measures with values in an ordered field, Zeitschrift für Matematische Logik und Grundlagen der Mathematik., Vol.27 (4) (1981).

Download references

Author information

Authors and Affiliations

  1. University of Camerino, Italy

    Sauro Tulipani

Authors
  1. Sauro Tulipani
    View author publications

    You can also search for this author in PubMed Google Scholar

Additional information

This paper was written under the auspices of the Italian C.N.R. (G.N.S.A.G.A.).

Rights and permissions

Reprints and permissions

About this article

Cite this article

Tulipani, S. A use of the method of interpretations for decidability or undecidability of measure spaces. Algebra Universalis 15, 228–232 (1982). https://doi.org/10.1007/BF02483724

Download citation

  • Received:

  • Accepted:

  • Issue Date:

  • DOI: https://doi.org/10.1007/BF02483724

Keywords

Search

Navigation