{"entities":{"Q998319":{"pageid":1000167,"ns":120,"title":"Item:Q998319","lastrevid":65827839,"modified":"2026-04-12T05:38:28Z","type":"item","id":"Q998319","labels":{"en":{"language":"en","value":"A standard model of Peano arithmetic with no conservative elementary extension"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5499730"}},"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":"Q998319$95D66F91-8381-4476-921C-8B0E459EC49D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"6f16d3485a099632f2613faf6ea0c63429f106f1","datavalue":{"value":{"text":"A standard model of Peano arithmetic with no conservative elementary extension","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q998319$2926D6C2-1F69-4DE9-95C4-2C805B3B3D28","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4831d489600f24c318caa9badb196de76667b363","datavalue":{"value":"1156.03035","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q998319$15CB4FFA-A34C-49C2-BBA4-14048656AA88","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d91baa7b851119daffbdb37a964d70bc49dc7e61","datavalue":{"value":{"entity-type":"item","numeric-id":204231,"id":"Q204231"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q998319$DFF2186D-914B-4A35-B6BF-5CD1A35FECB6","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":"Q998319$5E456ADB-7ADC-4C14-B723-397C2F6105F8","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"770c4d910c97da4ff20bd341646b3183fc682988","datavalue":{"value":{"time":"+2009-01-28T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q998319$65F6167A-C8AD-4EAF-A4DA-B00A1DE61144","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"9b90fdc341a7508f56358a430fe58a001fcf18a3","datavalue":{"value":"If \\(L\\) is a first-order language, then PA\\((L)\\) is the result of adding to the Peano axioms all the instances of the induction schema for \\(L\\)-formulas. It is well-known that, for countable \\(L\\), all models of PA\\((L)\\) have conservative elementary end extensions. In ``A model of Peano arithmetic with no elementary end extension'' [J. Symb. Log. 43, 563--567 (1978; Zbl 0388.03029)], \\textit{G. Mills} constructed a nonstandard model of PA\\((L)\\) for an \\(L\\) of cardinality \\(\\aleph_1\\), with no elementary end extension. This left open the question whether the standard model could have an expansion without a conservative elementary extension. Enayat gives a very interesting construction of such a model by first translating the question into one about existence of nonprincipal ultrafilters in the powerset of \\(\\omega\\) in models of ZFC\\(^-+V=H(\\aleph_1)\\), and then by applying \\(\\diamondsuit_{\\aleph_1}\\) to get such a model without ultrafilters. Shelah's \\(\\diamondsuit_{\\aleph_1}\\) elimination technique is then used to get the result in ZFC. The theorem and the technique of its proof yield two other important corollaries. Kirby and Paris showed that if \\(I\\) is a strong cut in a countable model \\(M\\models \\text{PA}\\), then \\(M\\) has an elementary extension \\(N\\) inserting new elements right above \\(I\\) (and none inside \\(I\\)) and such that every subset of \\(I\\) coded in \\(N\\) is already coded in \\(M\\). Enayat shows in Theorem B that the assumption that \\(M\\) is countable is essential. In Theorem C he gives an example of a model of PA\\((L)\\) with no elementary end extension which is different from the one constructed by Mills. Answering a question of Gitman and Hamkins, he also gives an example of an uncountable arithmetically closed Scott set such that the forcing notion associated with it is not proper (it actually collapses \\(\\aleph_1\\)). The paper concludes with a list of attractive open problems.","type":"string"},"datatype":"string"},"type":"statement","id":"Q998319$27F408FB-2526-41C3-94CD-F6847EF584BB","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"cc2fe705c7d582d4c8ad19b50ec74a3e6e0c8ae1","datavalue":{"value":{"entity-type":"item","numeric-id":384285,"id":"Q384285"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q998319$08EC88EB-E11B-46EB-B45C-18C63685C94B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"31eb4b2fe460225d8220386b6d12b964cafd1ca3","datavalue":{"value":"03C62","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q998319$83DE5A0B-83AD-4D68-BCEF-C76FD030F409","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"02488e89072b0171b77a6763967bb5c4ce8445c6","datavalue":{"value":"03C55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q998319$3CE190F9-38C8-4CE2-B2B2-EA85173B0FB5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c1d2d83da0d870574277144fdd1db9abaae162ec","datavalue":{"value":"03C40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q998319$B54041FB-4C75-40A8-8B47-B75D172220F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c15287dbb142f8dc10ab92a91b8457ac3c169cd3","datavalue":{"value":"03F30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q998319$CAABA44F-CE14-46A5-9DA2-3AB421C7B43F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4cb4544bfd0397cd4a315ee326499c372f013de5","datavalue":{"value":"03F35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q998319$5EBDF224-E4DF-47E0-921A-1A7AC4AE02D8","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"78f5be4c77b01561d5816fdaf21dc15135f13d1d","datavalue":{"value":"5499730","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q998319$869EAC9D-869A-4905-8720-ACEB5CEF5C88","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"86883f625eb9ea1d0f9d5e4e00110dbc1e213e44","datavalue":{"value":"conservative extension","type":"string"},"datatype":"string"},"type":"statement","id":"Q998319$B6A4FC46-42AC-4954-B112-84D5D0D3B41E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7090cb2b2cefa03cee6b50a67ca057c086ad0f00","datavalue":{"value":"Peano arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q998319$D0F82163-B523-4AE6-88D0-08A4C34941ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e928ef71c0e7c501fd4e474de74400a15fc3e89d","datavalue":{"value":"second-order arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q998319$6B71FA69-DE11-4AF1-A255-01C4F614D1AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c935625d3f6e4200b7f4a806b54c9ac19fef216f","datavalue":{"value":"proper forcing","type":"string"},"datatype":"string"},"type":"statement","id":"Q998319$B7C22CF1-49DA-4CCE-B639-44D6509CB506","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"90863a89d4ab23fbd44e40f94ea63f8b9795fce3","datavalue":{"value":"elementary end extensions","type":"string"},"datatype":"string"},"type":"statement","id":"Q998319$B8E1D764-16C7-4BFD-ACAA-170C91848BDC","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":"Q998319$B9C8946E-B48A-4237-846B-D1D12C037BF2","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"44d3c4d4a4e073fc110015adbb8487901661e632","datavalue":{"value":"https://doi.org/10.1016/j.apal.2008.07.005","type":"string"},"datatype":"url"},"type":"statement","id":"Q998319$0F063547-C1A6-47E2-8BC4-723F5F893683","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"5b4ada932c2367b3d51482c867ae818a344ac668","datavalue":{"value":"W2091858051","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q998319$DF8B256C-6E75-4DEC-A238-FF607FDFE1B6","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"bcbdc1043fc13b992f30957526cbc4e036fc5e51","datavalue":{"value":{"entity-type":"item","numeric-id":5609368,"id":"Q5609368"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q998319$EEC84DB1-3630-4151-8F88-6D7FD1247CE5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"39fd840efad3604a3cc05b243c1fe6ec80b0ebf6","datavalue":{"value":{"entity-type":"item","numeric-id":3900068,"id":"Q3900068"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q998319$B3544A84-3AE0-468A-87F5-78C918A57D13","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bbd46e00e025849b54a0892b5e385ef0d563478f","datavalue":{"value":{"entity-type":"item","numeric-id":1393228,"id":"Q1393228"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q998319$CA8A042B-B5BC-4E7A-9BE7-A87B93FE2E0C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fa1b421ce158e0c80a0fd32fd98a5e50f6a5d609","datavalue":{"value":{"entity-type":"item","numeric-id":5393634,"id":"Q5393634"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q998319$1A11066C-E2A9-45AB-8FA6-BC2E6C56BBE7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0d3c32a4fb9a3f04d796d08c0ab22ff4b2032544","datavalue":{"value":{"entity-type":"item","numeric-id":4096940,"id":"Q4096940"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q998319$7B562386-4014-48CB-9C45-11DD48719FC4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8d14bd8350faf2ea70b276c96d24204c39352c83","datavalue":{"value":{"entity-type":"item","numeric-id":3617365,"id":"Q3617365"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q998319$B09CC882-0FE3-48F2-8770-BA4FFFDF65F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3f26bfd5f925a623cfb1eec360c3c78276804f06","datavalue":{"value":{"entity-type":"item","numeric-id":3852172,"id":"Q3852172"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q998319$819C6D9D-64BE-46C6-849B-282A393B678C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d094261f813d81e36506f104311f1b7271cb7377","datavalue":{"value":{"entity-type":"item","numeric-id":5903226,"id":"Q5903226"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q998319$53C3B657-8921-4D81-90FC-545DB6E0709D","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":"Q998319$F55CE019-60D4-4DA0-AA8E-E586784A816D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6de2e97cfd28ea719ced4227f556878363f58d68","datavalue":{"value":{"entity-type":"item","numeric-id":5606563,"id":"Q5606563"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q998319$632775CF-20F9-4F2E-8BB3-F52699D0AADC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7d1739c2b55475dfd43cc45c16cc81ebdb6214ea","datavalue":{"value":{"entity-type":"item","numeric-id":2547549,"id":"Q2547549"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q998319$EF8183E1-B8ED-4773-B86C-307984DFB8C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a2ebb66943c5c1b84802492bc318f882353c1e93","datavalue":{"value":{"entity-type":"item","numeric-id":4085723,"id":"Q4085723"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q998319$92C4C549-22B8-45AB-8987-E33FEF29FB38","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fb90491f37f6e1f00a16f9148a7c15690ed9f9d0","datavalue":{"value":{"entity-type":"item","numeric-id":1058509,"id":"Q1058509"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q998319$9FD746BC-95CA-4C93-BD58-01B1FCAD6CBC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dc655957845557e913551b1da587d1754bae13ac","datavalue":{"value":{"entity-type":"item","numeric-id":4138726,"id":"Q4138726"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q998319$5E233901-DD31-4A37-9D56-894F90E7955A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"031b3f7b2d13b0c9cb47802027ec4c59c6046e4e","datavalue":{"value":{"entity-type":"item","numeric-id":3666851,"id":"Q3666851"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q998319$31984547-4F55-45C3-A8F9-38A5F01F0E81","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":"Q998319$A7C59559-1D01-44E6-8992-024D7F42A747","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"65c8c8ed706a86d97db05d5b778c49fb79be8a30","datavalue":{"value":{"entity-type":"item","numeric-id":1144013,"id":"Q1144013"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q998319$385958FE-F87A-4ED0-97AC-EB56064F2EF0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bd1588076bb08a7bfdcfc8b766d1722251e381fa","datavalue":{"value":{"entity-type":"item","numeric-id":4168613,"id":"Q4168613"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q998319$87EB1835-1DBD-42FA-92DD-AABD0830937B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"22d3acf4e1b92b7cf374e5b6d56a1225e7c2f85c","datavalue":{"value":{"entity-type":"item","numeric-id":4163206,"id":"Q4163206"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q998319$90F49EA1-3A1F-423F-A645-8F2A61214289","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1c8baee2c87fc4a4060c91277ea6386c69eb55f1","datavalue":{"value":{"entity-type":"item","numeric-id":3889028,"id":"Q3889028"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q998319$ED418AA6-7790-4807-B45A-E8F4F658F7E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b21c9b956421e500f07745e34a28f7020cf154a8","datavalue":{"value":{"entity-type":"item","numeric-id":5915450,"id":"Q5915450"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q998319$C10F1820-6988-45EC-BA3C-24B710ACD283","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d8f56c47bfb5e73f38c450fc9d4e062064c197b7","datavalue":{"value":{"entity-type":"item","numeric-id":5596777,"id":"Q5596777"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q998319$166E2598-910C-48A1-B44C-F5262A0BB073","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fe86ef0923819a89ae51112b08ce173082dc0fe4","datavalue":{"value":{"entity-type":"item","numeric-id":4163512,"id":"Q4163512"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q998319$ACD62F53-0D23-4A35-A4B7-608FC101C6DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9b115417da4596f984d442e9c11bba2cc074d3bf","datavalue":{"value":{"entity-type":"item","numeric-id":4375363,"id":"Q4375363"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q998319$DF8E9ABC-C4C5-4C3F-92D8-73E1254869E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cbf1ff4f07f350446a9a683087b0d8e5c56219ae","datavalue":{"value":{"entity-type":"item","numeric-id":649610,"id":"Q649610"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q998319$AF2C66E3-C0D7-491B-BDD3-5FBD03A436A1","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":"Q998319$B0FCA02E-906A-4354-81EA-15AF665E7EB0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e7602444df7615cca65f103f55996e5f1293df10","datavalue":{"value":{"entity-type":"item","numeric-id":3216650,"id":"Q3216650"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q998319$1AA3D3AA-B63C-43FD-88E9-02D40A17D3A3","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"13acbc4f8ef053e088891ebdf70f646096fb8333","datavalue":{"value":"10.1016/J.APAL.2008.07.005","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q998319$70841DDD-0B1B-4C36-A956-ABE9B0AD8F10","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3d209103d79d7ea925e672d36e35bae04557841f","datavalue":{"value":{"entity-type":"item","numeric-id":3170555,"id":"Q3170555"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e4e0779eb837de3a672eb638a56e007d362176be","datavalue":{"value":{"amount":"+0.8299371004104614","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":"Q998319$969B1EE6-CEB1-462E-AEE5-D6E32AAC658A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"66d1f0602b5110332c775811cdf5b3021a54ed58","datavalue":{"value":{"entity-type":"item","numeric-id":701750,"id":"Q701750"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2e1c958d77aa6e1ffdf50132b8596d059e33882b","datavalue":{"value":{"amount":"+0.8246013522148132","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":"Q998319$C171226B-D8A4-473E-BBF5-1DC05C5E22E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bbe9f21f99f3dd8f2eb2740974d670332eb5f06d","datavalue":{"value":{"entity-type":"item","numeric-id":4647109,"id":"Q4647109"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8a0bfd7eb307a3b68dd0bdbd439e9d42aaf15be5","datavalue":{"value":{"amount":"+0.8157953023910522","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":"Q998319$525C8FDD-02FE-49C7-8E69-DB06D3FC7E16","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d68012ce52c0c3efadf4ed419259613d4bca00c5","datavalue":{"value":{"entity-type":"item","numeric-id":1203781,"id":"Q1203781"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ac23fd3bddaf64371879a8e605e40ba3cf786969","datavalue":{"value":{"amount":"+0.7950194478034973","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":"Q998319$81220EE2-A11F-4F85-A1DC-EDCE58D07F70","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"673cd44da59237ffbe9d8d924e3e00c2524b189c","datavalue":{"value":{"entity-type":"item","numeric-id":5379655,"id":"Q5379655"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eaa714e719b65dbbb231398f8225b814b429fc61","datavalue":{"value":{"amount":"+0.7845238447189331","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":"Q998319$F99BCC08-1C9D-4245-9D47-6AB062524C0F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A standard model of Peano arithmetic with no conservative elementary extension","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_standard_model_of_Peano_arithmetic_with_no_conservative_elementary_extension"}}}}}