{"entities":{"Q1461613":{"pageid":1472353,"ns":120,"title":"Item:Q1461613","lastrevid":43126149,"modified":"2025-07-21T17:24:50Z","type":"item","id":"Q1461613","labels":{"en":{"language":"en","value":"A contribution to the axiomatization of well ordered sets."}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2600925"}},"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":"Q1461613$ABFCF8DB-05AF-4B1D-803E-3850FA1D6544","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"adaaa4450cc4ae14335e172dfe2eee98b0ece56b","datavalue":{"value":{"text":"A contribution to the axiomatization of well ordered sets.","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1461613$43761289-01CB-44D2-9303-03EA08C0ADCB","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d1164e670f021ff4fda0a9fc1092ce4da88fe132","datavalue":{"value":"48.0215.03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1461613$D68BAECC-8E0C-4F1F-A71D-1B7D1FF7F409","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"bc22c9d167163d73399e41492d61115337fe30d8","datavalue":{"value":{"time":"+1921-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":"Q1461613$C13F592A-530A-4E1B-A543-0773EF317FA7","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"8c1b1d302673d0e4e2da78703f26e1857346a49d","datavalue":{"value":"Bezeichnen wir mit \\(A_1\\), \\(A_2\\), \\(A_3\\) die \u00fcblichen drei Axiome, welche die geordnete Menge charakterisieren, so kann die Definition einer wohlgeordneten Menge \\(Z\\) dadurch erhalten werden, da\u00df man die Existenz einer Beziehung \\(R\\) postuliert, f\u00fcr welche eines der folgenden Axiomensysteme gilt: \\(A_1A_2A_3B\\), \\(A_1A_2A_3C\\), \\(A_1A_2A_3E\\), \\(A_1A_2A_3F.\\)  Dabei bedeuten \\(B\\), \\(C\\), \\(E\\), \\(F\\) die folgenden Axiome:  Ist \\(U\\) eine beliebige Untermenge von \\(Z\\), welche keine Nullmenge ist, so enth\u00e4lt \\(U\\) ein Element \\(a\\), welches die Eigenschaft besitzt, da\u00df:  (B) kein Element von \\(U\\) ''fr\u00fcher'' als \\(a\\) in bezug auf \\(R\\) vorkommt,  (C) \\(a\\) ``fr\u00fcher'' als \\(x\\) in bezug auf \\(R\\) vorkommt, wo \\(x\\) ein beliebiges von \\(a\\) verschiedenes Element von \\(U\\) ist,  (E) h\u00f6chstens ein Element von \\(U\\) ``fr\u00fcher'' als \\(a\\) in bezug auf \\(R\\) vorkommt,  (F) kein von \\(a\\) verschiedenes Element von \\(U\\) ``fr\u00fcher'' als \\(a\\) in bezug auf \\(R\\) vorkommt.  Verf. zeigt nun, da\u00df diese Axiomensysteme miteinander \u00e4quivalent sind, wobei die zwei letzteren aus lauter unabh\u00e4ngigen Axiomen bestehen, was f\u00fcr die anderen nicht der Fall ist. Ferner beweist er, da\u00df man eine Definition der wohlgeordneten Menge auch dadurch erhalten kann, da\u00df man einfach die Existenz einer Beziehung \\(R\\) postuliert, f\u00fcr welche das folgende einzige Axiom gilt:  (D) Ist \\(U\\) eine beliebige Untermenge von \\(Z\\), welche keine Nullmenge ist, so enth\u00e4lt \\(U\\) ein \\textit{einziges} Element \\(a\\), welches die Eigenschaft besitzt, da\u00df kein Element von \\(U\\) ''fr\u00fcher'' als \\(a\\) in bezug auf \\(R\\) vorkommt.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1461613$7153A397-F90F-416D-9710-4CE3A127F862","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7a1d4d343889492e30dd853837039fd3cd08322a","datavalue":{"value":"03-XX","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1461613$0F85073A-2DB5-4F58-882B-12E06BAEC4FB","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9360053abb5f2d083411ddbec6fc734d11dd9a5f","datavalue":{"value":"2600925","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1461613$9EA382BD-BB96-4814-8D5C-9666A0E00466","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":"Q1461613$F07987D4-2CF8-4015-9310-F2EDD390DE25","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":"Q1461613$41128304-77B5-42DD-92AF-5A98EC28848E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1461613","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1461613"}}}}}