{"entities":{"Q1828985":{"pageid":1839727,"ns":120,"title":"Item:Q1828985","lastrevid":43353099,"modified":"2025-07-25T01:13:48Z","type":"item","id":"Q1828985","labels":{"en":{"language":"en","value":"Semi-serial order."}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2562396"}},"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":"Q1828985$AEA23738-63D5-4C29-83DD-7C2826ED271C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"262a99d008a105c16358d990f0c9a576ca17651e","datavalue":{"value":{"text":"Semi-serial order.","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1828985$4401A10B-276F-435B-B5DC-F3C0CABF6E0F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8137ea7a47c5edf8c860778b91277d6e0f562322","datavalue":{"value":"56.0049.03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1828985$5CA89055-BCE9-4079-8756-A75CC9CA60C4","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f8ac26a295ae5664c9a306676fcd75c82293552c","datavalue":{"value":"10.2307/2298431","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1828985$CCD75032-177C-4E97-B34B-CAE0D78C98B4","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"689e5cdf1206d48be9a5d36294b6d7e82f33af44","datavalue":{"value":{"entity-type":"item","numeric-id":563475,"id":"Q563475"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1828985$7EC13191-0D27-4839-BD87-280BF28A4515","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f5ab0baf7eae70aecb4af413b43b8b6a1ca6194f","datavalue":{"value":{"entity-type":"item","numeric-id":559780,"id":"Q559780"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1828985$8495A6C9-5304-4CE6-B06D-C5B0A62D45F3","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"fa7b89c2fb45b2a4b2542838fa1207277c05a6db","datavalue":{"value":{"time":"+1930-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":"Q1828985$4A0A7F67-EE2A-4284-AC36-1D06C58F36E3","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"bccf16d3e3d75b06d7e66fc3801b19c6aa89514d","datavalue":{"value":"Verf. axiomatisiert einen neuen Klassenkalk\u00fcl mit sogenannter ``Halbordnung'' (``semi-serial order''). Es wird f\u00fcr Elemente der Klasse eine dyadische Relation \\(\\leqq\\) gefordert, die folgenden f\u00fcnf Axiomen gen\u00fcgt:  (I) \\(a\\leqq a\\) f\u00fcr jedes Element der Klasse. (II) Ist \\(a\\leqq b\\) und \\(b\\leqq a\\), so ist \\(a = b\\). (III) Ist \\(a\\leqq b\\) und \\(b\\leqq c\\), so ist \\(a\\leqq c\\). (IV) Ist \\(a\\neq b\\) und weder \\(a\\leqq b\\) noch \\(b\\leqq a\\), so gibt es ein Element \\(m\\) mit folgenden zwei Eigenschaften: (1) \\(m\\leqq a\\) und \\(m \\leqq b\\); (2) wenn \\(x \\leqq a\\) und \\(x\\leqq b\\) f\u00fcr ein Element \\(x\\neq m\\) gilt, so mu\u00df \\(x\\leqq m\\) sein. (V) Ist a \\(\\neq b\\) und weder \\(a\\leqq b\\) noch \\(b\\leqq a\\), so gibt es ein Element \\(n\\) mit folgenden zwei Eigenschaften: (1) \\(a\\leqq n\\) und \\(b\\leqq n\\); (2) wenn \\(a\\leqq y\\) und \\(b\\leqq y\\) f\u00fcr ein Element \\(y\\neq n\\) gilt, so mu\u00df \\(n\\leqq y\\) sein.  Aus diesen Axiomen ergeben sich die aus dem Aussagenkalk\u00fcl bekannten S\u00e4tze, wenn man noch die dort \u00fcblichen Funktionen \\(a\\land b\\) (Aussage \\(a\\) ist richtig und Aussage \\(b\\) ist richtig) sowie \\(a\\lor b\\) (von den beiden Aussagen \\(a\\), \\(b\\) ist mindestens eine richtig) f\u00fcr den hier gegebenen Klassenkalk\u00fcl passend definiert; z. B: Ist \\(a\\leqq y\\) und \\(b\\leqq y\\), so gilt \\((a\\lor b) \\leqq y\\). Werden den Axiomen (I)-(V) noch die Axiome (VI)-(VIII) des ``Anfangs''-, ``End''- und des ``primitiven'' Elements hinzugef\u00fcgt, so ergeben sich weitere Folgerungen.  Zum Schlu\u00df werden zahlreiche dem System gen\u00fcgende Substrate angegeben. In der Anwendung auf den Klassenkalk\u00fcl entspricht dem Zeichen \\(a\\leqq y\\) speziell \\(a\\to y\\) (aus \\(a\\) folgt \\(y\\)). Dem Aussagenkalk\u00fcl entspricht Beispiel (4), die Unterklassen einer gegebenen Klasse, wobei \\(\\leqq\\) als Enthaltensein gedeutet werden.  Folgende Druckfehler sind zu verbessern: p. 420, Cor. (1): \\(a\\land b=b\\land a\\) statt \\(a \\land b= b \\land c\\); Def. (3): ``If \\(b\\leqq a\\), the element \\(a\\lor b\\) is defined as \\(a\\)'' statt ``as \\(b\\)''.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1828985$375DC180-735E-4A58-A05D-648352FFD6DC","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"76439b04d0386a8e1726b5c858f8bdadab596812","datavalue":{"value":"2562396","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1828985$B8ECC7FC-2946-4F8A-835B-8586E9B3DC22","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":"Q1828985$941804CA-EA0E-4FBD-96EF-4CC2EFA0E8FF","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"061d9df23bda4fc391b103ac8365732fd5afb99c","datavalue":{"value":"https://doi.org/10.2307/2298431","type":"string"},"datatype":"url"},"type":"statement","id":"Q1828985$FE3D4833-B27F-4D30-AE62-83463FA23DD3","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"4231c5c8d2d8698013b7e159928e8da52d773979","datavalue":{"value":"W4252105064","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1828985$88E2695B-9748-48F0-8930-9C67AF5EC922","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1828985","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1828985"}}}}}