{"entities":{"Q2266714":{"pageid":2277457,"ns":120,"title":"Item:Q2266714","lastrevid":71717388,"modified":"2026-04-14T00:05:08Z","type":"item","id":"Q2266714","labels":{"en":{"language":"en","value":"A note on satisfaction classes"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3895068"}},"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":"Q2266714$70F31DBD-F5DD-4658-A99C-3FD6F136C6A4","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"8e07f3b3f0d5f28965c90555a5c71c7ddcc01331","datavalue":{"value":{"text":"A note on satisfaction classes","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2266714$E89CBAB2-9290-49B0-80E9-15518841DF24","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9b8e3d15453cdc9455d6ef98f92c1601d5b7241f","datavalue":{"value":"0562.03040","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2266714$4DEA7854-7880-46A7-B0FA-628FA4F02883","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":"Q2266714$EAD413D8-AAD5-4899-B5DD-3FC5E6F93E41","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3c94df5c9af0ede578c52141befd29044de13172","datavalue":{"value":{"time":"+1985-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2266714$1EDBC973-D927-477E-8892-F064D13A3B0D","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"c611cd858026e8ea8d91ac7e8f70162f8b00ec56","datavalue":{"value":"Satisfaction classes \\(S_ 1\\), \\(S_ 2\\) on a model M are called elementarily equivalent (isomorphic) if the structures \\((M,S_ 1)\\), \\((M,S_ 2)\\) are elementarily equivalent (isomorphic). It is shown that for every countable, recursively saturated model of arithmetic M there are continuum many pairwise non elementarily equivalent inductive satisfaction classes on M, also for every inductive satisfaction class S on M there are continuum many pairwise nonisomorphic satisfaction classes on M which are elementary equivalent to S. An application to constructions of many nonisormorphic pairs of recursively saturated models of arithmetic is given.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2266714$2758DF22-E81D-48AB-A327-2C558E438B56","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a22eb1f642cbb79777784e33676c61b720925aab","datavalue":{"value":"03H15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2266714$AA2B7226-06FA-4454-A0A6-554B2BFFA96E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e4acb947bbb93aef022d2652e8dc30ed364d53d7","datavalue":{"value":"03C50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2266714$CB198CBB-EF79-4CD8-9D8D-D08B16EE1D05","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"31eb4b2fe460225d8220386b6d12b964cafd1ca3","datavalue":{"value":"03C62","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2266714$559D0D9D-29D9-4A55-8C99-91AFFB97F99C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2ad27cef2dc9643bb0170b40433b3028a476c468","datavalue":{"value":"3895068","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2266714$7AA64637-CEA8-4873-B037-D0B717910C6D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c577a05ed76ebe9f9f6d3e6acf82399d7388f771","datavalue":{"value":"recursively saturated model of arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2266714$E7DC840A-4757-404A-AA4B-8CFDF1166735","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":"Q2266714$826930A6-BFB6-48B2-A1C7-2C185F139E02","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":"Q2266714$06EFFD3B-AE6C-4E4B-943B-06530719A850","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f5152847caee0546078882d598dc9a7a923555fd","datavalue":{"value":"https://doi.org/10.1305/ndjfl/1093870757","type":"string"},"datatype":"url"},"type":"statement","id":"Q2266714$56B47DB4-D684-4AAD-B72C-7073EE95F31B","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"acd3affb67ede8d7363ba3da1b329549b761f3c4","datavalue":{"value":"W1967436090","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2266714$552FA773-DA7B-4891-AA0E-895ED331AF8E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ae11ccf9954b116a4ec4ef1d2eb266e8a13e8b6f","datavalue":{"value":"10.1305/NDJFL/1093870757","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2266714$7060DD41-66BA-4E8D-8F0C-8A9025FCDC43","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e08236fa9196dfd579c405e2a36ba720a227ef8a","datavalue":{"value":{"entity-type":"item","numeric-id":2639847,"id":"Q2639847"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5c0eda284fe777e163b017b217c242221770f1d0","datavalue":{"value":{"amount":"+0.8696306347846985","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":"Q2266714$3DA8AB07-0B74-4394-BDAE-38BB9CCCC8D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dc421cfd05ee38e7cbd7ba30d0c79a0891d1164d","datavalue":{"value":{"entity-type":"item","numeric-id":1182707,"id":"Q1182707"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7836f43ff623174fae924231b250cf243b9c9240","datavalue":{"value":{"amount":"+0.8379248976707458","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":"Q2266714$48BFD721-ABCB-4758-949A-4855D95D0964","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5fc81543032a239ac121a284be19172402b94bd3","datavalue":{"value":{"entity-type":"item","numeric-id":3989276,"id":"Q3989276"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b7a324e6d9a877fc1a64b3039e13322ecd644c41","datavalue":{"value":{"amount":"+0.8319941163063049","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":"Q2266714$9A245968-8512-4771-B04F-C16A7A3A3CB5","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":"3a2ef1ed6cddd5d250015f153db23fb22a51e428","datavalue":{"value":{"amount":"+0.8293002247810364","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":"Q2266714$09250CEA-88AE-4B60-814F-4D91DFB4F297","rank":"normal"},{"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":"9edf0a1b75eab1a88a488a8acc9778aab5e0ac81","datavalue":{"value":{"amount":"+0.8260541558265686","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":"Q2266714$CCB3E3EF-1F59-44CE-A96D-4AA85D27F5A2","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A note on satisfaction classes","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_note_on_satisfaction_classes"}}}}}