{"entities":{"Q5939842":{"pageid":8116644,"ns":120,"title":"Item:Q5939842","lastrevid":47645080,"modified":"2026-01-02T07:26:52Z","type":"item","id":"Q5939842","labels":{"en":{"language":"en","value":"Universes in explicit mathematics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1623315"}},"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":"Q5939842$BF1E7128-6150-4BE8-B777-8C45D297E171","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a74041301c683afc987b6004494dc5a75439bb7e","datavalue":{"value":{"text":"Universes in explicit mathematics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5939842$0AE032D5-7087-4903-A286-2CC5878009CF","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"164eff0e464cfb44d361071bff25ec79356505a4","datavalue":{"value":"0980.03061","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5939842$674AAC19-E436-4A39-ACED-857610CEFD9D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"91d69b3b23b08ddb44c4e00bac68dc8182fab828","datavalue":{"value":"10.1016/S0168-0072(00)00057-9","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5939842$B5E13162-7A9A-4BD3-B823-38771EAFE5B2","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"34cb696ce5008e0ad8b0b39e02b98fb8b38cd33a","datavalue":{"value":{"entity-type":"item","numeric-id":194997,"id":"Q194997"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5939842$ED4CD1D1-7D3E-455E-82F4-B62F7A0DD1A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d52212f331fdc13a9cc11beb0d62d5cf4d5a0cac","datavalue":{"value":{"entity-type":"item","numeric-id":194998,"id":"Q194998"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5939842$F36BF38A-0A4B-413A-AEB8-3A09B2CC8802","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"6a23089233c6f9a342152a9a3a402eea56cc40e3","datavalue":{"value":{"entity-type":"item","numeric-id":194999,"id":"Q194999"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5939842$18167BE2-66CF-473F-8257-4B984CD9BF93","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f91a4bcbc93435aed71775d25a4c5cd09e26f12d","datavalue":{"value":{"entity-type":"item","numeric-id":122505,"id":"Q122505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5939842$310DBD80-0A86-4EAF-A9B6-417FF9C51E71","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"fa76be71329d496ea48ff062925abe90ad740965","datavalue":{"value":{"time":"+2002-03-12T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5939842$A3F7630B-7A15-4045-BCD1-AA81A2DD0062","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"e5a9ddcfef477064bcaaf179121fdf3c5d566789","datavalue":{"value":{"entity-type":"item","numeric-id":175049,"id":"Q175049"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5939842$71F0D520-791D-4C8C-90F1-ECAED7686AEF","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"8612eb3fa5372f4e40168b827ed17a01cee8d8f6","datavalue":{"value":"03F50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5939842$306B149F-76B8-4387-887F-FC275A2E50D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d971f250f4b60bd91da7e9350568180af141e6af","datavalue":{"value":"03F03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5939842$80BD4A61-2485-4EF6-874A-933CD02386C6","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"67cd24aab2fdb40640607c6c225916df2d8786d6","datavalue":{"value":"1623315","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5939842$B8E420B7-9D09-45A5-AB75-828AD4599074","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6c8a26211c1e1179639fbc36e38d045ced879f5b","datavalue":{"value":"systems of explicit mathematics with universes","type":"string"},"datatype":"string"},"type":"statement","id":"Q5939842$356898A9-DF86-4553-BE28-4BA37EB07C14","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7c9d42b2a8e8f10bc0defb7ff4991bcf0f90417e","datavalue":{"value":"proof-theoretic strength","type":"string"},"datatype":"string"},"type":"statement","id":"Q5939842$C92E6E08-97AB-4148-9054-77D20145CAB8","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":"Q5939842$71B38BA0-C563-499E-BE9A-32ACB31DCE1F","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"1b2e1ab8d6c4a6ea4362f203e5137d4541ef80eb","datavalue":{"value":{"entity-type":"item","numeric-id":3679172,"id":"Q3679172"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5939842$9E729320-C2C9-4E6C-9477-BE1B98D2ED20","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b822b85db8677253a219ea1a385eddacb5927738","datavalue":{"value":{"entity-type":"item","numeric-id":1166517,"id":"Q1166517"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5939842$47D3844D-981B-418B-B8B5-1D3FA583E989","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fa6e3226a902ee885d70a522f6fe9d7be3f976b1","datavalue":{"value":{"entity-type":"item","numeric-id":4254638,"id":"Q4254638"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5939842$67AFDCF7-C889-4F96-B226-751163CF98DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b6ba5cb60305f0cfb124268216768625613546a4","datavalue":{"value":{"entity-type":"item","numeric-id":4047555,"id":"Q4047555"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5939842$B6A2A08C-0600-4E24-A91C-EF6DA5E1985F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"51fdc6e6c91c016e9985f506925ea38ed52ac667","datavalue":{"value":{"entity-type":"item","numeric-id":4128540,"id":"Q4128540"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5939842$131DCFED-6356-4759-A81A-DE012D3D1E50","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c165ff1f162c68d8c431ce2def1730099f39078b","datavalue":{"value":{"entity-type":"item","numeric-id":3671968,"id":"Q3671968"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5939842$BE313DB7-8F8F-4AA7-8C33-41BA1462EE3C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eb73f10ef06d2f95cf34fa3f9d1b79e97709c0d1","datavalue":{"value":{"entity-type":"item","numeric-id":1919537,"id":"Q1919537"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5939842$57DF9177-27CB-4EF1-8428-A808830E355D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"291c0aac3acd9b073e4d9b018d15a1f5e5feb77d","datavalue":{"value":{"entity-type":"item","numeric-id":3671967,"id":"Q3671967"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5939842$FF9F79A1-B360-4A3C-B1D2-A5E2A25B8328","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6009c28f52c9fce33675352f603d785f36063528","datavalue":{"value":{"entity-type":"item","numeric-id":3710526,"id":"Q3710526"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5939842$312D89F0-D668-4B91-AB7E-66E8752EB8EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c26764e82c9ce1a5fcfcc1bf552b3a6da2b17f4c","datavalue":{"value":{"entity-type":"item","numeric-id":3778746,"id":"Q3778746"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5939842$F41F1AFE-9B9A-4767-A8DA-8A93C8325406","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0bddfd3f8e536b6ab0d0bd4f995bbe1c29b7ff79","datavalue":{"value":{"entity-type":"item","numeric-id":3035279,"id":"Q3035279"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5939842$DA898434-0E0A-42B6-AF3F-CD698683ED70","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cf4e3a045fb18057576e3a052695370f915c6320","datavalue":{"value":{"entity-type":"item","numeric-id":4254619,"id":"Q4254619"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5939842$18300332-7500-40BC-88A2-6607326E7648","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"42bb7bb61202307db43d4802956efbc479572508","datavalue":{"value":{"entity-type":"item","numeric-id":2747729,"id":"Q2747729"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5939842$ECC09C52-3367-4707-B7FD-9A662D12AFF0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"92f9a19132225581d4e905536bc3c1bb59959768","datavalue":{"value":{"entity-type":"item","numeric-id":5957853,"id":"Q5957853"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5939842$05C16217-FA2A-4777-9E65-97E1D34948AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"30231638f192c286b70115b2e3fd3555aaf19714","datavalue":{"value":{"entity-type":"item","numeric-id":1976882,"id":"Q1976882"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5939842$E4460DE2-26D5-4A11-B4AA-EC4073ADDB5C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"39a101b6caaaca5560ce5dc7bef6c8b64ce7cfe2","datavalue":{"value":{"entity-type":"item","numeric-id":4283245,"id":"Q4283245"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5939842$CDCFA336-E15B-4A6D-9AC8-D5FEDFC51C91","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e1dceb578b78d6e9bede36222164db87e36a5ed7","datavalue":{"value":{"entity-type":"item","numeric-id":1267848,"id":"Q1267848"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5939842$EFED71E4-9791-427F-9B1B-F9AB8EB5B5A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a3f5182c5f84b08fd5162da8260189a7d667355c","datavalue":{"value":{"entity-type":"item","numeric-id":4247308,"id":"Q4247308"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5939842$104A9546-EB9A-4A65-970F-B0F181391FC8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"509f914c9bb02a5a157b793e56d4da4ee0369382","datavalue":{"value":{"entity-type":"item","numeric-id":1976875,"id":"Q1976875"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5939842$9179B01D-E411-404C-A6DA-928691F8A5D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4961374e6ddb708111e6f7dc9bd89efaafa073e9","datavalue":{"value":{"entity-type":"item","numeric-id":1295372,"id":"Q1295372"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5939842$14EA9440-5DCA-4A65-9BEA-1258C19D1C17","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ade6af8b14e3e35f4108a39f58b550626f0e8699","datavalue":{"value":{"entity-type":"item","numeric-id":4220572,"id":"Q4220572"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5939842$EAC4942E-A0EA-4D8C-9B5A-7950EF77EB8C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9ab695f6ca892767fcc28ad56cbfb6e401ee2f69","datavalue":{"value":{"entity-type":"item","numeric-id":4934569,"id":"Q4934569"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5939842$ECF67CBB-5BAC-49A5-B19A-5066D4E0D2C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2002e9228b023d08f49489031907fa50fb1b3491","datavalue":{"value":{"entity-type":"item","numeric-id":1188500,"id":"Q1188500"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5939842$B0643EED-8E8D-49D6-BF01-7C3F3F91DDF9","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"95e8db85ca130b51972254ef3bc4344db1a3b9e4","datavalue":{"value":"https://doi.org/10.1016/s0168-0072(00)00057-9","type":"string"},"datatype":"url"},"type":"statement","id":"Q5939842$B300E287-9952-4256-9170-F2240808415D","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"79a4458b48d6c9d087c0a60a4f05771b5ba109b1","datavalue":{"value":"W1973691337","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5939842$41E5DBBF-C830-429D-AE13-81594D4AF1C9","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"ee7d3c664128c9c72e8736164c76caeb13cc19c5","datavalue":{"value":"The paper investigates the proof-theoretic strength of systems of explicit mathematics (in the sense ot S. Feferman) with universes, i.e. collections of objects satisfying certain strong closure conditions. In the framework of explicit mathematics, a universe is a type \\(U\\) such that \\(U\\) is closed under elementary comprehension and join and all elements of \\(U\\) are so-called names.NEWLINENEWLINENEWLINEThe paper gives a comprehensive treatment of various aspects of universes in systems of explicit mathematics. In particular, limit axioms, least universes and name induction are studied. Various systems based on these principles are shown to have the same proof-theoretic strength as the well-known system \\(T_0\\) from \\textit{S. Feferman}'s pioneering paper ``A language and axioms for explicit mathematics'' [Lect. Notes Math. 450, 87-139 (1975; Zbl 0357.02029)].","type":"string"},"datatype":"string"},"type":"statement","id":"Q5939842$422260C6-E63A-427C-8D2F-03C3A954F397","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"45ac39f5da7b728237809db3a4cfec9fad35c828","datavalue":{"value":{"entity-type":"item","numeric-id":4283245,"id":"Q4283245"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"62a78ca50c0efd30ea430150f7d6170f964cda66","datavalue":{"value":{"amount":"+0.8343974351882935","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":"Q5939842$DE08CC99-0824-4A6B-95F1-9C8674F58236","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"684b7c875757f7a3f8d67e948801a2b163d9e953","datavalue":{"value":{"entity-type":"item","numeric-id":2566068,"id":"Q2566068"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"03f78275593bad81d132b062949ea8dccb095a1a","datavalue":{"value":{"amount":"+0.8317339420318604","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":"Q5939842$8B56AA1D-ED9F-44D7-B1D0-3DBB9B9DF105","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0a9e75076ffad3624ca16b5cd1803c8de8b10b75","datavalue":{"value":{"entity-type":"item","numeric-id":4934569,"id":"Q4934569"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3181d04e52e1a62abb7b79b5b47545cf97600f60","datavalue":{"value":{"amount":"+0.826583743095398","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":"Q5939842$6B237FBE-320B-4C56-B741-F9446283AC0D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dc95d172549729531d9450d12d5f17c6120f1500","datavalue":{"value":{"entity-type":"item","numeric-id":1407581,"id":"Q1407581"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3181d04e52e1a62abb7b79b5b47545cf97600f60","datavalue":{"value":{"amount":"+0.826583743095398","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":"Q5939842$FFA0D588-8651-4B7D-B2B5-62612F11DB79","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"14a92b24d89c12e4743a7835410c4dc4906b44ee","datavalue":{"value":{"entity-type":"item","numeric-id":1267848,"id":"Q1267848"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b7361838a0a83f1512c8a11a32e915bbc3601093","datavalue":{"value":{"amount":"+0.807623565196991","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":"Q5939842$511770C5-CA6D-45A9-9E13-07CC8E0A9182","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5939842","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5939842"}}}}}