{"entities":{"Q2594121":{"pageid":2604864,"ns":120,"title":"Item:Q2594121","lastrevid":44435847,"modified":"2025-11-22T22:14:14Z","type":"item","id":"Q2594121","labels":{"en":{"language":"en","value":"On the isomorphism and the equivalence of classes and sequences of sets."}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2513343"}},"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":"Q2594121$879FDF21-B851-44A3-96B5-CBD3428874E8","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"566eefa2b01719a6e1e54e80e52dcbe422535382","datavalue":{"value":{"text":"On the isomorphism and the equivalence of classes and sequences of sets.","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2594121$3EB12D76-FE44-462E-819A-8AAC367B8F9B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"99efb9833a8cf5660157b8b701d2b212be37fe56","datavalue":{"value":"65.1167.01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2594121$E260513D-81D1-451C-B9A4-3898DC8DB49C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"be6ee98591a56f567c9f3df0cd4a8bff69299a13","datavalue":{"value":{"entity-type":"item","numeric-id":563044,"id":"Q563044"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2594121$B754DF1C-74F8-430B-B082-01786B6E7A06","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":"Q2594121$D31152C3-B666-4264-BBA6-8D20566A4E9B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c0e196ad60f00e64f313a942d594f41d77efe615","datavalue":{"value":{"time":"+1939-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":"Q2594121$F45437FB-30B6-46B4-A574-0FB73EB8A858","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"df83a08af51fbca5bbfa12f2b27de2467fc6dce7","datavalue":{"value":"https://eudml.org/doc/213053","type":"string"},"datatype":"url"},"type":"statement","id":"Q2594121$4A0C6309-0001-451D-9594-44FEDE942A5F","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"6dba31af08195c0f1aa0e0be0de071b68695a2b5","datavalue":{"value":"Verf. betrachtet eineindeutige Abbildungen \\(F\\) zwischen zwei Systemen \\(\\mathbf K\\) und \\(\\mathbf L\\) von Mengen. Gilt stets die Implikation \\((K_1 \\subset K_2) \\to F(K_1) \\subset F(K_2)\\), so hei\u00dft \\(F\\) ein schwacher Isomorphismus. Gibt es einen schwachen Isomorphismus \\(\\varphi\\) zwischen den kleinsten Ringen \\(\\mathbf{K}_0\\) und \\(\\mathbf{L}_0\\), die \\(\\mathbf K\\) und \\(\\mathbf L\\) enthalten, so da\u00df stets \\(\\varphi(K)=F(K)\\) ist, so hei\u00dft \\(F\\) ein Isomorphismus. Sind \\(\\mathbf K\\) und \\(\\mathbf L\\) Systeme von Untermengen von \\(X\\) bzw. \\(Y\\), und gibt es eine eineindeutige Abbildung \\(\\varphi\\) von \\(X\\) auf \\(Y\\) derart, da\u00df stets \\(\\varphi(K)=F(K)\\) ist, so hei\u00dft \\(F\\) eine \u00c4quivalenz. Z. B. gelten folgende S\u00e4tze: Ist \\(F\\) ein schwacher Isomorphismus zwischen zwei Ringen \\(\\mathbf K\\) und \\(\\mathbf L\\) von Untermengen von \\(X\\) und \\(Y\\), so ist \\(K = 0\\) bzw. \\(K=X\\) dann und nur dann, wenn \\(F(K)=0\\) bzw. \\(F(K)=Y\\) ist; au\u00dferdem ist stets \\(F(X-K)=Y-F(K)\\) und \\(F(K_1+K_2)=F(K_1)+F(K_2)\\). Sind \\(\\mathbf K\\) und \\(\\mathbf L\\) Systeme von Untermengen von \\(X\\) und \\(Y\\), in denen alle Untermengen auftreten, die nur ein Element enthalten, so ist jeder schwache Isomorphismus zwischen \\(\\mathbf K\\) und \\(\\mathbf L\\) zugleich eine \u00c4quivalenz. Indem \\(K^0= X - K\\), \\(K^1 = K\\) ist, versteht Verf. unter einem Konstituenten bzw. Atom des Systems \\(\\mathbf K=[K_{\\xi}]_{\\xi \\in \\varXi}\\) jede Menge der Form \\(K_{\\xi_1}^{i_1} \\,K_{\\xi_2}^{i_2} \\cdots K_{\\xi_n}^{i_n}\\) bzw. \\(\\prod\\limits_{\\xi \\in \\varXi} K_{\\xi}^{i_{\\xi}}\\), wobei die \\(i_r\\) alle 0 oder 1 sind. Dann gelten S\u00e4tze wie dieser: Zwei Systeme sind dann und nur dann isomorph bzw. \u00e4quivalent, wenn zwei entsprechende Konstituenten immer gleichzeitig leer oder nicht-leer sind bzw. dieselbe M\u00e4chtigkeit haben.  Weiter werden abz\u00e4hlbare Systeme, insbesondere Mengenfolgen, Me\u00dfbarkeit, Projektivit\u00e4t und Konvergenz von Folgen betrachtet. Verf. beweist z. B., da\u00df die Richtigkeit der Kontinuumhypothese notwendig und hinreichend ist daf\u00fcr, da\u00df jede konvergente Folge \u00e4quivalent ist einer Folge von Borelschen Mengen.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2594121$C1A6A655-6352-4374-B942-EB82FC758E3E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3e4a931a624264b69a303305fecad5867e24fb5a","datavalue":{"value":"2513343","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2594121$B1BF896A-3F11-43C0-8850-BA38756E736B","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":"Q2594121$ECEDAE07-C075-4BDD-A192-F5A63B22A026","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"e0a11a3cfe1bda20387aa27601c8f17ca3cd81b3","datavalue":{"value":"W876502840","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2594121$1A026E05-FB6F-4814-A583-78E726046C9D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b715aae9d136a9c00dd5005437a4ea62328ae2f9","datavalue":{"value":"10.4064/FM-32-1-133-148","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2594121$C2D84A22-2392-4693-9AF9-BE8C5AFF534C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2594121","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2594121"}}}}}