{"entities":{"Q571241":{"pageid":573008,"ns":120,"title":"Item:Q571241","lastrevid":42587056,"modified":"2025-07-04T10:02:34Z","type":"item","id":"Q571241","labels":{"en":{"language":"en","value":"Sur les ensembles d\u00e9finissables de nombres r\u00e9els. I."}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2555102"}},"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":"Q571241$05C533E3-FD0A-4FC6-8B5C-B1BCEDDB361D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"05cf09a835832e776cb6eea3037c6be9f415be93","datavalue":{"value":{"text":"Sur les ensembles d\u00e9finissables de nombres r\u00e9els. I.","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q571241$AC3BB4DF-9B5E-4CD9-BC5A-39FBAD1DF10E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"47a9e963da2067e968de3ae676efc4f08bd4f29d","datavalue":{"value":"57.0060.02","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q571241$EFDCD76E-8895-45FD-9971-6E0FC253F8CB","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"5797d223f34682fa810388331056bbf163f31972","datavalue":{"value":{"entity-type":"item","numeric-id":559381,"id":"Q559381"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q571241$737AC2C2-BD77-4C71-9095-2AA23D96AE69","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":"Q571241$0F768B46-F2A2-4104-BEE0-E6B85BFFE74D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"bb88d9d9a2dd5d7c66acac42f3d74dae4e13c344","datavalue":{"value":"https://eudml.org/doc/212515","type":"string"},"datatype":"url"},"type":"statement","id":"Q571241$8F99F7D1-41CD-4BC3-8789-58F29AA80401","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"ae94a9f925b8bc7fd7cde9d78628fc2953ed25ed","datavalue":{"value":"Das Ziel der Arbeit ist, den Begriff ``Definierbarkeit'' aus der Sph\u00e4re der Intuition oder der philosophischen Diskussion herauszuheben und streng mathematisch zu fassen -- vorl\u00e4ufig unter Beschr\u00e4nkung auf Mengen reeller Zahlen, einer Beschr\u00e4nkung, die viel mehr technische als wesentliche Gr\u00fcnde hat. Der erste Schritt besteht in der Analyse des Begriffs ``definierbar'' auf dem Boden der \\textit{Metamathematik}. Zu diesem Zweck wird ein (im \u00fcbrigen weitgehend noch freigelassenes) logisches System zugrunde gelegt, das etwa auf eine Vereinfachung des Systems der ``Principia Mathematica'', speziell unter Eintausch der ``Extensionalit\u00e4tsthese'' anstelle der verfeinerten Typentheorie, hinausl\u00e4uft. Auf Grund einer Klassifikation der Aussagefunktionen nach der Ordnung der zugeh\u00f6rigen Variablen (Individuenvariablen, Mengen von Individuen usw.) l\u00e4\u00dft sich der Begriff der ``Aussagefunktion von der Ordnung \\(n\\)'' einf\u00fchren und -- nach einigen tieferliegenden Vorbereitungen eine Menge ``definierbar von der Ordnung \\(n\\)'' nennen, wenn genau ihre Elemente einer Aussagefunktion der Ordnung n mit einer einzigen freien Variablen gen\u00fcgen.  Eine glatte \u00dcberf\u00fchrung dieser metamathematischen \u00dcberlegungen aufs Gebiet der Mathematik kann nicht m\u00f6glich sein, wie schon die Tatsache der \\textit{Richard}schen Antinomie zeigt. Aber eine in mehrfacher Hinsicht verengende \u00dcberf\u00fchrung gelingt. Dabei wird der Begriff der Aussagefunktion durch den korrespondierenden einer Menge von Folgen ersetzt, zu deren Konstruktion von einem gewissen Ausgangspunkt her f\u00fcnf Grundoperationen eingef\u00fchrt werden. Anstelle des allgemeinen Symbols \\(n\\) (f\u00fcr die Ordnung) tritt eine jeweils konkret zu fixierende nat\u00fcrliche Zahl. Die Betrachtung wird f\u00fcr die Ordnung l vollst\u00e4ndig durchgef\u00fchrt und soll f\u00fcr die Ordnung 2 wenigstens so weit fortgesetzt werden, da\u00df die weitere Gestaltung f\u00fcr h\u00f6here Ordnungen sich zweifelsfrei ergibt. (II.)","type":"string"},"datatype":"string"},"type":"statement","id":"Q571241$F7766E8C-429F-4D4A-98D5-75EF88D0C2C8","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0e5a4e38c649c2d7eca00e9b5eeaba29b9624eef","datavalue":{"value":"2555102","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q571241$EF538BC5-D2E2-4D5A-B15C-A879236875EA","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":"Q571241$A7D315BE-C322-4ECE-BF90-E831F359B12C","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b120b7db67a2142553dbe93d2234ff8bc33cd28a","datavalue":{"value":"W788058594","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q571241$7D2495AD-D97D-48F4-8AC3-2E6F1481836F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"09bc346ca4b0135a598c722eb13f1200f6047089","datavalue":{"value":"10.4064/FM-17-1-210-239","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q571241$7D0676F1-4951-493D-B1E8-154805205358","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"85829b121f1bd00e00d15a9f50bd81f731384991","datavalue":{"value":{"entity-type":"item","numeric-id":6482289,"id":"Q6482289"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q571241$A1228E09-D1CB-440F-A36E-408A90181890","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:571241","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:571241"}}}}}