{"entities":{"Q549718":{"pageid":551485,"ns":120,"title":"Item:Q549718","lastrevid":62678502,"modified":"2026-04-11T07:42:52Z","type":"item","id":"Q549718","labels":{"en":{"language":"en","value":"Theories of initial segments of standard models of arithmetics and their complete extensions"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5925528"}},"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":"Q549718$881EC5BB-7057-4D9C-BA9D-D5F0646AC7F5","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f287125def77068d3764b93e176cbda874d49708","datavalue":{"value":{"text":"Theories of initial segments of standard models of arithmetics and their complete extensions","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q549718$A4920D7C-6DBE-48FC-A470-34C3FF2D5072","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"836811876c8b42b8b627f5d18241e8e6335560f0","datavalue":{"value":"1221.03026","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q549718$0979167F-20AA-4582-AA56-E5FC7FDF50D0","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"bc857a19d58ce9ccd1384d2bb127538d9046a071","datavalue":{"value":{"entity-type":"item","numeric-id":549715,"id":"Q549715"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q549718$C3B755A8-C4A8-4CCA-9094-AF643783EF23","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"5751b06a4a3f113b1f8cc4309ed6f1949e919894","datavalue":{"value":{"entity-type":"item","numeric-id":549716,"id":"Q549716"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q549718$A7FD1A14-AF54-4B03-A490-6EC158C211D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2094ea0738e5bf7c114481073bff8eb28b382fdb","datavalue":{"value":{"entity-type":"item","numeric-id":549717,"id":"Q549717"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q549718$BC4320D9-9D41-423D-B5FC-C589C00D4566","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q549718$F81E3FC9-BEEF-450D-B90D-567D48037A0E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3dd288f91e249ba649089623a2b7d89908afe78c","datavalue":{"value":{"time":"+2011-07-18T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q549718$C258E090-6F03-45A2-BE6B-E93BDCEA2F59","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"5e073490d580a92062bdc71c89a908175d3ab6b8","datavalue":{"value":"Let \\(\\mathcal A\\) be a first-order structure whose universe is the set of natural numbers \\(\\mathbb N\\). For each \\(n\\), \\({\\mathcal A}_n\\) is the structure defined by restricting all functions and relations of \\({\\mathcal A}\\) to \\(\\{0,\\dots, n\\}\\) and redefining the functions so that, in the case of an overflow, the value is defined to be \\(n\\). The signature of \\({\\mathcal A}_n\\) is that of \\({\\mathcal A}\\) with the additional constant symbol MAX, interpreted as \\(n\\). \\(\\text{FM}({\\mathcal A})\\) is the set \\(\\{{\\mathcal A}_n: n\\in {\\mathbb N}\\}\\), and, for a formula \\(\\varphi(x_1,\\dots, x_p)\\) and \\(b_1,\\dots,b_p\\in {\\mathbb N}\\), the satisfaction relation \\(\\text{FA}({\\mathcal A})\\models_{\\text{sl}}\\varphi(b_1,\\dots, b_p)\\) is defined to hold whenever there is a \\(k\\) such that, for all \\(n\\geq k\\), \\({\\mathcal A}_n\\models\\varphi(b_1,\\dots,b_p)\\). Finally, \\(\\text{sl}({\\mathcal A})\\) is the set of sentences \\(\\varphi\\) such that \\(\\text{FA}({\\mathcal A})\\models_{\\text{sl}}\\varphi\\).   The paper gives a comprehensive introduction to the model theory of the sl-semantics. Among others, examples are given of structures \\({\\mathcal A}\\) and \\({\\mathcal B}\\) such that \\({\\mathcal A}\\not\\equiv {\\mathcal B}\\) and \\(\\text{sl}({\\mathcal A})=\\text{sl}({\\mathcal B})\\), and structures \\({\\mathcal A}\\) and \\({\\mathcal B}\\) such that \\({\\mathcal A}\\cong {\\mathcal B}\\) and \\(\\text{sl}({\\mathcal A})\\not=\\text{sl}({\\mathcal B})\\). Then, in the main part of the paper, the authors prove a number of results on finite models of Presburger arithmetic and full arithmetic. An axiomatization {sl}PresbAr for \\(\\text{sl}(({\\mathbb N},+))\\) is given, followed by a theorem characterizing its completions. It is shown that {sl}PresbAr has continuum many completions and infinitely many decidable ones. Concerning the structure of full arithmetic \\({\\mathcal N}=({\\mathbb N},+,\\times)\\), it is shown that there are continuum many completions of \\(\\text{sl}({\\mathcal N})\\) and that the complexity of each completion is at least \\(\\Delta_3\\). The paper concludes with an example of a completion of \\(\\text{sl}({\\mathcal N})\\) that is \\(\\Delta_3\\).","type":"string"},"datatype":"string"},"type":"statement","id":"Q549718$DE36210F-7990-4A19-88B6-859960C71026","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":"Q549718$631C12A2-9B57-492D-BDF5-670B71245DE6","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"31eb4b2fe460225d8220386b6d12b964cafd1ca3","datavalue":{"value":"03C62","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q549718$05D0411D-B0FD-40D4-BB96-CEF7F466B602","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b58df756e27df0e7b4d6d54dbbfd9015b563e63d","datavalue":{"value":"03C13","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q549718$2CC62DF4-45B9-44FF-ABDF-A0D2688E4E62","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d008612c425ec62e5c83bfc86e4bda15688ca260","datavalue":{"value":"5925528","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q549718$FD167D86-14FE-4B25-9997-90F6D454A6D7","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"62e02371642cec8856a2b0f1982452bbc08d0d63","datavalue":{"value":"finite models","type":"string"},"datatype":"string"},"type":"statement","id":"Q549718$CA67F994-712E-4531-B714-9592E65062FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"be1268b65fc1d6781eb5c0f1073a98e5cb46f217","datavalue":{"value":"arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q549718$D281F411-A1EF-499B-A98A-D47C2DE652E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7196b2204be2538c78f58f9c2c9bb469bdf56be2","datavalue":{"value":"finite arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q549718$39583F4D-3C4A-4098-8A65-E53EF895A5B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4e5e6e64f7f171dc89f3c77310230730ce57088b","datavalue":{"value":"Presburger arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q549718$12EA3584-D328-4999-AF35-D01568A39FD3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48fe5da30f2000a910dd1a06f280ea2b3174328d","datavalue":{"value":"decidability","type":"string"},"datatype":"string"},"type":"statement","id":"Q549718$979D3AAB-E9E8-4456-A7F0-189C1CEE9A97","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":"Q549718$0D8A9518-62B7-49DB-8990-0F264942293F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"2a37b7535333fff5fb7fbb2d3d66def46aced1da","datavalue":{"value":"https://doi.org/10.1016/j.tcs.2011.04.030","type":"string"},"datatype":"url"},"type":"statement","id":"Q549718$BB7CA211-40F9-48D8-8600-08B459D340FB","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"42b00f3262536373f857c6ca5428ec3b04e430c5","datavalue":{"value":"W2046181205","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q549718$1686AB8C-A608-46BF-9153-AFDD138E22E7","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"0c859dc9bc5c44c673f4132f2e7bef4d53162ec9","datavalue":{"value":{"entity-type":"item","numeric-id":1188602,"id":"Q1188602"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q549718$AFB6B473-59A4-4656-98B9-8CDC7DD6AFDB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d33cdfd0f39ec7f3580bc255833663823606aeee","datavalue":{"value":{"entity-type":"item","numeric-id":3843607,"id":"Q3843607"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q549718$F159D04B-5466-4CC6-BDAE-BE4647635613","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"323dbd6fd6973b3663055cf97da83be885dd9ec7","datavalue":{"value":{"entity-type":"item","numeric-id":5569944,"id":"Q5569944"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q549718$D8E604EF-8617-4FB2-8251-3E9ED961CB35","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ccf44416f275c86e5b4293c141df3f2e4bf7eccd","datavalue":{"value":{"entity-type":"item","numeric-id":4336034,"id":"Q4336034"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q549718$DF29E805-280E-424B-B516-1B64CA395666","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dccf19753fdc4aceb4fe2e72e418d7c4420dcc62","datavalue":{"value":{"entity-type":"item","numeric-id":5286672,"id":"Q5286672"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q549718$8EC1F3FD-062B-4E21-A9F5-9FA1C30C2A69","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dc2dc0b7eb984aadd5f3a39bfdb6b5ac7f5ac023","datavalue":{"value":{"entity-type":"item","numeric-id":5549798,"id":"Q5549798"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q549718$08840579-C3C1-4F37-9817-606ADB317804","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d39bc1f6f617a99613068a1b9eeba554328fffb0","datavalue":{"value":{"entity-type":"item","numeric-id":5445166,"id":"Q5445166"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q549718$874E4B53-072C-4A10-BA69-40A404DF955E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"675f158f3e112093a7efb655e5f306ee70a1d83c","datavalue":{"value":{"entity-type":"item","numeric-id":5311769,"id":"Q5311769"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q549718$12F69399-FB60-45D6-AEAE-576EA041E894","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7c2982328353caec4ead3ae3704c1d005446c4b9","datavalue":{"value":{"entity-type":"item","numeric-id":5311718,"id":"Q5311718"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q549718$79220E7E-6FFC-48DA-B529-E1E459DCEE4A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d2487ddf966f2fc6338bb8a6920ab983140d0c71","datavalue":{"value":{"entity-type":"item","numeric-id":3370752,"id":"Q3370752"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q549718$23227922-B1F0-4B64-A726-FF78E2537CF8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d8532490d6a36ef2626d3d5500d26d42c60b86a7","datavalue":{"value":{"entity-type":"item","numeric-id":4419268,"id":"Q4419268"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q549718$26E4F42B-43D5-4EC0-90F9-BE43B80981BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"45e82c4b6456929b87e3efd7f43c96a6bb187b57","datavalue":{"value":{"entity-type":"item","numeric-id":3230356,"id":"Q3230356"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q549718$B29C1561-52D3-4CF1-82D9-28EEF03C5C63","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9c09735a9d4ecf3c15c52f25c89b4e65e7dbd4ef","datavalue":{"value":{"entity-type":"item","numeric-id":2765574,"id":"Q2765574"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q549718$43FE4071-9382-421A-8C45-A662D423D826","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a813a4c20a02b2d85db9b23e1f98b596d1868d1d","datavalue":{"value":{"entity-type":"item","numeric-id":4459597,"id":"Q4459597"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q549718$CBC8212A-5238-4E04-B836-1D86902256D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0c993bf5d3db756ac2f0a1cff842b9c43ed40262","datavalue":{"value":{"entity-type":"item","numeric-id":5394582,"id":"Q5394582"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q549718$485F8EEC-DCFA-4287-B798-3409C387F835","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"62635135e6f414b76dcdaa9d07da3ae22d095043","datavalue":{"value":{"entity-type":"item","numeric-id":5717062,"id":"Q5717062"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q549718$BDDE855C-888F-47CE-9885-25D2FC7C8E21","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b492d3887dfe91f103ef3e57c2ed830a645ba0a7","datavalue":{"value":{"entity-type":"item","numeric-id":3980089,"id":"Q3980089"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q549718$1537FC69-63F8-46F1-84C4-D5D9D7C438CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d949421472cbfbe5f8ad614bd9c2234484e9206f","datavalue":{"value":{"entity-type":"item","numeric-id":5277734,"id":"Q5277734"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q549718$7BD49E22-C39E-4479-98EA-7F7E9B9C6E75","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"817a60afd2597d02811a2111d99036715e503f0b","datavalue":{"value":{"entity-type":"item","numeric-id":2385430,"id":"Q2385430"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q549718$A2121401-1E02-4548-AE59-032FD44CA391","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"db7449c0b454f85dc069f86b4a27ec3b8ec38ef7","datavalue":{"value":"10.1016/J.TCS.2011.04.030","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q549718$4B0CE8E8-D948-479F-878D-16966A27AF23","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"da458ae08134fe59a4ef1d3a59c444c79944e629","datavalue":{"value":{"entity-type":"item","numeric-id":3370752,"id":"Q3370752"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"59e60516f25bd30a4a62a93c1d5c74041be3de5e","datavalue":{"value":{"amount":"+0.7816858887672424","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":"Q549718$AB68FD77-0E2C-45D9-836F-7DE0EE8EA019","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b7596894d88ec46ce3a873e8dab13a4b5ab8082a","datavalue":{"value":{"entity-type":"item","numeric-id":1123890,"id":"Q1123890"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"250fa8687e6cf0166e1d15b59ca0b969c8f358fc","datavalue":{"value":{"amount":"+0.767683207988739","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":"Q549718$E3820233-84C6-4639-B702-0407E8640DE1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"68e237ad0d51971a6701ad1bbd62674704a54c51","datavalue":{"value":{"entity-type":"item","numeric-id":3757917,"id":"Q3757917"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b04b4620c67f798ccc7c9625977d371f90b90355","datavalue":{"value":{"amount":"+0.7435070276260376","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":"Q549718$5F439805-BDC6-4CA9-8129-1C51F394D150","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":"ab77eae82fe03cebb5cd1b7c3fb2f0346d707308","datavalue":{"value":{"amount":"+0.7400888204574585","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":"Q549718$E2608C25-751A-486C-A036-59FE5D09A75C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b2ce76bcb606d6287bc7a3e94cc170377dd39408","datavalue":{"value":{"entity-type":"item","numeric-id":4680381,"id":"Q4680381"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b39f46401a5128d8ac414e3b7a7ec2acf58dd84a","datavalue":{"value":{"amount":"+0.7398636341094971","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":"Q549718$60E94DEF-D334-45CB-85B6-E040B356CF27","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Theories of initial segments of standard models of arithmetics and their complete extensions","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Theories_of_initial_segments_of_standard_models_of_arithmetics_and_their_complete_extensions"}}}}}