{"entities":{"Q1913630":{"pageid":1924372,"ns":120,"title":"Item:Q1913630","lastrevid":46369764,"modified":"2025-12-24T15:53:57Z","type":"item","id":"Q1913630","labels":{"en":{"language":"en","value":"\\(\\text{PA} (aa)\\)"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 881257"}},"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":"Q1913630$A17EB01C-19EB-4B27-B388-5382A1823393","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"62fc10e75d1e0e23bf46bc25f4e1e6036320e111","datavalue":{"value":{"text":"\\(\\text{PA} (aa)\\)","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1913630$019FE789-736D-42AB-9358-0E13FE91A41F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"035f3b7d263d1c8a1fbcd2940c843b1a473145ff","datavalue":{"value":"0848.03018","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1913630$1A8DAD69-AC80-45A6-9100-EFB28A59B900","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"80620c2b4df8756e658fe199f1a89d0f51d86188","datavalue":{"value":{"entity-type":"item","numeric-id":190265,"id":"Q190265"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1913630$10121961-32CD-4103-9CA8-3D247AAFA0C4","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":"Q1913630$A4487FC7-18E9-4329-AB07-D7CE9148DAAA","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"79a780aa2953ebf6e4b780cb703846ce5b9cd87b","datavalue":{"value":{"time":"+1996-10-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1913630$FA5B0130-CFFE-4419-AF14-480E87156E69","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"fe75c42ea4f7489acb903fb84868b9037daf58a0","datavalue":{"value":"\\(\\text{PA} (aa)\\) is Peano Arithmetic formulated in stationary logic. It is not at all obvious that \\(\\text{PA} (aa)\\) is consistent. The author shows that it is. He proves that the first-order consequences of \\(\\text{PA}(aa)+\\) the scheme of determinateness for stationary logic are the same as those of the full second-order arithmetic CA. Two main results are: (1) Every model of \\(\\text{PA} (aa)\\) is \\(\\omega_1\\)-like; (2) Every countable model \\((M,X)\\) of CA can be elementarily extended to an \\(\\omega_1\\)-like finitely determinate model of \\(\\text{PA} (aa)\\).","type":"string"},"datatype":"string"},"type":"statement","id":"Q1913630$513BA15A-99A4-45FF-8333-3E25325D704E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"31eb4b2fe460225d8220386b6d12b964cafd1ca3","datavalue":{"value":"03C62","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1913630$2AC00A26-F471-4FA5-B53B-0332DD87479D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4cb4544bfd0397cd4a315ee326499c372f013de5","datavalue":{"value":"03F35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1913630$FF9DB369-1C42-44F8-8810-FD60219A409F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c8bf99a15e0efee5d602fcf4698a3f7dc0b96000","datavalue":{"value":"881257","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1913630$A4DDF69B-B2E3-4AAA-BD54-24B533215345","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7090cb2b2cefa03cee6b50a67ca057c086ad0f00","datavalue":{"value":"Peano arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1913630$30CCB786-AD18-41BD-BE3D-256AF50E9EAC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"73cef2e7adf5d40c3126e2d4166ce1131ba8d368","datavalue":{"value":"stationary logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1913630$0EA134FC-EC38-461B-AC6C-350687738FAB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b19cbc1e1a10e031c5deee7d634704eb8228879c","datavalue":{"value":"full second-order arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1913630$C9402D7F-F271-4685-B503-99442CB8EFA2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b3e8c91dfbd3f1423d7b4e36033b25c97815abaf","datavalue":{"value":"finitely determinate model","type":"string"},"datatype":"string"},"type":"statement","id":"Q1913630$6ABB303B-20A5-4DC0-B0F1-005C19391232","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":"Q1913630$B36F712D-33D1-4B27-9AA3-C873311BF5A7","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":"Q1913630$40115321-180A-4BD6-A778-39797A02544E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"bc07c0d624476495fc941a078957008d405b8621","datavalue":{"value":"https://doi.org/10.1305/ndjfl/1040136916","type":"string"},"datatype":"url"},"type":"statement","id":"Q1913630$DF4FC54E-7D0C-4285-AE70-9D6CDCF8E0A2","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"98de7ef78a82321c8534d6ae25be8d86ac183d40","datavalue":{"value":"W4252400002","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1913630$A0E47CBF-B6C6-48E8-B149-A2804AF1006A","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"216cc95106a8bc67ed4f632f626c7d3a3e0fe32f","datavalue":{"value":{"entity-type":"item","numeric-id":4149757,"id":"Q4149757"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1913630$AAF16E81-A519-4E9D-B624-A6F9740B5F44","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c0af5a6a785ddf6f3764e252da022a2bd82dc62a","datavalue":{"value":{"entity-type":"item","numeric-id":3893909,"id":"Q3893909"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1913630$45B9AF2D-82AC-4AF9-A5BE-150F81D8691A","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":"Q1913630$C731A333-3D70-4B37-9527-E25D85E64007","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0af5067ccc381cd0406900a212774cd6d1c356af","datavalue":{"value":{"entity-type":"item","numeric-id":3826549,"id":"Q3826549"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1913630$5B51A044-F716-4C68-B8E9-4C846FFE89BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5a232c9e29348f2ecb8fc3dc05b572e8c97f5d91","datavalue":{"value":{"entity-type":"item","numeric-id":4186274,"id":"Q4186274"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1913630$22A4A57B-4038-4EC2-9703-FDB6B37ED752","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"98de73ca99a9091855de9f63dd237646ac3eadb2","datavalue":{"value":{"entity-type":"item","numeric-id":3666826,"id":"Q3666826"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1913630$9AF104DD-DCE9-4AF9-9974-DB7A52DEB7B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"52522379bb06d4cf87dd18748bab2e1858237087","datavalue":{"value":{"entity-type":"item","numeric-id":3914967,"id":"Q3914967"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1913630$F3B2CBBF-E090-4B2C-9443-8B2CC909981C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5884e5c6bce29bf8a400559b80d3e998d77dde39","datavalue":{"value":{"entity-type":"item","numeric-id":3863890,"id":"Q3863890"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1913630$7CD5A8C3-4C38-4D9B-AFC7-4CA16737D1AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1e017f8c1e3b772fe6d1ff204a1dc9db659150da","datavalue":{"value":{"entity-type":"item","numeric-id":3947649,"id":"Q3947649"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1913630$51744CC0-3A50-4228-8C15-1E0F0FB85713","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e4117209a37214de8ad6e90d28f6c63e41095a9f","datavalue":{"value":{"entity-type":"item","numeric-id":3028994,"id":"Q3028994"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1913630$17B563C1-5BD9-48BC-8AD1-68E400DAA77B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"14411f324330e707679cf79763a71f6a64b3b3c1","datavalue":{"value":{"entity-type":"item","numeric-id":3953757,"id":"Q3953757"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1913630$DB293050-DFD0-4B89-BB73-E21054A4C83A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"be3adad5169b26fd437a5e7163e485ebc14e618c","datavalue":{"value":{"entity-type":"item","numeric-id":4083390,"id":"Q4083390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1913630$B0BCF5F5-49C3-41F8-9F81-F5D77027EDB6","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e179988b5355e196584a6cbd1f1f3399faf33a26","datavalue":{"value":"10.1305/NDJFL/1040136916","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1913630$A9728D7E-A727-4AD7-91D5-2BF8E0390E41","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b4493f692e5afb03762485b588e48baa253e225e","datavalue":{"value":{"entity-type":"item","numeric-id":3714063,"id":"Q3714063"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a24bcdb0f1e081d3148ad5d5ffd547936d09e78c","datavalue":{"value":{"amount":"+0.7370563745498657","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":"Q1913630$DFB201DD-F430-48DD-BD3C-6141E2729A38","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"971b942a766aee6834ec8a3109bc12c219af4f1b","datavalue":{"value":{"entity-type":"item","numeric-id":4939397,"id":"Q4939397"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7fe7c28050bfdd61f0818435b8338d3c7d6bbaf6","datavalue":{"value":{"amount":"+0.7363677024841309","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":"Q1913630$66788A71-BFCD-4D61-88AB-C95301EEDC35","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"590c8f8c3f49d7b88820bff4fc5442766bc76381","datavalue":{"value":{"entity-type":"item","numeric-id":3028994,"id":"Q3028994"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4ce5558fc103a7f344080eec02d51eec39259fe2","datavalue":{"value":{"amount":"+0.7339778542518616","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":"Q1913630$548C3BBC-AFDB-4CC6-9A15-9E700DC8FF60","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"04de6b5e8705e1137153109657a913e75c54ffa6","datavalue":{"value":{"entity-type":"item","numeric-id":3985092,"id":"Q3985092"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c43a186e39e3e1146dc8c811404f8ad19e9bb327","datavalue":{"value":{"amount":"+0.7336665987968445","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":"Q1913630$7E663ECB-4549-4ABF-A4E0-E37B61EEA9AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ce93a6db722b8082b60607a1441829dcac3f0fce","datavalue":{"value":{"entity-type":"item","numeric-id":3781749,"id":"Q3781749"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"63495c777c81bca57a3da5ae7be8e6996fe9e454","datavalue":{"value":{"amount":"+0.733478844165802","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":"Q1913630$643F4C02-EAE3-42B4-A640-A029C595554F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1913630","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1913630"}}}}}