{"entities":{"Q1109768":{"pageid":1120517,"ns":120,"title":"Item:Q1109768","lastrevid":42885751,"modified":"2025-07-15T17:33:31Z","type":"item","id":"Q1109768","labels":{"en":{"language":"en","value":"Ordinal notations based on a hierarchy of inaccessible cardinals"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4070890"}},"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":"Q1109768$65480B78-368C-445C-B320-75276D78EC30","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"710af6d8ee46826872b790787c13f4f221268fd0","datavalue":{"value":{"text":"Ordinal notations based on a hierarchy of inaccessible cardinals","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1109768$2E27AA78-D56D-4068-8E0E-5CA082F32F28","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8189ee37a3b5e4ef31aab50cc74f5c1207e1e14b","datavalue":{"value":"0656.03038","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1109768$88185659-308B-4F79-8106-C3080CC8E38C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"cefa5aee1d275ff84a9d11f8a05d5cc0f32190eb","datavalue":{"value":"10.1016/0168-0072(87)90079-0","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1109768$94C01821-D0BE-4F8C-9FDE-C4122D5CE61F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e7d812a44ed5e9f8a21598ffd5bf10ce573aa596","datavalue":{"value":{"entity-type":"item","numeric-id":930617,"id":"Q930617"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1109768$BF22FCDE-6535-4E6C-BCF2-9BAECAB87EFA","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":"Q1109768$5811A69B-83BE-4AE5-8ABE-12AEEFE755C7","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5ae48c61eed19d1e1e1f33f9255d5b329362d064","datavalue":{"value":{"time":"+1987-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":"Q1109768$F671DAFB-D8F9-4825-BF88-38C1C9896F3C","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"bba80057c57663861eb65360a2529d4a0eff1166","datavalue":{"value":"The author generalizes results on notation systems of \\textit{K. Sch\u00fctte} [Proof theory (1977; Zbl 0367.02012)] and \\textit{W. Buchholz} [Lect. Notes Math. 500, 4-25 (1975; Zbl 0342.02021)], and obtains, via so-called Skolem hulls and 2-place functions from the ordinals into the inaccessible cardinals, a new ordinal notation system. This research was motivated by the fact that \\((\\Delta^ 1_ 2-CA)+BI\\) has a model at the first recursively inaccessible ordinal in the constructible hierarchy.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1109768$B12B9240-AB4E-4485-A6FE-B7FC140BF3F5","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"23ceee6d3c7c93830578b552513a944677a835cb","datavalue":{"value":"03F15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1109768$D6D1C233-A866-47E7-BA6E-E494D03CA119","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"795990ebcca261325cfbfac9f453390663a5c780","datavalue":{"value":"4070890","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1109768$F031B89E-57CE-4709-AEEE-BB3EBEE2B581","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d98138ac4a4265b0aa96fc2621a71fcf631cb0ed","datavalue":{"value":"Skolem hulls","type":"string"},"datatype":"string"},"type":"statement","id":"Q1109768$03A69DC0-29D6-44C6-AFE9-B615D7E21FA5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c0e1d3fd90144d6a82eeafe3352992a8ee833e42","datavalue":{"value":"inaccessible cardinals","type":"string"},"datatype":"string"},"type":"statement","id":"Q1109768$16F17347-CCF5-4573-A8C0-7563B2DC69C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"875f4722c488b3dd9924712f6ea14fa985bcb55b","datavalue":{"value":"ordinal notation system","type":"string"},"datatype":"string"},"type":"statement","id":"Q1109768$854A0B38-A3B9-4E24-8CE7-A992F6497624","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"059950cd979dad3c2892ce2bb148a5f3e7d8e364","datavalue":{"value":"recursively inaccessible ordinal","type":"string"},"datatype":"string"},"type":"statement","id":"Q1109768$0AEEAAC3-3BE7-4D3E-97A1-5C647B7159F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"08d6e710213cdbb7e0397bc78b0e0097cd00bc70","datavalue":{"value":"constructible hierarchy","type":"string"},"datatype":"string"},"type":"statement","id":"Q1109768$4D8A8A21-4B3D-4556-8F57-3F6070410957","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":"Q1109768$4441A2BA-5F73-4C80-AF6E-597CD5A93500","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"36d38ba500f2dee38ad3232ebfd70701cc91deda","datavalue":{"value":"https://doi.org/10.1016/0168-0072(87)90079-0","type":"string"},"datatype":"url"},"type":"statement","id":"Q1109768$38383DB8-5F57-4A46-AA6F-8986E137D366","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"9f5f8a1be832c1aaf1c53db694cc4e42dd6ea259","datavalue":{"value":"W2046420469","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1109768$85518625-8311-44CF-9A56-73D2721F5E22","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"e065643d50abd5b84483003e456d4556e6495178","datavalue":{"value":{"entity-type":"item","numeric-id":4067070,"id":"Q4067070"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1109768$7194CA14-8380-453B-AB37-C539E50CDFE7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d231028a06b9247fe4eceef543855a118cf2b5f1","datavalue":{"value":{"entity-type":"item","numeric-id":4109654,"id":"Q4109654"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1109768$291C5940-40A9-4F12-84FD-F59CF13F441F","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":"Q1109768$B696B0B7-8F8C-43F4-A0D4-CF832B5B4505","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"397e4e2ee65292a376a8df287bc918d9ec760e88","datavalue":{"value":{"entity-type":"item","numeric-id":4749835,"id":"Q4749835"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1109768$E08A8E72-47A4-4A3B-91DE-7A8CAA53583A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"499a95bca207fbf8c7061b1c293c572cca9800de","datavalue":{"value":{"entity-type":"item","numeric-id":3041187,"id":"Q3041187"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1109768$F31BDC02-E2DF-4A3D-952F-0C12788FB510","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0c51450d884b7db77c14a0ec5b7db228e4f4a3b8","datavalue":{"value":{"entity-type":"item","numeric-id":3335775,"id":"Q3335775"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1109768$C7F33597-99FD-42DB-8658-3DF3FAAC3472","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b7c3e6815cd921fc7767de9db6783bde242a686c","datavalue":{"value":{"entity-type":"item","numeric-id":4143279,"id":"Q4143279"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1109768$24270C39-978B-473D-BDF4-5833FD52A59F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dbbe010b804df7cb6804c79e100d84689cde3255","datavalue":{"value":{"entity-type":"item","numeric-id":920986,"id":"Q920986"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5d09c9c35a30232268656ed221fa17678fed804f","datavalue":{"value":{"amount":"+0.9121573","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1109768$9AC998AB-87EC-4757-BC0C-93148FBBA832","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5dff0ffa6e6db2858cfa7d85cd70e674aa15be03","datavalue":{"value":{"entity-type":"item","numeric-id":1861331,"id":"Q1861331"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7f1d6ea76f733b71489ef985967df607ba83d83e","datavalue":{"value":{"amount":"+0.8914901","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1109768$A5822597-E31F-4F13-9E68-BABD22D53614","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b81976765349e7230ab169de2707b7e9579b439e","datavalue":{"value":{"entity-type":"item","numeric-id":3335775,"id":"Q3335775"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a6bcd66e993f9c2969a9a631c6ec8eadbdcd307b","datavalue":{"value":{"amount":"+0.8867921","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1109768$1B4EA5C1-29E6-4A1B-A35D-2AEC782829EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fe0557296652a5869405687fd1781a1a5fae1d8c","datavalue":{"value":{"entity-type":"item","numeric-id":4295245,"id":"Q4295245"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b88e63cb358146fa1cd9f4810bcf146646dacfff","datavalue":{"value":{"amount":"+0.8844275","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1109768$B7C55E12-6EEA-4366-B9B4-D3AFFE4C135F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1371f04ca2718ec03ed79affb3cd754884c6ef34","datavalue":{"value":{"entity-type":"item","numeric-id":5613934,"id":"Q5613934"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"128b003ba316c04df8e817436fe6a9eca2391b6a","datavalue":{"value":{"amount":"+0.8804001","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1109768$48ED84C2-E0E9-4110-A0FF-18A44A815C60","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"11d82720b3754a42f639997350af9a4237b3f4d8","datavalue":{"value":{"entity-type":"item","numeric-id":4304133,"id":"Q4304133"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e502932fce9944d088421e2d15916d93bfcfca7b","datavalue":{"value":{"amount":"+0.8767462","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1109768$B94F0AC3-D046-4024-BCD4-8A31B8429D3A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2e121b9858b7a1ae37942b78943b8cf6dceeb0d3","datavalue":{"value":{"entity-type":"item","numeric-id":3441435,"id":"Q3441435"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2903d2bbf5be443b7b2939ae0352aa276a45d131","datavalue":{"value":{"amount":"+0.8737059","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1109768$F7BF77CA-A457-44A1-8387-51E0DC12C629","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c597c0fa216fe6f4b4f0b28147bde9d063cf8fab","datavalue":{"value":{"entity-type":"item","numeric-id":1659547,"id":"Q1659547"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7aaeb31be56c8b177a8a23c5e118d4f5a59543a2","datavalue":{"value":{"amount":"+0.87351155","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1109768$4ABDA26B-E9A1-43AB-9C5B-753F49A86C61","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d22cb3289d169bbc3d431179ebc7205f0d361af0","datavalue":{"value":{"entity-type":"item","numeric-id":5694296,"id":"Q5694296"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"667ac5da5a223d37fb864a41f8a940d63b5952dd","datavalue":{"value":{"amount":"+0.8708359","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1109768$F2DB9FDC-DEF2-4F66-871D-583F7756DF8C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c4ba64a134c73ba1c26d868b67e3171b9ad47cb2","datavalue":{"value":{"entity-type":"item","numeric-id":3984421,"id":"Q3984421"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"50e98dcab321351c83ac67839295b4c796f64fe6","datavalue":{"value":{"amount":"+0.865603","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1109768$B969B6C2-B50A-46C0-801E-5653367D32A9","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1109768","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1109768"}}}}}