Skip to main content
SpringerLink
Log in

Die Nichtaxiomatisierbarkeit der unendlichwertigen Mengenlehre

  • Published:
Archiv für mathematische Logik und Grundlagenforschung 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

Literatur

  1. Chang, C.C.: Theory of models of infinite valued logic. I. Notices Am. Math. Soc.8, 68 (1961).

    Google Scholar 

  2. Chang, C.C.: The axiom of comprehension in infinite valued logic. Math. Scand.13, 9–30 (1963).

    Google Scholar 

  3. Fenstad, J.E.: On the consistency of the axiom of comprehension in the Łukasiewicz infinite valued logic. Math. Scand.14, 65–74 (1964).

    Google Scholar 

  4. McNaughton, R.: A theorem about infinite-valued sentential logic. J. Symb. Logic16, 1–13 (1951).

    Google Scholar 

  5. Ragaz, M.: Arithmetische Klassifikation von Formelmengen der unendlichwertigen Logik. Diss. ETH Nr. 6822, Zürich 1981.

  6. Ragaz, M.: Die Unentscheidbarkeit der einstelligen unendlichwertigen Prädikatenlogik. Arch. math. Logik23, 129–139 (1983).

    Google Scholar 

  7. Skolem, T.: Bemerkungen zum Komprehensionsaxiom. Z. Math. Logik3, 1–17 (1957).

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Bederstraße 97, CH-8002, Zürich, Schweiz

    Matthias Ragaz

Authors
  1. Matthias Ragaz
    View author publications

    You can also search for this author in PubMed Google Scholar

Rights and permissions

Reprints and permissions

About this article

Cite this article

Ragaz, M. Die Nichtaxiomatisierbarkeit der unendlichwertigen Mengenlehre. Arch math Logik 23, 141–146 (1983). https://doi.org/10.1007/BF02023020

Download citation

  • Received:

  • Issue Date:

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

Search

Navigation