{"entities":{"Q580337":{"pageid":582104,"ns":120,"title":"Item:Q580337","lastrevid":62921985,"modified":"2026-04-11T09:00:26Z","type":"item","id":"Q580337","labels":{"en":{"language":"en","value":"Simplified gap-2 morasses"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4016891"}},"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":"Q580337$1DF5D14D-83FE-43AA-B73A-8A861B55A68D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"7aede7c3f17cbc9858949830b10d4c00b4d6924d","datavalue":{"value":{"text":"Simplified gap-2 morasses","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q580337$96F65B79-579D-4430-89A2-FA5BE313B7D1","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"de715830d48a0072ae2533eb834b3db8d3195014","datavalue":{"value":"0626.03040","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q580337$8ED784C6-3579-4E6E-B3E2-EE8620D540BD","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d1490c7bd230123bd7d50866e02b6ff2387f3e16","datavalue":{"value":"10.1016/0168-0072(87)90070-4","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q580337$2E8D1013-1155-4101-94CC-1E969D91C720","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"4f04512752bd388c1669e85d18855173d2c51526","datavalue":{"value":{"entity-type":"item","numeric-id":580336,"id":"Q580336"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q580337$61F2D57B-401E-458D-8C2E-0BDE2B96D1AB","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":"Q580337$31D001D9-2A01-417F-8134-479222A10648","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":"Q580337$9B643DEC-D31E-427C-B670-FC8C2AD7E4EB","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"ba22100a80180e12cbdd6b6806c7726c69e91e03","datavalue":{"value":"In a previous paper [J. Symb. Logic 49, 257-271 (1984; Zbl 0575.03035)], the author inroduced a simplified version of gap-1 morasses and he has shown that applications of gap-1 morasses can generally be derived more easily using this simplified structure. In this paper, he extends these ideas to gap-2 morasses by defining a structure he calls a simplified gap-2 morass. In a simplified gap-1 morass whose height is a regular cardinal \\(\\kappa\\), the cardinal number \\(\\kappa^+\\) is built up in \\(\\kappa\\) steps from pieces of size less than \\(\\kappa\\). Analogously, a simplified gap-2 morass of height \\(\\kappa\\) describes a construction in which a simplified gap-1 morass of height \\(\\kappa^+\\) is built up in a similar way from small pieces. There are two main theorems in the paper. Firstly, the existence of a simplified gap-2 morass is shown to be consistent with ZFC. (This is proved with a two stage forcing argument.) Secondly, it is shown that simplified gap-2 morasses can be used to prove the gap-3 theorem of model theory.","type":"string"},"datatype":"string"},"type":"statement","id":"Q580337$266FEEA5-B45D-4FEF-92C8-3FCF60140254","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"da00c812255bd7f02dddc14c65a56e042cf0446e","datavalue":{"value":"03E05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q580337$9D767FCA-EFE8-4ECF-BD1F-EFB9CB940D8D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"933c6ba8322680c85da12d59920a0a8822c2db22","datavalue":{"value":"03E35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q580337$D5F4F05D-4A0D-4B0D-8E85-D3A3679DCAD3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"02488e89072b0171b77a6763967bb5c4ce8445c6","datavalue":{"value":"03C55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q580337$6CD999DD-4242-466B-AE67-052E124F96B0","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"873b297ff328f54e060489248086c64584adad32","datavalue":{"value":"4016891","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q580337$C886576D-9F9A-4E99-A9D8-794B910AABB9","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2fba24a8f79b0fd4b6744e8068d3a8176b425bfb","datavalue":{"value":"gap-2 morasses","type":"string"},"datatype":"string"},"type":"statement","id":"Q580337$29321E0E-0BF6-412C-9613-0474B3D13589","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c55b2abb8c9012b818e9a34dd4857b5fbc34aef7","datavalue":{"value":"simplified gap-2 morass","type":"string"},"datatype":"string"},"type":"statement","id":"Q580337$9DC01F71-DAC8-4D26-9C27-6FC0A08A3AF1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d5764ae85a6297f34e8db92bbe97cd34bb2f477a","datavalue":{"value":"gap-3 theorem of model theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q580337$DDCAB13D-EBA3-4E7D-92A3-1B5DFF7AE4DD","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"e895f7d767724f4ff7f1c864b815a28e2d8e0b38","datavalue":{"value":{"entity-type":"item","numeric-id":916652,"id":"Q916652"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q580337$3C5142E1-9E3D-4E7C-A668-4285037220AF","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":"Q580337$D0F2B40B-9484-4A0F-88FD-B677A7E91F1A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"83ac17a7db23ac68855120160b866d19349022fb","datavalue":{"value":"https://doi.org/10.1016/0168-0072(87)90070-4","type":"string"},"datatype":"url"},"type":"statement","id":"Q580337$F7A4228B-352B-4F77-BF3E-37640561B09C","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b34f8fbd91c546ba9429591e4ca33ed212f2ca1f","datavalue":{"value":"W1985455938","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q580337$0244F406-B132-4CE3-A709-795E4DDFE532","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"97e2a34a169a18a973ca7f46981627588ae7faa1","datavalue":{"value":{"entity-type":"item","numeric-id":5509679,"id":"Q5509679"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q580337$29DADF09-3902-435C-A31E-FAA5F3D8D690","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8445fda98519d0e345fda1cd87bfa24258646412","datavalue":{"value":{"entity-type":"item","numeric-id":3693524,"id":"Q3693524"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q580337$8DB1699B-7455-4D0B-B689-FF55CD87D095","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"91bcad747c709a89e6499e41128350399fd98207","datavalue":{"value":{"entity-type":"item","numeric-id":3693525,"id":"Q3693525"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q580337$D7E2A78C-1574-4000-AF18-A6445EDA58E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d8a9c8216c22a136232e3080e7029d19e4325325","datavalue":{"value":{"entity-type":"item","numeric-id":3221976,"id":"Q3221976"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q580337$8B599324-8C80-4519-AC0B-6FBA52C3DC8A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7f69484cfd761a5db4c88fdf2f6df411ccda29a7","datavalue":{"value":{"entity-type":"item","numeric-id":3693524,"id":"Q3693524"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a639b1f4fc9d0595b85e1e8f7aa7bd1d166da156","datavalue":{"value":{"amount":"+0.87088865","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":"Q580337$10777AAF-0ED0-4D15-A7D8-9F4AA2923374","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"062ea88fd43de108ab90dd5cccbb76e7826197aa","datavalue":{"value":{"entity-type":"item","numeric-id":3718702,"id":"Q3718702"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2ee939723f23209a40be177ac9bc7ebc6da2960f","datavalue":{"value":{"amount":"+0.82376575","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":"Q580337$BF65E17F-52FF-4B1A-8281-323039D7CEEC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"96fe11c033139be682cac1c9be8c64c08a9bb925","datavalue":{"value":{"entity-type":"item","numeric-id":3781095,"id":"Q3781095"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5e09d5330f57866d7d1c97c21e72a53b9de0b1eb","datavalue":{"value":{"amount":"+0.79478407","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":"Q580337$19C65501-44F4-494C-AA4B-23C753D58BCA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6ea8c2af1db71fee830f54be748698a284867eaa","datavalue":{"value":{"entity-type":"item","numeric-id":2754957,"id":"Q2754957"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b864f247ff5421030ee3262d99c6395bc9f2f0d1","datavalue":{"value":{"amount":"+0.7653047","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":"Q580337$5795B85B-CE2D-4F8B-9152-F94E2E92C361","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ab6a8ae461cb0a7058391f911187d7ef83308b5c","datavalue":{"value":{"entity-type":"item","numeric-id":3098513,"id":"Q3098513"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"034cd8655a569b243c1e9b3877adb29ef3336b7a","datavalue":{"value":{"amount":"+0.762288","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":"Q580337$43A6515A-1F32-4CAE-AB0A-086022F92A96","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6fc959913bc5dbdbd0adc72727379fca41621a97","datavalue":{"value":{"entity-type":"item","numeric-id":3693525,"id":"Q3693525"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"42da5400cc94620679df0b4ce7c5c640c99cd5dc","datavalue":{"value":{"amount":"+0.7596084","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":"Q580337$5E0F4451-F615-4C8B-9708-6A845386E20C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d0b2916185948a44a6ffbe43771bb324493ff543","datavalue":{"value":{"entity-type":"item","numeric-id":4227865,"id":"Q4227865"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5aeb69e8127da3a17955b763a87d254364d50504","datavalue":{"value":{"amount":"+0.75762606","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":"Q580337$463D0D84-67A3-44E2-B9A6-56EAD941546D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c88c39da6e44295b20f1c8e55a2e4c83a0441671","datavalue":{"value":{"entity-type":"item","numeric-id":4868097,"id":"Q4868097"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f9770e6d5dc5e2b1402c2bb21bcdf478a762e6ae","datavalue":{"value":{"amount":"+0.7284653","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":"Q580337$492F06C4-2C71-4A08-A1EF-7E5F19E3C44E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7455892c65c7e488e1b4417efb7d9c3c9e9e142d","datavalue":{"value":{"entity-type":"item","numeric-id":5288452,"id":"Q5288452"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"953bbe9c74e79a29b0e841731e3487d7da879e47","datavalue":{"value":{"amount":"+0.72531426","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":"Q580337$FB65C132-2C5A-40FA-A430-04CE9E23355A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"75b3d5cd80f3e45f1ac56c5a0d6242a45c36bb99","datavalue":{"value":{"entity-type":"item","numeric-id":3408359,"id":"Q3408359"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"00c0a4c98d5f1d4112f42616de5376f550da9333","datavalue":{"value":{"amount":"+0.71644664","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":"Q580337$D8A58560-B800-4CE5-8D1F-A8F8189BC692","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Simplified gap-2 morasses","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Simplified_gap-2_morasses"}}}}}