𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Das Repräsentantenproblem im Prädikatenkalkul der Ersten Stufe mit Identität.by Günter Asser

✍ Scribed by Review by: Wilhelm Ackermann

Book ID
124950846
Publisher
Association for Symbolic Logic
Year
1958
Tongue
English
Weight
356 KB
Volume
23
Category
Article
ISSN
0022-4812

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

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