{"entities":{"Q284223":{"pageid":285990,"ns":120,"title":"Item:Q284223","lastrevid":60642732,"modified":"2026-04-10T18:14:52Z","type":"item","id":"Q284223","labels":{"en":{"language":"en","value":"A theory of infinitary relations extending Zermelo's theory of infinitary propositions"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6581388"}},"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":"Q284223$BF2FFC06-8C08-4620-991E-516BC9549A0A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"dd4f781f863f578f282d892e00bc6c713a2d9fb6","datavalue":{"value":{"text":"A theory of infinitary relations extending Zermelo's theory of infinitary propositions","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q284223$4C6836C9-83C2-4C2C-84AF-98910D9F43D7","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e20fd05454e8c411bb455af7dace70d8537f26ba","datavalue":{"value":"1397.03057","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q284223$346AEF40-6F8B-44EF-A308-B959FB164D36","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"12abde737ae33328ac30e8109e452092144511a2","datavalue":{"value":{"entity-type":"item","numeric-id":284222,"id":"Q284222"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q284223$3EE0E3AB-B726-4881-8F54-33300D5BD9B5","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e34236ca73b92c6ee0bc17431d03c3537a7f0792","datavalue":{"value":{"entity-type":"item","numeric-id":195358,"id":"Q195358"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q284223$92BFAF6E-FA60-4C51-9A3A-DD067CDB8AB0","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f158d900e6e0544baa84834e48185c69f362c02f","datavalue":{"value":{"time":"+2016-05-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q284223$DBBBD099-B92B-402D-AAA0-5A5C0742D17E","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"071c993b4afcad5d0d9c4fd45eac96a781f32bd0","datavalue":{"value":"By following Russell's ideas, the author extends Zermelo's theory of infinite propositions to infinitary relations. This approach enables to give an effective characterization of parametric definability with respect to a purely relational structure, as well as to highlight a new understanding of Zermelo's rejecting of G\u00f6del's first incompleteness theorem. The theory of infinitary relations presents a suitable starting point in the reconstruction of Zermelo's original theory of urelements and sets. The status of definability and expressibility in presence of infinitary relations is deeply analyzed and determined.","type":"string"},"datatype":"string"},"type":"statement","id":"Q284223$11428538-8875-4CC3-ADA7-1281B84CE74D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d76b54ca3ec41228d05d0d48b5373554ccc0dcb3","datavalue":{"value":"03E30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q284223$B73F12C3-81D7-4F03-9902-7717962B88F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"31eb4b2fe460225d8220386b6d12b964cafd1ca3","datavalue":{"value":"03C62","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q284223$DE0902D4-B4DC-4D17-B28D-6153C1436F63","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"3bc35ecc3144ff65e9737745f556c5739e048b08","datavalue":{"value":"03C75","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q284223$A09CE5A0-D0E4-4B78-94FE-29DF55BDFBAA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c44e4550b60355cc572c6c4d7a5a72dc0832c1d0","datavalue":{"value":"03F40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q284223$F0AAC566-8EA5-44AC-94B5-8615AC4AF2F6","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7cd65586a1d04e5e3a6226209e379734005a4f9a","datavalue":{"value":"6581388","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q284223$A7CB1364-48B2-4966-970A-4A5ACAE3051B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"261dec08f9c5dd2fc758481b34f4c263251c1e82","datavalue":{"value":"definable set","type":"string"},"datatype":"string"},"type":"statement","id":"Q284223$380F5D1C-9D75-4BD9-98D1-A0936E6B9BAC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9e2017066c3183646ee86c2e0ca529bde560705c","datavalue":{"value":"Russell's substitutional theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q284223$A101CB2C-D853-475D-9156-095C35AE19B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"785a24bb96ea8221551544530038b79eb10a6676","datavalue":{"value":"Zermelo set theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q284223$C3D77DE1-3A43-4F1C-98D6-780F60930DAA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"255f63426941e087eae99d0307e2967d3d70e58f","datavalue":{"value":"infinitary relations","type":"string"},"datatype":"string"},"type":"statement","id":"Q284223$ACB5F5AA-27DC-4E66-AAEA-104C2D37277E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1e2564f9075be5054c2b3f346ad14f3482a794a3","datavalue":{"value":"Zermelo's theory of infinitary propositions","type":"string"},"datatype":"string"},"type":"statement","id":"Q284223$675DA8EB-5BA9-461E-8599-5F0023B063DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1b13f3c80c10e8cdc8dd57ca7d64548c8352720","datavalue":{"value":"G\u00f6del's first incompleteness theorem.","type":"string"},"datatype":"string"},"type":"statement","id":"Q284223$44FD55E9-6625-4247-851A-4C6788D28697","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"081575ff9af2a55918e2c91cbc43768fd7cf2308","datavalue":{"value":"Q59478977","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q284223$BDAAE9C7-BDA7-46C5-BAEE-9D6AE4200C77","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"2b87c2901b1d9462aa6fffa26502c8ee861836b0","datavalue":{"value":{"entity-type":"item","numeric-id":1062052,"id":"Q1062052"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q284223$AD1EB6B0-E7C9-4032-94BD-66639C2F8523","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":"Q284223$3F48B094-AA61-43B4-A277-AC32EC37F5F7","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"dde93a405be738f2f7cb837dd84a48502aa3107b","datavalue":{"value":"https://doi.org/10.1007/s11225-016-9660-5","type":"string"},"datatype":"url"},"type":"statement","id":"Q284223$3FA6A8C2-FBAA-47A0-86D9-10A836E7DC32","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"281b30f7f10518812017774b51d738dad2317e81","datavalue":{"value":"W2297636457","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q284223$63F73443-1365-4023-AC59-61EEE228F83C","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"cfe447f578e2cb8ec9c17248c32e8835a2af4218","datavalue":{"value":{"entity-type":"item","numeric-id":1212459,"id":"Q1212459"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q284223$D959B538-FC12-4E32-8846-0389A0C87EC8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5cd9ec4ebec0288cc7d8ce3fff5ced136af22ac0","datavalue":{"value":{"entity-type":"item","numeric-id":3414548,"id":"Q3414548"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q284223$61F88E5B-5787-464F-8FAE-CEB012BB2F16","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f89a5290015084f33b53f5ecddad650a9198f632","datavalue":{"value":{"entity-type":"item","numeric-id":5839930,"id":"Q5839930"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q284223$CB88692E-C8D0-4262-A3BB-C03BC5BC89B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7ca699d9eaadc034c8acba58807d8465fe6e2279","datavalue":{"value":{"entity-type":"item","numeric-id":5332215,"id":"Q5332215"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q284223$5CBD5980-22F1-4862-8686-A17DFC3D97B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1ad778688079d4a53aaf9e0e9300643f2b8969a1","datavalue":{"value":{"entity-type":"item","numeric-id":4779973,"id":"Q4779973"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q284223$978031ED-761F-4E1B-8E72-1AFAF1A3831E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2710d32adcd35ae6c40fe86935d3b1d1fd127a7c","datavalue":{"value":{"entity-type":"item","numeric-id":4040000,"id":"Q4040000"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q284223$4ECD7058-F3CB-49B2-9672-29C77972BF70","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8328d12b56e3d31e43db2f55f230768e217c0433","datavalue":{"value":{"entity-type":"item","numeric-id":1317972,"id":"Q1317972"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q284223$FE750417-A570-480C-9FD4-87C00F45DEAD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7c89d163ec2cfe20cdcef09243a785a3cf35ab8f","datavalue":{"value":{"entity-type":"item","numeric-id":5573940,"id":"Q5573940"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q284223$4A141D37-5D1C-4DF7-8D0C-72D00A7F4B32","rank":"normal"}],"P1635":[{"mainsnak":{"snaktype":"value","property":"P1635","hash":"00def10581edc9ec082b4b35b8306ff8cecee3a7","datavalue":{"value":"journals/sLogica/Taylor16","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q284223$26F5A372-73AA-48E8-AA95-AE671C0E4FBF","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"8fb9816df89a648c0f2a0e891f196962f151a7ba","datavalue":{"value":"10.1007/S11225-016-9660-5","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q284223$F504FE9C-893E-4872-9402-9F2E422910D4","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"015833f528cdd3eda5ac884e9b3c38fe67b0c3a4","datavalue":{"value":{"entity-type":"item","numeric-id":4432546,"id":"Q4432546"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"456029cf871a8e73384047c25f785f38c5e22c7e","datavalue":{"value":{"amount":"+0.7666749954223633","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q284223$340F1A80-D4B0-4F15-84BC-EE319282FCE6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0a89d881c8d293d015f1da2fb8d39240dcd7f371","datavalue":{"value":{"entity-type":"item","numeric-id":4227563,"id":"Q4227563"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b84e3096583b7d78385caf80c7fc1a3a87c83eea","datavalue":{"value":{"amount":"+0.7462680339813232","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q284223$E495DFC9-4B4E-4430-8075-82B5EA9D5313","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1661410b097173ab033f6fd494d0afda8dab0984","datavalue":{"value":{"entity-type":"item","numeric-id":4508278,"id":"Q4508278"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d1c611d4cf843d2198368b4ea2a55401ae690210","datavalue":{"value":{"amount":"+0.7438817620277405","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q284223$CE5CCF6B-506F-42E7-B98D-F9E33910C58B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"898bd53c2b9018c7b8af0053d278861666afb297","datavalue":{"value":{"entity-type":"item","numeric-id":4470280,"id":"Q4470280"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c54f81e590985f847ec7124a19d7908d4e03020a","datavalue":{"value":{"amount":"+0.6903402209281921","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q284223$B7CACCBB-E8AC-495A-9F01-DFDDD0301507","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"02ac4378fc00ac3f3f1f17db46216f6c50d0af91","datavalue":{"value":{"entity-type":"item","numeric-id":5717235,"id":"Q5717235"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d9fa0fd7f3a3c19e8347e71a40fa6f6d2204ffc4","datavalue":{"value":{"amount":"+0.6804652810096741","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q284223$3253C84D-5A4A-421B-8299-57DBE8678712","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"45fcd4163b5f33e6e8c784f5522d7246c0a1a61e","datavalue":{"value":{"entity-type":"item","numeric-id":57056,"id":"Q57056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q284223$14722785-2D77-4373-80FF-B727DF1CD2D0","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A theory of infinitary relations extending Zermelo's theory of infinitary propositions","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_theory_of_infinitary_relations_extending_Zermelo%27s_theory_of_infinitary_propositions"}}}}}