{"entities":{"Q3566942":{"pageid":5596846,"ns":120,"title":"Item:Q3566942","lastrevid":87582644,"modified":"2026-06-04T12:03:12Z","type":"item","id":"Q3566942","labels":{"en":{"language":"en","value":"A Galois correspondence for countable short recursively saturated models of PA"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5719682"}},"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":"Q3566942$203E8B98-F297-4E18-9994-953D095D4750","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"923aeb956e73b1a12f08abfa33e199a1f2eef199","datavalue":{"value":{"text":"A Galois correspondence for countable short recursively saturated models of PA","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3566942$5F6C3283-1571-42D2-B6CB-8FCE0BAA4652","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e4250304477dcfb539a974cb7d2126c364167652","datavalue":{"value":"1193.03063","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3566942$BA7514EB-CD7D-49CC-A674-121FAE607BBE","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"53ca5ffe2f5e535d0b049b74de8a8cf86ed47ff5","datavalue":{"value":{"entity-type":"item","numeric-id":246767,"id":"Q246767"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3566942$4CE423D7-20FE-4794-922E-D9933CD6B190","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7af1100b7fbaa31e618c4d49342e2fae8da143f3","datavalue":{"value":{"entity-type":"item","numeric-id":2793901,"id":"Q2793901"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3566942$97507D42-A91F-49F2-8C69-05747A3F10BB","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c5bafb51b0339693af2364c42e6b66349c9c2b95","datavalue":{"value":{"time":"+2010-06-10T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3566942$4D67EC99-86C2-45AD-B8C3-FF9EF1B9E92A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"31eb4b2fe460225d8220386b6d12b964cafd1ca3","datavalue":{"value":"03C62","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3566942$16FCADB9-9CDD-499D-A46B-8E201C301C17","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a569bf4870be07f10ad12f6bb7a3bb64d5e85b6f","datavalue":{"value":"5719682","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3566942$576D0B4D-E0E5-4ECC-8A36-D96852ABE363","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ffe18cc53ecec64bceba27523cd6c072a176f5bd","datavalue":{"value":"short recursive saturation","type":"string"},"datatype":"string"},"type":"statement","id":"Q3566942$A8A88E77-3E0C-4183-B675-0A90658B024B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d8db3395418ef97bd5a003e7dc8a17940fb14ddd","datavalue":{"value":"automorphism groups","type":"string"},"datatype":"string"},"type":"statement","id":"Q3566942$1F5EE0D0-EF2C-411A-A3D7-2F471E0221F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1dfbbda394f2d61f70cfd4f25deee5a64b35d3f0","datavalue":{"value":"models of PA","type":"string"},"datatype":"string"},"type":"statement","id":"Q3566942$8D7F8C08-F9AE-4DD4-8948-33EA486C4DBD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3decdda79258a34a033f612494b9ec2a80bd23c6","datavalue":{"value":"Galois correspondence","type":"string"},"datatype":"string"},"type":"statement","id":"Q3566942$C0E7B519-DFC9-4115-BB45-A183A19EC291","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":"Q3566942$FB23FCE6-9E44-44CB-894B-2F9DFBAD4664","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"9ef9638de31639e152621c000756dcafbc2b1655","datavalue":{"value":"https://doi.org/10.1002/malq.200810050","type":"string"},"datatype":"url"},"type":"statement","id":"Q3566942$BDDB205F-511D-4612-8A1E-82357195021D","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"501f0830f5baa7d89e614cc8c930cdaad16cc58a","datavalue":{"value":"W1978313769","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3566942$D797BFE9-E460-4F93-84DD-A9F354B97B40","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"24177d07bda2aea0e54a0aadcf93649545df2249","datavalue":{"value":{"entity-type":"item","numeric-id":4404878,"id":"Q4404878"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3566942$7F7ADEA7-2C59-4866-AF0E-A19C07B4D489","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3212018b4d2e7287610dffc608589666d837485b","datavalue":{"value":{"entity-type":"item","numeric-id":866555,"id":"Q866555"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3566942$8931BC3D-D843-473E-AD94-0117F6FFEA4D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9ecd81987eb2b3620646f2d151ff26bdb537b884","datavalue":{"value":{"entity-type":"item","numeric-id":4001935,"id":"Q4001935"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3566942$9B188D42-1F33-43B4-9B0D-0EC28A45B031","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8060801ad391f7740211f426015b68ee66d1ab85","datavalue":{"value":{"entity-type":"item","numeric-id":4309365,"id":"Q4309365"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3566942$10F02A87-6F2A-4540-BF4E-1CD99FF3F69A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"815608d91af37dadcdd307ac6ea19901cc19bc54","datavalue":{"value":{"entity-type":"item","numeric-id":1182432,"id":"Q1182432"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3566942$6601EE3C-D295-4BF4-8F3E-75CD2B90E43F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1d986ce75b088a24cc498f277cf7f71fe1798672","datavalue":{"value":{"entity-type":"item","numeric-id":4305611,"id":"Q4305611"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3566942$6ADAC771-34DF-4542-A129-80FAB1CB1197","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0445900aecd6fcb481704a431cc7bf16e84caa97","datavalue":{"value":{"entity-type":"item","numeric-id":3812219,"id":"Q3812219"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3566942$4226F880-55ED-4F25-BE20-113021FF00A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d61a6cf12694497929f198cea019bbaef0853c26","datavalue":{"value":{"entity-type":"item","numeric-id":3659779,"id":"Q3659779"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3566942$7354BBE7-1E52-4732-9CAE-4BE6839C45D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"113307d81600e88c068b525a517fd1ae8a494de6","datavalue":{"value":{"entity-type":"item","numeric-id":1314639,"id":"Q1314639"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3566942$32948DA5-D415-49E3-B3EF-8B03A66414DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"70b5bc034c0cb239d64c79592bb72d143dd245ee","datavalue":{"value":{"entity-type":"item","numeric-id":4864048,"id":"Q4864048"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3566942$58B4161B-6B06-475C-81DF-4D0C1CEA632A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"61c9e7069bd5bddd12844c15b7d134c0e326a682","datavalue":{"value":{"entity-type":"item","numeric-id":5484945,"id":"Q5484945"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3566942$B7B66352-668B-45DC-9E00-7E126B7AF7EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a3ae291f687eb48c1f388934f5ceb51585362b94","datavalue":{"value":{"entity-type":"item","numeric-id":4309364,"id":"Q4309364"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3566942$2448D8B4-90F0-4742-B9C6-8570EC9C1F0A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"55fb6fe4f6259204b2e01f5c3dccc3da7fc5339e","datavalue":{"value":{"entity-type":"item","numeric-id":5477630,"id":"Q5477630"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3566942$9E826993-A3E9-4988-BCC3-C11D04EB5B89","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0c7128c0d5a134047f8d0b543e194a0acff2516e","datavalue":{"value":{"entity-type":"item","numeric-id":2765571,"id":"Q2765571"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3566942$92C2DC3D-1FEC-4518-B927-90C93F9C51C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"befad9ab4b451f806dccccabb1e10c209b4cc0d1","datavalue":{"value":{"entity-type":"item","numeric-id":1049737,"id":"Q1049737"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3566942$12DDCE57-D295-4AD1-AF2A-0E4B864C042B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"24fb1ad7783dde45434a2eb68ead1c070f0fa1e2","datavalue":{"value":{"entity-type":"item","numeric-id":3342574,"id":"Q3342574"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3566942$3BCCB8DC-666D-44BF-85F2-F41EFAFF282A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"597a5ae35be430d8029e8a9231f589332615f73a","datavalue":{"value":"10.1002/MALQ.200810050","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3566942$0F05AD0F-1335-4061-B386-FF5E8357CD3E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d975e6b71b5a144afd6c2d9763c67cd3cce5a8db","datavalue":{"value":{"entity-type":"item","numeric-id":4309365,"id":"Q4309365"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"20e03b23fa0a578c1f6f33004e5918c6551201e9","datavalue":{"value":{"amount":"+0.94807094","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":"Q3566942$6E3B5AE0-622E-484F-9153-E9613860550C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"502cc0d594674bb8a6f4516f9915f06af7ef1768","datavalue":{"value":{"entity-type":"item","numeric-id":1049737,"id":"Q1049737"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"98a5c014f3530733ec231105a36a3f07e84e1a47","datavalue":{"value":{"amount":"+0.91888046","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":"Q3566942$A8033852-7588-4BC8-8DF6-60AD95DA66A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f731b0a6d2be2fe8a661b72ec87102218c697f46","datavalue":{"value":{"entity-type":"item","numeric-id":1913626,"id":"Q1913626"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"366903eb95e98578f0ef4dde06515b7bf919ebd1","datavalue":{"value":{"amount":"+0.904284","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":"Q3566942$EC7C5425-8023-41B1-B141-786CD3C527A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e186c85b9a2124e7741ee4560ede255b563955dc","datavalue":{"value":{"entity-type":"item","numeric-id":3988261,"id":"Q3988261"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f021fb8c2d18fc68729d7d96e8373d1e533e71ee","datavalue":{"value":{"amount":"+0.89869374","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":"Q3566942$3644B4EA-0B45-4F10-AE31-7128BD635579","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"61c2f30d1fdcd24c141f0b7934bbb1388e3e1037","datavalue":{"value":{"entity-type":"item","numeric-id":1354336,"id":"Q1354336"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4f9f5f45732215780eaa5947069bb43c27b8f4f9","datavalue":{"value":{"amount":"+0.890902","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":"Q3566942$82412CD3-0AB1-4313-878C-B4DAF3EB4C28","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"939c6303eb92050447e6492f4533377afa714c53","datavalue":{"value":{"entity-type":"item","numeric-id":4323838,"id":"Q4323838"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"78756563a63fc9b2c1f5eb121c556694df66cee4","datavalue":{"value":{"amount":"+0.8791494","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":"Q3566942$398CA766-0863-4B71-A381-BEA20C69BA17","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d90b179cfedcdda0cab4e1deae590cdc1a23dda9","datavalue":{"value":{"entity-type":"item","numeric-id":4656807,"id":"Q4656807"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b45733346ce2c4c054d4026c390ce016a9ee631c","datavalue":{"value":{"amount":"+0.87192076","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":"Q3566942$8805261F-5E5A-473D-A98D-DC1A3DE1E6CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"21179e9b4c1d914767ad67e2369caef669097f3b","datavalue":{"value":{"entity-type":"item","numeric-id":3812219,"id":"Q3812219"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"563de3af96a6b56ac7ff640493185efa3feb5889","datavalue":{"value":{"amount":"+0.87124413","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":"Q3566942$1B6B87CD-B9EF-41E1-A356-A8CCA16F62D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"315e412e466887f81d4892ddd3987d7787335322","datavalue":{"value":{"entity-type":"item","numeric-id":4366132,"id":"Q4366132"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d9f030092123b43300c44eaaeee45f1ece8ce9d0","datavalue":{"value":{"amount":"+0.869989","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":"Q3566942$6501E238-4CF7-4388-A133-85FAFF91A0F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4e0e3dfcc2c39bc1e6a912ca09983163af989691","datavalue":{"value":{"entity-type":"item","numeric-id":1314639,"id":"Q1314639"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"42fd2815ba4b97dba36495ce009c8828b8d7004b","datavalue":{"value":{"amount":"+0.8682764","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":"Q3566942$5CB54D93-56F8-4BA2-8F52-6AB4DFB9219A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A Galois correspondence for countable short recursively saturated models of PA","badges":[]}}}}}