{"entities":{"Q1913628":{"pageid":1924370,"ns":120,"title":"Item:Q1913628","lastrevid":46369758,"modified":"2025-12-24T15:53:56Z","type":"item","id":"Q1913628","labels":{"en":{"language":"en","value":"Arithmetically saturated models of arithmetic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 881255"}},"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":"Q1913628$D2E00CB1-044B-4419-BE36-D5C43EBE1D36","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"2301af2f61fcbc6545a22fda8d7d5ceb016820c9","datavalue":{"value":{"text":"Arithmetically saturated models of arithmetic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1913628$95962DCE-13C1-4E1A-9F0A-03F62F34ECBF","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"adae6f9e10aed654cbdbab627142005fd71cce0c","datavalue":{"value":"0848.03017","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1913628$93EDDFD7-EE9A-468A-93B7-2CF3E19A7A93","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":"Q1913628$57F85765-A5A6-4581-B8BC-5FB2F166ADC0","rank":"normal"},{"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":"Q1913628$C030615C-7F5C-455C-B925-0722E0B543BC","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":"Q1913628$94B4FBB3-7F41-4BC1-9283-BE8F2E78D66A","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":"Q1913628$113E9910-7D4A-49A8-ACB5-701694FEFE3F","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"7bc80f78d63b3d313474b9ca0e83c3ceda680cd6","datavalue":{"value":"A model of a first-order theory is arithmetically saturated if it is saturated with respect to the types that are arithmetic in the complete types realized in the model. The paper presents an outline of the general theory of countable arithmetically saturated models of PA and some of its applications. The results concern the automorphism group of a countable recursively saturated model of PA. New results on fixed point sets, open subgroups, and the cofinality of the automorphisms group are given. It is also shown that the standard system of a countable arithmetically saturated model of PA is determined by the lattice of the elementary substructures of the model.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1913628$162542F2-0365-4CF0-A5B3-E06C5C4822C2","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"31eb4b2fe460225d8220386b6d12b964cafd1ca3","datavalue":{"value":"03C62","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1913628$3EFFFD05-7AAD-4725-AE1D-19D72A376574","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e4acb947bbb93aef022d2652e8dc30ed364d53d7","datavalue":{"value":"03C50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1913628$6607F52F-7F47-4795-963A-41C0933C1A08","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ea27b0518d5bb19bb3e20f9a225fb752dfff2ad7","datavalue":{"value":"881255","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1913628$3BDDF579-0534-478B-9CBB-2045A70A5EDF","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7090cb2b2cefa03cee6b50a67ca057c086ad0f00","datavalue":{"value":"Peano arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1913628$31C0609C-C7F5-4B21-8F61-0C60F0D2B98A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"71ec59c5b1bb9e4cd77cc696b9efa6551305dac4","datavalue":{"value":"recursive saturation","type":"string"},"datatype":"string"},"type":"statement","id":"Q1913628$FD4183F7-A12B-4582-B6A0-DE385C72215D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"265ddb2904210ea1976016ffbc785ca9854ee602","datavalue":{"value":"lattice of elementary substructures","type":"string"},"datatype":"string"},"type":"statement","id":"Q1913628$4BE221FD-C850-428D-A72C-FF93F4735C5F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f0ce2f0afe689edfe4b2c265e8947dfcae52ee04","datavalue":{"value":"arithmetically saturated models of PA","type":"string"},"datatype":"string"},"type":"statement","id":"Q1913628$4C9AFBF6-133D-47E1-9AC3-BA3B4AA6FE87","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7004ea3c45e788d894ca43ad9fb77d664ad32ef0","datavalue":{"value":"automorphism group","type":"string"},"datatype":"string"},"type":"statement","id":"Q1913628$73C74CCB-8D2D-406A-90C2-5F29B577B07D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0935c569cb83e63088b9b56702c72489027a4d56","datavalue":{"value":"fixed point","type":"string"},"datatype":"string"},"type":"statement","id":"Q1913628$E1195D6B-F1F8-4005-B04F-3C488A325972","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"46c274aafb82ce329988227519871d5262191d29","datavalue":{"value":"open subgroups","type":"string"},"datatype":"string"},"type":"statement","id":"Q1913628$3863D0AE-5F20-45D3-A7A1-07E834FD1D6F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3cb77774c8eab49a7e996e78114ff831fbf047d7","datavalue":{"value":"cofinality","type":"string"},"datatype":"string"},"type":"statement","id":"Q1913628$10938311-E25B-423B-9D05-A70A485DB388","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":"Q1913628$6B7DE676-A3E8-448A-9F84-0F8985D4007C","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":"Q1913628$40865DDB-EDD6-4924-A333-831ED32FC3FC","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"087ff09cff2a82a6f2d617b05dd9e2211d709d80","datavalue":{"value":"https://doi.org/10.1305/ndjfl/1040136914","type":"string"},"datatype":"url"},"type":"statement","id":"Q1913628$F8A7F6CE-1D98-4971-BC85-D9B964432AA1","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"932c6405a3e1bb85af2ebe17ef641348507c1d2a","datavalue":{"value":"W1990598296","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1913628$9F123F4A-BACB-475A-8497-F4D864ED5FFC","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"f2dddf3cbfc56939859dfec5cf0984d74a634d75","datavalue":{"value":{"entity-type":"item","numeric-id":4286374,"id":"Q4286374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1913628$226E90AA-DC1D-4B60-A855-A5D6E033FDE9","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":"Q1913628$A9563782-BE1F-4806-8C5B-E25032428D53","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":"Q1913628$684D4F47-5B73-4D7F-A8EF-527C2A8D1CB4","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":"Q1913628$4AE46397-2B9B-4B6D-9C53-D5EE418AACC7","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":"Q1913628$69456254-AC69-4C89-8F59-DA6336F910FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"335340a569f4ac93d33c219fc5ecfd9165d0c6e8","datavalue":{"value":{"entity-type":"item","numeric-id":3822164,"id":"Q3822164"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1913628$35C1719F-3A61-433F-88E6-0F264C98A4E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dbc934d36ff645130e1ea613d99fd3dd5e388aca","datavalue":{"value":{"entity-type":"item","numeric-id":4004805,"id":"Q4004805"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1913628$247E7EA1-A92E-4356-B455-1CEE3D0A9A19","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":"Q1913628$55B69376-EFAC-4EE0-BA4C-42A11AA31F70","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":"Q1913628$AF47CB27-6FEE-4086-8992-4976B7F96CBF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a1a7df670beed245e208fd50b77ee3f40acb5e93","datavalue":{"value":{"entity-type":"item","numeric-id":3689171,"id":"Q3689171"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1913628$A23FE90F-1EA6-41D7-98EB-9DAFBE7E64E0","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":"Q1913628$7B594C23-16B9-43B8-BE47-CC923A14D450","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"13612151330a2a0983b1219a5ad4c32f33062535","datavalue":{"value":{"entity-type":"item","numeric-id":3820786,"id":"Q3820786"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1913628$D796704A-40C1-403B-859A-CFF1A5699CC5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9fdcab3c299bd68d05805d6fd31146c3a951d826","datavalue":{"value":{"entity-type":"item","numeric-id":3727997,"id":"Q3727997"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1913628$363A3ABD-4EE3-40E5-8CB1-00D4F53175BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"af9958e5457d4abad6ebaeae86ec90785f2e83c0","datavalue":{"value":{"entity-type":"item","numeric-id":4695582,"id":"Q4695582"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1913628$8170F041-93C6-4ED2-9142-E31B7E4EA346","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":"Q1913628$572CCEB7-8854-4BAF-AC34-33D1B2ABD051","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"18dbc31e1b5702dd6e31a9ac6c8a671d343441cd","datavalue":{"value":{"entity-type":"item","numeric-id":3912561,"id":"Q3912561"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1913628$FCB950C2-F967-491C-86CB-BAC11B890975","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"bbfbe8998b64cf3a146baa685fe656e487cea2df","datavalue":{"value":"10.1305/NDJFL/1040136914","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1913628$958AABF0-1CC7-481D-92F4-2F0EC72F4847","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d1d8ea9783b6d883248755fb1ffebe5bdb66bd5f","datavalue":{"value":{"entity-type":"item","numeric-id":4864048,"id":"Q4864048"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a93db3a8ef6385318e3c4707acb873643b587cba","datavalue":{"value":{"amount":"+0.8708345293998718","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":"Q1913628$39CA46A0-809C-4967-A337-9138217A77D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"58a66beffa6f752fa770c07917303a5b9a84985f","datavalue":{"value":{"entity-type":"item","numeric-id":2795926,"id":"Q2795926"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1ca42d276ed60361e9ec063e70bb909219999020","datavalue":{"value":{"amount":"+0.8465233445167542","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":"Q1913628$94068583-DC60-4679-B39C-7085E784BACB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"56c9475dcf7851d8598da0e571e59ddd566b9c8a","datavalue":{"value":{"entity-type":"item","numeric-id":4372852,"id":"Q4372852"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c4f7245683428a32fc7101f1ff7e18bdfaf3c52f","datavalue":{"value":{"amount":"+0.8451106548309326","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":"Q1913628$F0028F35-5417-4137-8AD0-FC007281CCEB","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1913628","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1913628"}}}}}