{"entities":{"Q1834558":{"pageid":1845300,"ns":120,"title":"Item:Q1834558","lastrevid":69294384,"modified":"2026-04-13T06:03:07Z","type":"item","id":"Q1834558","labels":{"en":{"language":"en","value":"Eine Bemerkung zur Entscheidungstheorie."}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2568997"}},"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":"Q1834558$AC116810-AD95-4851-B55D-E20DC6AE9765","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"0dad68e222e3e45729cdda0e692e0635bd7eeea4","datavalue":{"value":{"text":"Eine Bemerkung zur Entscheidungstheorie.","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1834558$7BF3E627-791A-4529-BD03-A40949FC7370","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a1e7f6390887b4ab7b369a2635961e5179d20527","datavalue":{"value":"55.0032.03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1834558$D09E330D-10BE-480A-9A12-C8DF622CEF91","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"87a24a7b91e2614bb5ee1b6b8651eda025c9f368","datavalue":{"value":{"entity-type":"item","numeric-id":559372,"id":"Q559372"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1834558$5F4D3933-4EA7-4871-BC04-F1C1DE3540C4","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"bf0ec0ec92278a4e809216de2b4777e9692e96ea","datavalue":{"value":{"time":"+1929-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":"Q1834558$29D7EEA0-D9E9-4AA7-9F0B-BEC89A9E649E","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"9f335a4f61733e40d751f44855141398fcece4d1","datavalue":{"value":"Eine besonders wichtige Aufgabe der mathematischen Logik ist es, die Erf\u00fcllbarkeit der sogenannten Z\u00e4hlausdr\u00fccke zu studieren. Zum Unterschied von den fr\u00fcheren Untersuchungen dieser Art betrachtet der Verf. den Fall, wo auch die Identit\u00e4tsfunktion im Z\u00e4hlausdruck auftritt. Er gibt ein Verfahren an, mit dessen Hilfe er die Frage der Erf\u00fcllbarkeit eines solchen Ausdrucks auf die Frage der Erf\u00fcllbarkeit eines anderen Z\u00e4hlausdrucks zur\u00fcckf\u00fchren kann, worin die Identit\u00e4tsfunktion nicht mehr vorkommt. Nach einer Bemerkung von \\textit{Bernays} und \\textit{Sch\u00f6nfinkel}, die der Verf. zitiert, ist jeder Ausdruck der letzteren Art in jedem Bereiche erf\u00fcllbar, dessen M\u00e4chtigkeit \\(\\geqq m\\) ist, wenn er in einem Bereiche der M\u00e4chtigkeit m erf\u00fcllbar ist; f\u00fcr die Ausdr\u00fccke dagegen, worin die Identit\u00e4tsfunktion auftritt, gilt dies nicht, wie der Verf. durch ein einfaches Beispiel zeigt.  Zum Schl\u00fcsse gibt er an, wie man die von L\u00f6wenheim angegebene Reduktion der Z\u00e4hlausdr\u00fccke mit Satzfunktionen von mehreren Ver\u00e4nderlichen auf Ausdr\u00fccke, deren Satzfunktionen h\u00f6chstens zwei Argumente haben, etwas vereinfachen kann. Dabei werden die urspr\u00fcnglich gegebenen Satzfunktionen zu Funktionen mit einem einzigen Argument, w\u00e4hrend gewisse neue Hilfsfunktionen zweier Ver\u00e4nderlichen hinzutreten, darunter die Identit\u00e4tsfunktion. (II.)","type":"string"},"datatype":"string"},"type":"statement","id":"Q1834558$6202FBF9-7F56-4A90-A487-0D906CE24CF5","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1a363c8c56a69bd4319dd9a0f72f3f7138cca519","datavalue":{"value":"2568997","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1834558$B9EBC9BD-DA27-4944-A9C6-393A575740EA","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"295925f173150a9d627e4cb0a9939fc4fa3feb64","datavalue":{"value":{"entity-type":"item","numeric-id":562906,"id":"Q562906"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1834558$CBEFBB5F-354D-43D6-948E-34702581DA40","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":"Q1834558$B50977C4-A612-4130-B3D6-03948A5E720B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Eine Bemerkung zur Entscheidungstheorie.","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Eine_Bemerkung_zur_Entscheidungstheorie."}}}}}