𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Untersuchungen über den Einstelligen Intuitionistischen Prädikatenkalkül der Ersten Stufe

✍ Scribed by Jekeri Okee

Publisher
John Wiley and Sons
Year
1972
Tongue
English
Weight
750 KB
Volume
18
Category
Article
ISSN
0044-3050

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Systematische Behandlung der lösbaren Fä
Systematische Behandlung der lösbaren Fälle des Entscheidungsproblems für den Prädikatenkalkül der ersten Stufe
✍ Dieter Klaua 📂 Article 📅 1955 🏛 John Wiley and Sons 🌐 English ⚖ 459 KB 👁 1 views

SYSTEMATISCHE BEHANDLUNG DER LOSBAREN FALLE DES ENTSCHEIDUNGSPROBLEMS FOR DEN PRADIKATENKALKQL DER ERSTEN STUFE') Von DIETER KLAUA in Berlin 1) m e r die Ergebnisae der vorliegenden Arbeit wurde auf der Jahrestagung der Deutschen Mathematiker-Vereinigung in Gottingen 1955 berichtet. 2) Man beschriin

Das Repräsentantenproblem im Prädikatenk
Das Repräsentantenproblem im Prädikatenkalkül der ersten Stufe mit Identität
✍ Günter Asser 📂 Article 📅 1955 🏛 John Wiley and Sons 🌐 English ⚖ 641 KB

Das wohl wesentlichste ungeloste Problem des Pradikatenkalkiils der ersten Stufe mit Identitiit (IK) ist bislang das sogenannte Repriisentantenproblem. Hierbei handelt es sich um die Frage, zu genau welchen Klassen K von Kardinalzahlen es einen Ausdruck H des IK2) gibt, so daD fur jede Kardinalzahl

Ein Aufbau der Mengenlehre mit transfini
Ein Aufbau der Mengenlehre mit transfiniten Typen, formalisiert im Prädikatenkalkül der ersten Stufe
✍ Dieter Klaua 📂 Article 📅 1957 🏛 John Wiley and Sons 🌐 English ⚖ 787 KB

Die stufenfreien Systeme konnen schon im einsortigen Pradikatenkalkul der ersten Stufe (sogar ohne Identitlit) formalisiert werden. AuBerdem liefert der Klassenkalkul von J. V. NEUMANNwir beziehen uns im folgenden bei stufenfreien Aufbauarten stets auf diesen -im Gegensatz zur Typentheorie noch gewi

Über die Ausdrucksfähigkeit des Prädikat
Über die Ausdrucksfähigkeit des Prädikatenkalküls der ersten Stufe mit Funktionalen. Dem Andenken an Heinrich Scholz gewidmet
✍ Günter Asser 📂 Article 📅 1956 🏛 John Wiley and Sons 🌐 English ⚖ 964 KB

tfBER DIE AUSDRUCKSFAHIGKEIT DES PRADIKATENKALKULS DER ERSTEN STUFE MIT FUNKTIONALEN1) Dem Andenken an HEINRICH SCHOLZ gowidmet Von GUNTER ASSER in Berlin 1. I m AnschluB an meine Arbeit uber das Reprasentantenproblem im Pradikatenkalkul der ersten Stufe mit Identitatz) hat Herr Prof. sCHoLZ3) die F

Ein Direkter Beweis für die Allgemein-Re
Ein Direkter Beweis für die Allgemein-Rekursive Unlösbarkeit des Entscheidungsproblems des Prädikatenkalküls der Ersten Stufe mit Identität
✍ László Kalmár 📂 Article 📅 1956 🏛 John Wiley and Sons 🌐 English ⚖ 888 KB

Fur den zuerst von A. CHURCH^) bewiesenen Satz, wonach das Entscheidungsproblem des Pradikatenkalkiils der ersten Stufe (mit oder ohne Identitiit) 3, sich (bei Zugrundelegung der iiblichen Numerierungen der Formeln des Priidikatenkalkiils) nicht durch ein allgemein-rekursives Verfahren losen laBt,4)