{"entities":{"Q1913627":{"pageid":1924369,"ns":120,"title":"Item:Q1913627","lastrevid":71800926,"modified":"2026-04-14T00:37:49Z","type":"item","id":"Q1913627","labels":{"en":{"language":"en","value":"Four problems concerning recursively saturated models of arithmetic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 881254"}},"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":"Q1913627$78327EB5-3ECD-4138-B204-84A3EEDB6FF2","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f9945277093670bf5ad7f0ec62b960a2de988de6","datavalue":{"value":{"text":"Four problems concerning recursively saturated models of arithmetic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1913627$DDFEC6B2-00FF-479E-8631-96A6DDE95B1A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"10c3a5eab1ff065d720d584cb13bbec6640635a9","datavalue":{"value":"0848.03016","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1913627$348EAE13-CB5D-4134-BC0F-BA2263E7C258","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6325d9f59cde8ebbdb24a9f950cab3fcef3decf6","datavalue":{"value":{"entity-type":"item","numeric-id":190248,"id":"Q190248"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1913627$97894129-5363-468F-A35C-6C6A9C5FC4D4","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5292ab516e4ffbacaf8b2cbb34f3460bc6d7ebd8","datavalue":{"value":{"time":"+1996-05-22T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1913627$48C941AC-CEAE-491F-A097-8D174396AE35","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"40736ae6df9b2a4f27235118927e2185fdfbb87d","datavalue":{"value":"The paper presents four open problems. One concerns a possible converse to Tarski's undefinability of truth theorem, and is of general character. The other three are more specific. The questions are about some special \\(\\omega_1\\)-like models, initial segments of countable recursively saturated models of PA, and about extendability of automorphisms. In each case a partial answer is given. All partial solutions are based on applications of inductive satisfaction classes.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1913627$BEE89666-54EA-4088-9725-2D92AC46C0E0","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"31eb4b2fe460225d8220386b6d12b964cafd1ca3","datavalue":{"value":"03C62","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1913627$C8EB44FD-92D6-42CD-8554-B353E01890FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e4acb947bbb93aef022d2652e8dc30ed364d53d7","datavalue":{"value":"03C50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1913627$CDFDE56C-6E85-4BE5-89EE-BE1E3FA6EF77","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"160ecc011fe559aa29ba9e5e4284f663205bd3c2","datavalue":{"value":"881254","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1913627$2732AF67-6463-4305-95DB-C6E5997EA89B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7090cb2b2cefa03cee6b50a67ca057c086ad0f00","datavalue":{"value":"Peano arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1913627$4B2A211B-4C11-4299-A53F-5806165316AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"71ec59c5b1bb9e4cd77cc696b9efa6551305dac4","datavalue":{"value":"recursive saturation","type":"string"},"datatype":"string"},"type":"statement","id":"Q1913627$832EFCBC-04C4-4CDE-8CDD-06152BE9405D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7eb1201819afdcbae4b07b7df090e86908fc1e15","datavalue":{"value":"open problems","type":"string"},"datatype":"string"},"type":"statement","id":"Q1913627$7A1E39ED-0A35-479B-AAB3-3BDBE29CEA13","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8ea3e7dc8f659b306cbb9b11a98937ecedff1520","datavalue":{"value":"recursively saturated models of PA","type":"string"},"datatype":"string"},"type":"statement","id":"Q1913627$449FB6CA-800E-435E-9776-E92BF30D2FE0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2cd427fc2e6a0cc3af77e6bce7a79a1030c38b02","datavalue":{"value":"extendability of automorphisms","type":"string"},"datatype":"string"},"type":"statement","id":"Q1913627$258BBBEA-1A3F-426C-91CB-C5B01124B1CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c367a020fa0015f6c4a3d55f8cd6aeb94089e6f5","datavalue":{"value":"inductive satisfaction classes","type":"string"},"datatype":"string"},"type":"statement","id":"Q1913627$7100B443-A784-44C7-8DCD-06FE3AB1BA80","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2b670107d49e5cfb9b0abb2ab2d53889e002f633","datavalue":{"value":{"entity-type":"item","numeric-id":384285,"id":"Q384285"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1913627$E35069D3-551F-40DB-ABB5-71BC6A46DE3E","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":"Q1913627$BA6ED881-41A7-426C-B54D-FA4A8B0D594D","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":"Q1913627$39CFB14B-DA66-489F-8493-5D348C26BC8C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"d8f43b4f06c02cda76f506374892063bee4c31f9","datavalue":{"value":"https://doi.org/10.1305/ndjfl/1040136913","type":"string"},"datatype":"url"},"type":"statement","id":"Q1913627$60258EBD-DE99-49C8-8881-E63FC15EFA61","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"fdfaaa9c1714435b8cea9cddc3d64bdd1556c9cc","datavalue":{"value":"W2090746463","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1913627$3D56BCFE-5832-47A3-8564-CBD7E5925EB5","rank":"normal"}],"P223":[{"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":"Q1913627$40311088-FFB3-417B-9BDF-8EAC5FD1F14D","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":"Q1913627$45F530BA-5606-400C-A1D5-A4FC01C00BA1","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":"Q1913627$F0688844-8717-4EDD-8CEB-271F31370FD5","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":"Q1913627$7FE88610-0051-460D-AE58-3AB00483040F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"80f3f6293d4ab6644fa8e03d24fa222f6888c13e","datavalue":{"value":{"entity-type":"item","numeric-id":4111002,"id":"Q4111002"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1913627$0D563070-CD2E-4180-B893-98B8CFC409C8","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":"Q1913627$3FB14CF5-6F3A-49E1-9CAF-913EF356C915","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"57071686633bfdcc67018dd40b76893fa5b3a39e","datavalue":{"value":{"entity-type":"item","numeric-id":3760545,"id":"Q3760545"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1913627$5B584A40-2E4A-418E-AD74-F75E62044952","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":"Q1913627$6DDCF6E9-8763-4FE7-B50F-06531D87B03B","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":"Q1913627$4480C9E6-6140-4254-A7FE-32D1AE4D9371","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2d2ffe0244ab35eaae4fc51f9808af241bc601a5","datavalue":{"value":{"entity-type":"item","numeric-id":1182707,"id":"Q1182707"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1913627$33483D7F-4645-4C99-8FB9-501F78BCE85D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"35e0d47923b2a2f389255e7e62cca04e46ab1480","datavalue":{"value":{"entity-type":"item","numeric-id":1182694,"id":"Q1182694"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1913627$4FAEBAB8-A402-4E28-B5E9-F94A5FB812D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a70cb266dc182670b7d6433a0736bc7b486afd9d","datavalue":{"value":{"entity-type":"item","numeric-id":1173087,"id":"Q1173087"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1913627$F345B914-D8E6-450B-9650-9486FA52C5D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8295cff2497b72e90018094e567cfad44e3737a0","datavalue":{"value":{"entity-type":"item","numeric-id":1054725,"id":"Q1054725"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1913627$436F478D-C9BE-4BF2-B205-51BC3FE4D36E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"11655a758aa13450f4306f6572fa8bd15f84b9ae","datavalue":{"value":"10.1305/NDJFL/1040136913","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1913627$69AB5974-D333-41CD-91EC-3B35E1E7F2C5","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2b38612979a877636db7af4c4a38f51ec0e2b8ea","datavalue":{"value":{"entity-type":"item","numeric-id":4218527,"id":"Q4218527"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2a0af92ff5ff531e0ddeea123e12e63f54fc7bce","datavalue":{"value":{"amount":"+0.8343023657798767","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":"Q1913627$2A872EB3-90AF-4C5F-BBB3-036D89CCB70A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0683dd32b81d514eac133d596777b75b936d7b29","datavalue":{"value":{"entity-type":"item","numeric-id":4295207,"id":"Q4295207"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3bbe5afc60eb5355b386bd5754d31423662b0fa6","datavalue":{"value":{"amount":"+0.8082408308982849","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":"Q1913627$7EB7A33F-E5AE-4BC7-8DA4-16DC6BC1639C","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":"0b1574500fe8a97c83babe7ec42d7a1e1cfcc830","datavalue":{"value":{"amount":"+0.7899730801582336","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":"Q1913627$D18C7FD2-EFBB-4C3B-ABAF-5BC8CBA8DB4E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"70df2fd9f2ad1b5c0491db70f07d3e5a6f5584e2","datavalue":{"value":{"entity-type":"item","numeric-id":800912,"id":"Q800912"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0eb1dd7c77a84fb33542f2e84ba0c3c4613929b4","datavalue":{"value":{"amount":"+0.7892582416534424","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":"Q1913627$F3FB670F-14B3-427A-BA0A-3DAF1242A932","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Four problems concerning recursively saturated models of arithmetic","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Four_problems_concerning_recursively_saturated_models_of_arithmetic"}}}}}