{"entities":{"Q577754":{"pageid":579521,"ns":120,"title":"Item:Q577754","lastrevid":42591367,"modified":"2025-07-04T10:48:46Z","type":"item","id":"Q577754","labels":{"en":{"language":"en","value":"\u00dcber einige Satzfunktionen in der Arithmetik."}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2560526"}},"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":"Q577754$7309D69E-3046-4FBB-B3C2-620218A329C2","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c7f474d285d8ad179068b5fa0597211eaeaad9a9","datavalue":{"value":{"text":"\u00dcber einige Satzfunktionen in der Arithmetik.","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q577754$3493A91C-94ED-4C05-8D27-0166CA57E712","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"fef49e48023887341d0ff6f4f764581bcaa6657f","datavalue":{"value":"57.1320.03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q577754$B9C7E4C2-926A-4BA1-812D-096FF1A380DD","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e0130902a9dcdeca58c7452ef77c67f7d7741a88","datavalue":{"value":{"time":"+1931-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":"Q577754$CEF323A1-114A-456E-BDEE-C14B2F77C171","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"e1abdb44a902c041db20f6c13bfe61272e35ef3a","datavalue":{"value":"Verf. betrachtet Ausdr\u00fccke, die sich vermittels der Gleichheits-, der Gr\u00f6\u00dferkleinerbeziehung, der Aussagenverkn\u00fcpfungen und der Quantifikatoren ``alle'' und ``es gibt'' aus gewissen arithmetischen Grundfunktionen aufbauen. Diese Grundfunktionen sind Addition, Multiplikation mit konkreten (nicht variablen) rationalen Zahlen, Bildung der gr\u00f6\u00dften ganzen Zahl, die kleiner oder gleich einer gegebenen ist. Es wird gezeigt, da\u00df im Bereich dieser Ausdr\u00fccke das Entscheidungsproblem l\u00f6sbar ist. Die bewiesenen S\u00e4tze werden benutzt, um die Schwierigkeiten zu beleuchten, auf die man st\u00f6\u00dft, wenn man versuchen will, den Begriff der ganzen Zahl vollst\u00e4ndig zu charakterisieren. (Diese \u00dcberlegungen sind \u00fcbrigens vom Verf. weiter ausgef\u00fchrt in den beiden Schriften: Norsk Mat. Forenings Skrifter 2, Nr. 10 (1933), 73-82; Fundamenta 23 (1934), 150-161; F. d. M. \\(59_{\\text I}\\), 53; \\(60_{\\text I}\\), 25. Vgl. die betreffenden Referate.) Noch f\u00fcr einen anderen Aussagenbereich kann Verf. das Entscheidungsproblem l\u00f6sen. Die Elementarbestandteile dieser Aussagen sind aus Gleichungen und Ungleichungen aufgebaut, deren linke und rechte Seiten Potenzprodukte gewisser Variablen mit ganzzahligen Exponenten sind, w\u00e4hrend au\u00dferdem nicht-negative ganze Zahlen als Koeffizienten der Potenzprodukte auftreten. Die Entscheidung geschieht durch Zur\u00fcckf\u00fchrung auf den zuerst behandelten Fall. Die erzielten Ergebnisse lassen sich auf Aussagen \u00fcber die Ideale eines algebraischen Zahlk\u00f6rpers \u00fcbertragen.","type":"string"},"datatype":"string"},"type":"statement","id":"Q577754$D54596E1-3289-4D0A-8E29-C087E7F25CA9","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0cd16f8787a148d9380c7a12f25cf193ba3407a0","datavalue":{"value":"2560526","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q577754$0AA8878C-0121-40B0-8384-5990FBE2D3B2","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":"Q577754$93C37D2E-2A10-4EF5-9253-DD5292CEC18B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2239a8d649fb6346c24e5b6bc1471d336a96c909","datavalue":{"value":{"entity-type":"item","numeric-id":6480491,"id":"Q6480491"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q577754$A28ACDA0-E67C-4AC2-BB0A-1A78EA693764","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:577754","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:577754"}}}}}