Zum Entscheidungsproblem für Theorien in Logiken mit Monadischen Verallgemeinerten Quantoren
-
Published:1978
Issue:19-24
Volume:24
Page:375-384
-
ISSN:0044-3050
-
Container-title:Zeitschrift für Mathematische Logik und Grundlagen der Mathematik
-
language:de
-
Short-container-title:MLQ - Math. Log. Quart.
Author:
Herre H.,Pinus A. G.
Reference41 articles.
1. Entscheidbarkeit der Theorie der abelschen Gruppen mit Kardinalquantoren. Preprint 1975.
2. Skolem-type normal forms for first-order languages with a generalized quantifier
Cited by
3 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献