Die Unentscheidbarkeit der einstelligen unendlichwertigen Prädikatenlogik

Archive for Mathematical Logic 23 (1):129-139 (1983)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Add categories

Keywords

Reprint years

DOI

10.1007/bf02023019

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 101,757

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Die Nichtaxiomatisierbarkeit der unendlichwertigen Mengenlehre.Matthias Ragaz - 1983 - Archive for Mathematical Logic 23 (1):141-146.
Über die Unentscheidbarkeit Gewisser Axiomenmengen.Arnold Oberschelp - 1961 - Archive for Mathematical Logic 5 (3-4):112-112.
Anzahlquantoren in der Prädikatenlogik.Dieter Rödding - 1966 - Archive for Mathematical Logic 9 (3-4):66-69.
Ein Neuer Beweis für die Entscheidbarkeit des Einstelligen Prädikatenkalküls mit Identität.Ronald Björn Jensen - 1965 - Archive for Mathematical Logic 7 (3-4):128-138.
Kleine unentscheidbare Klassen der Prädikatenlogik mit Identität und Funktionszeichen.Martin Wirsing - 1978 - Archive for Mathematical Logic 19 (1):97-109.
Zur Theorie Der Spektralen Darstellung Von Prädikaten Durch Ausdrücke Der Prädikatenlogik 1. Stufe.Michael Deutsch - 1975 - Archive for Mathematical Logic 17 (1-2):9-16.
Die Unentscheidbarkeit Der Grzegorczyk‐Klassen.Klemens Döpp - 1967 - Mathematical Logic Quarterly 13 (6):89-94.
Über die quantorenbasen der klassischen prädikatenlogik.Peter Schreiber - 1969 - Mathematical Logic Quarterly 15 (4‐5):77-80.
Prädikatenlogik mit partiell definierten Funktionen II.Werner Markwald - 1974 - Archive for Mathematical Logic 16 (1-2):15-22.
Prädikatenlogik mit partiell definierten Funktionen.Werner Markwald - 1971 - Archive for Mathematical Logic 14 (1-2):10-23.

Analytics

Added to PP
2020-12-03

Downloads
5 (#1,756,005)

6 months
2 (#1,693,059)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Mathematical fuzzy logics.Siegfried Gottwald - 2008 - Bulletin of Symbolic Logic 14 (2):210-239.
Arithmetical complexity of fuzzy predicate logics — A survey II.Petr Hájek - 2010 - Annals of Pure and Applied Logic 161 (2):212-219.

Add more citations

References found in this work

No references found.

Add more references