Kleine unentscheidbare Klassen der Prädikatenlogik mit Identität und Funktionszeichen
✍ Scribed by Wirsing, Martin
- Publisher
- Springer-Verlag
- Year
- 1978
- Weight
- 650 KB
- Volume
- 19
- Category
- Article
- ISSN
- 0003-9268
No coin nor oath required. For personal study only.
📜 SIMILAR VOLUMES
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
a e g n o u l f , Identitiit drr hpisi?tsdrrrc nrtt dcr Mulrinriiure. l 4 b 80 miiasen nothwendig nehen deroelben eine Reibe a n d e w entstdrcn, und diefs mub vorzugsweise durch eine aoalptiscbe A r b i t Rochgewiesen werden. Niemand kann laugnen, d d s Alkalien, dafs concenirirte Siiucen rut' die