{"entities":{"Q5907240":{"pageid":8020292,"ns":120,"title":"Item:Q5907240","lastrevid":97533992,"modified":"2026-06-05T14:58:09Z","type":"item","id":"Q5907240","labels":{"en":{"language":"en","value":"\u00dcber die Erf\u00fcllbarkeit gewisser Z\u00e4hlausdr\u00fccke."}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2575344"}},"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":"Q5907240$52C3C49D-F6A2-4021-9D6B-8E00CB3A73A5","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"dcdd6fbf95dd517a76df56901faf9fb3c0ef0649","datavalue":{"value":{"text":"\u00dcber die Erf\u00fcllbarkeit gewisser Z\u00e4hlausdr\u00fccke.","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5907240$443E8539-FCB9-481C-8081-48D4F182C35A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c57cbefc1ce565bd7b65bcc9ce3c7875144ee4e9","datavalue":{"value":"54.0057.01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5907240$110F8ADE-6B4B-4445-8783-03DAA3D9A5DC","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"1a82e0c36993a5b39797659f0b1c9d206edc86f3","datavalue":{"value":"10.1007/BF01448869","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5907240$9D4A6BBF-431C-4B55-8C6B-14117E56CB8F","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":"Q5907240$B17C9FDC-21AC-49A3-B6B8-1770C786AA53","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":"Q5907240$EBD54974-B171-4C66-AB92-3E5ED67B9C59","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"cee67bf913068b532a11633afecd10dd06aeb073","datavalue":{"value":{"time":"+1928-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":"Q5907240$DA2A8C6D-D8CB-42FF-8ADA-019D0D02D294","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"5fd846319eb74d1601ab2b52ecaf15732445adc0","datavalue":{"value":"https://eudml.org/doc/159311","type":"string"},"datatype":"url"},"type":"statement","id":"Q5907240$44963A50-15ED-436B-B393-1F83889BF1BB","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"02df4746d0ef62e7db6a8e613d177f9364b81056","datavalue":{"value":"Nach einem Satze von \\textit{L. L\u00f6wenheim} ist jeder Zahlausdruck, d. h. logischer Aussagenausdruck, worin ``alle'' und ``es gibt'' nur auf Individuen angewandt sind, entweder widerspruchsvoll oder schon in einem abz\u00e4hlbaren Bereiche erf\u00fcllbar. F\u00fcr gewisse einfach gebaute Z\u00e4hlausdr\u00fccke kann man zeigen, da\u00df\\ sie, wenn \u00fcberhaupt, schon in einem endlichen Bereiche erf\u00fcllbar sind. Die vorliegende Arbeit von \\textit{Ackermann} enth\u00e4lt einen Beweis daf\u00fcr, da\u00df\\ dies f\u00fcr alle Z\u00e4hlausdr\u00fccke gilt, worin nur eine Anwendung von ``alle'' vorkommt.   Er beweist seinen Satz dadurch, da\u00df\\ er von einem abz\u00e4hlbar unendlichen Bereich ausgeht, worin die Z\u00e4hlaussage erf\u00fcllt ist, und daraus durch gewisse Identifizierungen der Individuen mit zugeh\u00f6rigen neuen Bestimmungen der Werte der Aussagenfunktionen einen endlichen Bereich ableitet, worin der Z\u00e4hlausdruck gilt.  Ein einfacheres Beweisverfahren, das auch zu kleineren endlichen Bereichen f\u00fchrt, ist jedoch m\u00f6glich. Es sei \\(L\\) die Zahl der im Schema auf S. 645 vorkommenden Wertsysteme der Relationen \\(\\Phi\\) f\u00fcr die verschiedenen Systeme \\(y_1,\\dots,y_l\\), und es bestehe jede der Symbolreihen \\(a_1,\\dots,a_{lL},b_1,\\dots, b_{lL}, c_1,\\dots,c_{lL}\\) aus \\(L\\) Systemen mit je \\(l\\) Symbolen. F\u00fcr diese Symbole werden die Werte von \\(\\Phi\\) so bestimmt, da\u00df\\ die \\(L\\) Wertsysteme auf die \\(L\\) \\(l\\)-Systeme jeder Reihe verteilt werden. F\u00fcr \\(a_ia_i\\) haben dann die \\(\\Phi\\) dieselben Werte wie f\u00fcr gewisse \\(xx\\) im Schema. Geh\u00f6ren \\(y_1,\\dots y_l\\) zu einem solchen \\(x\\), so haben die \\(\\Phi\\) f\u00fcr diese dieselben Werte wie f\u00fcr ein \\(l\\)-System der \\(b\\)-Reihe, etwa \\(b_{ij}\\) \\((i=1,2,\\dots,l)\\). Dem \\(a_i\\) ordnen wir die \\(b_{ij}\\) zu, und die Relationen \\(\\varPhi\\) werden f\u00fcr die Paare \\(a_i b_{ij}\\) in \u00dcbereinstimmung mit ihren Werten f\u00fcr die \\(xy_j\\) bestimmt. Da die Paare \\(a_ib_{ij}\\) von allen Paaren \\(a_{i'}b_{i'j}\\) verschieden sind, wenn \\(i \\neq i'\\) ist, so ist dies ohne Widerspruch f\u00fcr alle \\(i\\) \\((i=1,2,\\dots,lL)\\) gleichzeitig m\u00f6glich. Ebenso ordnen wir den \\(b\\) je \\(n\\) Symbole \\(c\\) und den \\(c\\) je \\(n\\) Symbole \\(a\\) zu. Dann ist der Z\u00e4hlausdruck offenbar im Bereiche der 3 \\(lL\\) Symbole erf\u00fcllt, wie die \\(\\Phi\\) auch sonst bestimmt werden.   \u00dcbrigens hat Referent, ohne Ackermanns Arbeit zu kennen, in der nachstehend referierten Arbeit u. a. dasselbe Problem wie Ackermann in \\S\\,3 behandelt und mit Hilfe eines Exhaustionsverfahrens das Entscheidungsproblem gel\u00f6st.","type":"string"},"datatype":"string"},"type":"statement","id":"Q5907240$A2908B44-3565-4FE9-B920-2BD7DCCCDCE3","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a48b59bc9bdbd7a4c6e0e5bab053fc4d768ba5fb","datavalue":{"value":"2575344","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5907240$402C6E50-EC22-4494-BB4B-89904C89E2F7","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":"Q5907240$02795756-3B9C-45E4-AEA8-90E954DEC19E","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"78ab086921db3e23f34b5ec90987cb4a6de17687","datavalue":{"value":"W1969356353","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5907240$743F7ECB-E299-4E73-AB6E-9A8E3CC45BA0","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"\u00dcber die Erf\u00fcllbarkeit gewisser Z\u00e4hlausdr\u00fccke. (scientific article; zbMATH DE number 2575344)","badges":[]}}}}}