{"entities":{"Q2616499":{"pageid":2627242,"ns":120,"title":"Item:Q2616499","lastrevid":78961757,"modified":"2026-05-06T12:50:03Z","type":"item","id":"Q2616499","labels":{"en":{"language":"en","value":"Untersuchungen \u00fcber das Eliminationsproblem der mathematischen Logik."}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2537029"}},"aliases":{},"claims":{"P31":[{"mainsnak":{"snaktype":"value","property":"P31","hash":"fd5912e4dab4b881a8eb0eb27e7893fef55176ad","datavalue":{"value":{"entity-type":"item","numeric-id":56887,"id":"Q56887"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2616499$A1082391-41CE-4831-A62A-6712CCDC0545","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"952ed606d9e3a2dc6378937eec0b11b80740551a","datavalue":{"value":{"text":"Untersuchungen \u00fcber das Eliminationsproblem der mathematischen Logik.","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2616499$9B7C88BC-BF49-48B4-AEDD-FB8FD03865CA","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"432395d4fb4cdd48393e183af57d5f75180582f1","datavalue":{"value":"60.0022.01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2616499$A285FD78-86CA-4B6C-8F2C-9B07DE3BCE3C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d9a971313a6242d72910dc96cc1f35922ded6a15","datavalue":{"value":"10.1007/BF01448035","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2616499$F8C2F08F-3DAA-46BA-9E41-372631CA65FC","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a5502aa3c3b8120e8086041446437cac5268d573","datavalue":{"value":{"entity-type":"item","numeric-id":767005,"id":"Q767005"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2616499$6B4A6185-23F0-4891-AA1B-6FB05486DCE6","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7016073dc3661ad2b8fcf740b72e135f31d59f23","datavalue":{"value":{"entity-type":"item","numeric-id":166142,"id":"Q166142"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2616499$30EAF869-DF8C-4BB7-AEA7-BD83C1AFD333","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0545e869d8296a0b0654ccbe2e3181b7f2652da8","datavalue":{"value":{"time":"+1934-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2616499$6A87E340-4740-4EDF-B430-08C093B38011","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"4a2c4d2bd99d71ca250c836924ccd5cd643bf676","datavalue":{"value":"https://eudml.org/doc/159730","type":"string"},"datatype":"url"},"type":"statement","id":"Q2616499$1F0C6252-44C1-4A2E-BCF3-91B5572271D1","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"6bbbe8f55c7eff593236e04fe49a391fb79307d2","datavalue":{"value":"Nach der erkl\u00e4rung des Verf. besch\u00e4ftigt sich das Eliminationsproblem im allgemeinsten Sinne mit der Frage, wie man einen logischen Ausdruck durch einen \u00e4quivalenten ersetzen kann, dessen logische Struktur einfacher ist. Schon fr\u00fcher ist dies Problem gel\u00f6st worden, wenn blo\u00df einstellige Pr\u00e4dikate vorkommen, n\u00e4mlich in dem Sinne, da\u00df man z. B. zu einem Ausdruck \\((EF)U(F, A, B, C, \\dots )\\), wo \\(U\\) ein Z\u00e4hlausdruck ist, worin die Pr\u00e4dikatenvariablen \\(F, A, B, C, \\dots \\) vorkommen, einen \u00e4quivalenten Z\u00e4hlausdruck \\(V(A,B,C, \\dots )\\) finden kann. In \\S 2 gibt Verf. eine Beispiele f\u00fcr die Elimination beim Vorkommen mehrstelliger Pr\u00e4dikate; er erh\u00e4lt auch in diesen F\u00e4llen einen Z\u00e4hlausdruck als Resultante. In \\S 3 zeigt er aber, da\u00df es nicht immer so ist; z. B. ist kein Z\u00e4hlausdruck mit \\((EF)(Fx \\& \\bar {F}y \\& (u)(v) \\bar {F}uFv \\bar {N}uv)\\) gleichwertig. Dagegen ist dieser Ausdruck mit der gleichzeitigen G\u00fcltigkeit einer unendlichen Folge \\(Z_1, Z_2, \\dots \\) von Z\u00e4hlausdr\u00fccken gleichwertig. Auf Grund dieser Erkenntnis erweitert Verf. in \\S 4 den Begriff der Resultante. Eine Klasse von Z\u00e4hlausdr\u00fccken, deren gleichzeitige G\u00fcltigkeit mit dem gegebenen Ausdruck \u00e4quivalent ist, soll auch Resultante hei\u00dfen, wenn man f\u00fcr jeden vorgelegten Z\u00e4hlausdruck entscheiden kann, ob er zur Klasse geh\u00f6rt oder nicht. Verf. zeigt in \\S 4, da\u00df einstellige Pr\u00e4dikate stets in diesem Sinne eliminierbar sind, falls nur Allzeichen f\u00fcr die Individuen auftreten, auch wenn sonst mehrstellige Pr\u00e4dikate vorkommen. Die Z\u00e4hlausdr\u00fccke der Resultatenklasse werden nach bestimmten Regeln aus den freien Pr\u00e4dikatenvariablen des gegebenen Ausdrucks aufgebaut. Im Falle eines wohlgeordneten Individuenbereichs kann er dann, wenn alle Z\u00e4hlausdr\u00fccke in jener Klasse erf\u00fcllt sind, zeigen, da\u00df der gegebene Ausdruck wahr wird. In \\S 5 wird die Elimination mehrstelliger Pr\u00e4dikate auf die Elimination einstelliger Pr\u00e4dikate zur\u00fcckgef\u00fchrt. In \\S 6 wird gezeigt, wie man Seinszeichen f\u00fcr Individuen durch Allzeichen ersetzen kann, wenn man Funktionen einf\u00fchrt, deren Argument und Werte Individuen sind. In besonderen F\u00e4llen gelingt es dadurch, das Eliminationsproblem zu l\u00f6sen, auch wenn Seinszeichen f\u00fcr Individuen vorkommen.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2616499$509870AE-85E6-40F7-B49A-D0BE426DCF0F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"415936487dffaeb8956f6390e32b4d279ff2243d","datavalue":{"value":"2537029","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2616499$9F75C4DD-62F3-4882-9738-95717754393C","rank":"normal"}],"P1460":[{"mainsnak":{"snaktype":"value","property":"P1460","hash":"57f7fea50d2ce1b39b695c4a1313582eed405e38","datavalue":{"value":{"entity-type":"item","numeric-id":5976449,"id":"Q5976449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2616499$0CC4B452-B99F-4D87-97AA-DF9051384934","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"a36327550e51fce17ecbc8c7789e4eae00be4017","datavalue":{"value":"W2057503265","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2616499$C8CD11F4-E0CC-4E39-8205-DB34E31E7AAA","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Untersuchungen \u00fcber das Eliminationsproblem der mathematischen Logik.","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Untersuchungen_%C3%BCber_das_Eliminationsproblem_der_mathematischen_Logik."}}}}}