{"entities":{"Q943342":{"pageid":945190,"ns":120,"title":"Item:Q943342","lastrevid":65589855,"modified":"2026-04-12T03:38:13Z","type":"item","id":"Q943342","labels":{"en":{"language":"en","value":"Pairs, sets and sequences in first-order theories"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5323285"}},"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":"Q943342$4278D5BB-6F5B-40F2-8EFD-F408EDC2F47B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"4282413eed202bd20b0618785d631ee6eb8dc937","datavalue":{"value":{"text":"Pairs, sets and sequences in first-order theories","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q943342$251CEFFC-F8F5-4183-BC54-EACC939EB24F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d9ab350964ff442cf658914797636d5e5bc9c546","datavalue":{"value":"1158.03037","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q943342$429886FC-ED56-4F13-BE27-CC3522F127B1","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"74e30887b1661f9905213e819a799c929192d3a6","datavalue":{"value":{"entity-type":"item","numeric-id":190340,"id":"Q190340"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q943342$CB8F2C80-6D53-4158-87BD-B26B0B553A1C","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"a0a7cd28a9f85b9c6ad57bd5bb1ae477bfe37846","datavalue":{"value":{"entity-type":"item","numeric-id":114337,"id":"Q114337"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q943342$FAD7C18D-AA50-4ADE-AC40-6808534F5F43","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"38c410b8e6c6f16e495cecdeb38de7754dabfa1e","datavalue":{"value":{"time":"+2008-09-09T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q943342$0DDCA5EE-91CF-4FA3-9E65-3A0A3336E9D9","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"ae35a15658080c296b584a229fee4643618b1028","datavalue":{"value":"The paper studies first-order theories (recursively axiomatizable, in a finite language) endowed with so-called containers, such as ordered and unordered pairs, sequences, sets. Formally, a theory possesses certain containers if it supports an unrelativized interpretation with absolute equality (a direct interpretation) of a suitable container theory. The author explores the idea that for certain types of containers, this is equivalent to the ostensibly much stricter condition that the theory is definitionally equivalent to an extension (in the same language) of the container theory. Thus, a theory \\(U\\) is called adaptive if whenever a theory \\(V\\) directly interprets \\(U\\) then \\(V\\) is definitionally equivalent to an extension of \\(U\\). The main results of the paper state that the theory of functional non-surjective ordered pairing, and a weak set theory WS (axiomatized by the existence of successors and of an empty set) are both adaptive. In particular, a theory is sequential if and only if it is definitionally equivalent to an extension of WS.","type":"string"},"datatype":"string"},"type":"statement","id":"Q943342$8F14F0C1-5F7B-493E-991F-FC71D4AFB2C0","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"bf05c748b19f894b0cb445a65a1da1ca24dbc809","datavalue":{"value":{"entity-type":"item","numeric-id":331053,"id":"Q331053"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q943342$16641C78-42F0-44CE-9A1E-DC1B4E2F604A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"4dd17e948ef0e266d136e969bf8283741afbd898","datavalue":{"value":"03F25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q943342$99FCC30B-0B1A-4966-9E90-DEB94167FB06","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"13841f0b96793f178ce9a7dcac9f232220625aee","datavalue":{"value":"03B30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q943342$3E0F0C23-8625-4189-818A-BA80361E357A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"00333cc450a4f9ede02a5dc004b3bb76ad894f13","datavalue":{"value":"5323285","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q943342$A532D375-2C64-4635-9D37-8D3DA7470E1B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"508d90ed2d0cb5ed3bb66db4c84128c9e2d80423","datavalue":{"value":"interpretation","type":"string"},"datatype":"string"},"type":"statement","id":"Q943342$E00B16DE-9BDB-4653-B8E0-A8B2958E57F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f8d8da3387d032118a89cf8a2e7a89fc70496202","datavalue":{"value":"sequential theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q943342$FC5E012B-74CF-48B9-BBBD-1D0F8A6F85B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"729abeb1c393a898f99828bb4e25d14d2799ab84","datavalue":{"value":"weak set theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q943342$A0AEFB52-4F8A-48D0-8CD6-93F7065E0E4B","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":"Q943342$76F303D7-09D3-42D1-AF9D-A17A004CC5FB","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"0b446fc8b07e071f176920bdc02b3154674f1919","datavalue":{"value":"https://doi.org/10.1007/s00153-008-0087-1","type":"string"},"datatype":"url"},"type":"statement","id":"Q943342$2D3BECC1-AEB5-4B35-8FDC-1015A7115511","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"1b7ba0b96fec7fe7809c6920641a97d3bc684028","datavalue":{"value":"W2052127763","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q943342$3C9B0B62-3BF0-4E31-B7F6-E307CA1491DF","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"9b4c6f4cee0c7c16aa5792c1f31fb9359e46af73","datavalue":{"value":{"entity-type":"item","numeric-id":5941253,"id":"Q5941253"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q943342$21D8562B-4C15-491E-B0F5-788067EC5A60","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"29035f06020bdf6a821f5c6e4a2fac381017baf3","datavalue":{"value":{"entity-type":"item","numeric-id":1256445,"id":"Q1256445"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q943342$BF35676C-437D-4778-BBAB-05B64D1B8A8B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"51f63e7c1bb274eb5fc4dbf75d421f9b5de542e6","datavalue":{"value":{"entity-type":"item","numeric-id":1840999,"id":"Q1840999"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q943342$3A4CDCC0-8FA4-4AE8-9DC7-0FAEF8A4B0A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"72d36daee9a5a312295cfa69b5e17bd46fc7367a","datavalue":{"value":{"entity-type":"item","numeric-id":1344436,"id":"Q1344436"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q943342$286C5B5A-1181-4920-BE6B-C270BAF622E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cbf574be6e3a953c93c33b2e0394e18b9840580e","datavalue":{"value":{"entity-type":"item","numeric-id":3472098,"id":"Q3472098"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q943342$BBE7BA60-0A90-461D-B3EA-5633151AD935","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3330fa5c6279898dcc093948722963f954b2b34f","datavalue":{"value":{"entity-type":"item","numeric-id":4726219,"id":"Q4726219"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q943342$26ECD1E4-702D-4E64-9855-626060B365EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4770a89519406c6a3b1e5f5c3061068c7c3cee5c","datavalue":{"value":{"entity-type":"item","numeric-id":5184891,"id":"Q5184891"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q943342$38D82EE3-B3AE-46FD-9F36-39731152FB52","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"44aee1480eaeaf320249e8820f548f5b25dd3cfe","datavalue":{"value":{"entity-type":"item","numeric-id":3686709,"id":"Q3686709"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q943342$E0AE9AE7-4673-4DE7-B5EB-F6432236B797","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"38552e7b3a379ea8317582df9074c6db4537f193","datavalue":{"value":{"entity-type":"item","numeric-id":5827957,"id":"Q5827957"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q943342$1F89DFDB-9744-4718-A652-897FD6E8995D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3c333a78bda8d3d5daf7c3712a569b0871ea168d","datavalue":{"value":{"entity-type":"item","numeric-id":2651342,"id":"Q2651342"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q943342$712B6EED-2D5B-4617-9637-08F745CAA0AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3c4b03428355e4c9ae131b4a20c9872495d12267","datavalue":{"value":{"entity-type":"item","numeric-id":5585387,"id":"Q5585387"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q943342$BF65173C-95EA-4D58-BA29-227B36DCA107","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c74f3143ec42dbc01efa55df145132481cb2709d","datavalue":{"value":{"entity-type":"item","numeric-id":4694229,"id":"Q4694229"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q943342$4CE12ABA-576D-4CA9-906B-6082223575F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7dadf6c0afbcdaac692df9a4b7b618f0a3ecdff7","datavalue":{"value":{"entity-type":"item","numeric-id":4008752,"id":"Q4008752"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q943342$D5D6272A-C048-45FC-8C65-43A09510B297","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f3fdfe8673c5379ab5fd3f0d37bf8efc00370630","datavalue":{"value":{"entity-type":"item","numeric-id":688510,"id":"Q688510"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q943342$85F8DD37-9105-4A61-989E-9FB3D6D27E4B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d038bf41156aa868bc2302d61cb72b5d8b5783b9","datavalue":{"value":{"entity-type":"item","numeric-id":4215610,"id":"Q4215610"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q943342$B1C3332B-CDD4-4534-86F4-DE18A8738733","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c334e900d69147354fcd1b09f921638515832504","datavalue":{"value":{"entity-type":"item","numeric-id":705533,"id":"Q705533"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q943342$072D6F6B-B376-4DBE-A715-642DE88A744A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c1ad494f6753f30f6a6b9b8e016dbaa7e73069ac","datavalue":{"value":{"entity-type":"item","numeric-id":5393646,"id":"Q5393646"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q943342$2E6DE82C-6A0A-41FF-81C2-E09C36178D9D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5ef09c54b8711ccdfcfc79e534573d52457767bb","datavalue":{"value":"10.1007/S00153-008-0087-1","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q943342$9FDA3443-699C-454B-8631-311C88EF6FBD","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4df4067e27cc761606480066ab62584ef80d0981","datavalue":{"value":{"entity-type":"item","numeric-id":3616436,"id":"Q3616436"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0a0e37f5ef0bbeccc457f3728e4954ae589aa0d3","datavalue":{"value":{"amount":"+0.685452938079834","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":"Q943342$90E9ECC4-FAA0-48D6-A6DB-E2C0EBD43883","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8a06ed4976b9b439ff439cc013460bb15e109065","datavalue":{"value":{"entity-type":"item","numeric-id":5501722,"id":"Q5501722"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"66c9061a1669286aba378659bfde74a8feecc061","datavalue":{"value":{"amount":"+0.6839146018028259","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":"Q943342$2CEA4FF5-429C-41AD-BF28-D80EC3E429FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"36bb876817f0956f1662fdd97c6e0617a81ddd2e","datavalue":{"value":{"entity-type":"item","numeric-id":582284,"id":"Q582284"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"69df9941d01588bc1407d43ab292e90cd0daa02f","datavalue":{"value":{"amount":"+0.6789191961288452","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":"Q943342$423F1242-A00F-48FE-A35B-7F27E0442B26","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2f051d0c728631cd9142091125ae392fee918070","datavalue":{"value":{"entity-type":"item","numeric-id":286796,"id":"Q286796"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5158168d73cd871f212789365b698ab51ab16c90","datavalue":{"value":{"amount":"+0.6769223809242249","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":"Q943342$5830A537-4720-4E3C-B7FE-32CF1BBECA71","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fe79cae21d53e0d481c6acb42d5f5dbe6580df37","datavalue":{"value":{"entity-type":"item","numeric-id":1885036,"id":"Q1885036"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"71a5c7267c1d13147cde638b1872e357d7e22fa4","datavalue":{"value":{"amount":"+0.6679732203483582","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":"Q943342$04C63FDA-1191-4CDA-8B52-82FE7361101F","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"bee1ddd2bb542a0e64ca96574e4fab1bba361385","datavalue":{"value":{"entity-type":"item","numeric-id":57074,"id":"Q57074"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q943342$7CB00328-918A-48B2-A6BE-E92AF7BD9039","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Pairs, sets and sequences in first-order theories","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Pairs,_sets_and_sequences_in_first-order_theories"}}}}}