{"entities":{"Q2639847":{"pageid":2650590,"ns":120,"title":"Item:Q2639847","lastrevid":78992669,"modified":"2026-05-06T12:54:23Z","type":"item","id":"Q2639847","labels":{"en":{"language":"en","value":"A note on the variety of satisfaction classes"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4185589"}},"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":"Q2639847$812473D1-6C8A-4FB7-AECD-BC5C68A899A5","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"4daa39e00a04424301765472cd30aaee29f511fc","datavalue":{"value":{"text":"A note on the variety of satisfaction classes","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2639847$754E862E-B7D3-41A0-912D-561103C15453","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e4eafe5fa59825b4773d2b9f5b34b1a0e2a154d0","datavalue":{"value":"0719.03016","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2639847$73440F13-10A3-4E2F-A051-FDBEAF26AE25","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"cb7f4fbba094e1ea51619e147ba8262a2a105895","datavalue":{"value":"10.1007/BF01634978","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2639847$A0FAC72A-5E6C-4DF0-BB1E-47C30A31F61D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"73b7c12287831deb20860a79625a376a1d2f442d","datavalue":{"value":{"entity-type":"item","numeric-id":588140,"id":"Q588140"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2639847$3451DC0A-D802-4B3D-B584-0FDDD635C03D","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"a0a7cd28a9f85b9c6ad57bd5bb1ae477bfe37846","datavalue":{"value":{"entity-type":"item","numeric-id":114337,"id":"Q114337"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2639847$DC892BE7-5093-4FB3-BF05-CA1ED1F95D44","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"70d2fbf8bcd48a5ca1ac752985098b379d0dbb65","datavalue":{"value":{"time":"+1990-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":"Q2639847$14F6618B-AB70-42D2-943F-E966B1BBFA0B","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"788282c4ae13c0653f4045c9eab910032e5b08a4","datavalue":{"value":"A technique which was developed by \\textit{H. Kotlarski} and \\textit{Z. Ratajczyk} [Ann. Pure Appl. Logic 47, No.3, 199-223 (1990; Zbl 0708.03014)] to construct full inductive satisfaction classes on recursively saturated models of arithmetic, is used here to prove that every countable recursively saturated model M of PA has infinitely many incompatible full inductive satisfaction classes. The main theorem is applied to obtain results about the variety of expansions of recursively saturated models of PA to models of some fragments of second-order arithmetic.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2639847$03C7EC05-BF9D-4D85-84ED-79AB72205FAD","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"31eb4b2fe460225d8220386b6d12b964cafd1ca3","datavalue":{"value":"03C62","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2639847$156462A1-5CBA-463D-A0FC-E3533EC71232","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a22eb1f642cbb79777784e33676c61b720925aab","datavalue":{"value":"03H15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2639847$68ACB6B3-4B79-4583-A25D-E6DCE87BE81E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"02b5332e1a1570ba826bea6e5a8a1e47b1f31e67","datavalue":{"value":"4185589","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2639847$3CFFB5B1-6198-45EC-AB6B-ACDFF91FC2F0","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7208362e0344dabe8571f1689d50b669927adfae","datavalue":{"value":"recursively saturated models of arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2639847$F8750362-54E9-4696-8756-4946BDD95412","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"67fcf6d82e58f2e83e2a391276d60d2ca772b882","datavalue":{"value":"full inductive satisfaction classes","type":"string"},"datatype":"string"},"type":"statement","id":"Q2639847$14591FC1-FBC2-4515-A71B-A89DF2611EF4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8ea3e7dc8f659b306cbb9b11a98937ecedff1520","datavalue":{"value":"recursively saturated models of PA","type":"string"},"datatype":"string"},"type":"statement","id":"Q2639847$B6A56CA7-F5D5-4BB6-8E47-9B493EE33AFC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"aa9ba68d5668004eb35fa532bbb7e7a46eadba5a","datavalue":{"value":"models of some fragments of second-order arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2639847$0184F62D-9F1D-483B-B7F4-9ED6D6B95D28","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":"Q2639847$EDDA50AA-C1BB-4344-898E-5036A6519A1E","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":"Q2639847$29CA156B-A801-4839-9196-D65EC451B3F0","rank":"normal"}],"P223":[{"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":"Q2639847$7A8A9733-984C-4C09-AF28-B2A5F6811A6B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c422aa4d28a64aebf9e6e840a2b2e17aa39a7b6a","datavalue":{"value":{"entity-type":"item","numeric-id":2266714,"id":"Q2266714"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2639847$7D186633-0D89-4935-A2D2-39B87C678236","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":"Q2639847$F0D5C28A-B4BE-441B-9A6F-BC8B62129DA5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cb685597e7f0fa3e9b2031d9f7cf1f13ac4adf11","datavalue":{"value":{"entity-type":"item","numeric-id":3758815,"id":"Q3758815"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2639847$3F5B4A6F-CAB3-4C6E-9263-CE83BC0B350B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6da7c1426f0a39217938b80a6461316f714c7155","datavalue":{"value":{"entity-type":"item","numeric-id":3924205,"id":"Q3924205"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2639847$1153C973-C77C-4880-95B1-EA1D6428F012","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a3e85a3e12be6bf3b070103085c7ee3eb057acc6","datavalue":{"value":{"entity-type":"item","numeric-id":920081,"id":"Q920081"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2639847$4F49E328-EC56-4FE1-BF6E-01E692B3F875","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cf3220571184cc67ff7324c9c5316a989194c7f2","datavalue":{"value":{"entity-type":"item","numeric-id":3924206,"id":"Q3924206"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2639847$AC01CEE2-45AB-4CA3-BEA8-2037C009CCD3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e3edc7c8277bc92e352e9008968a4866cd44a927","datavalue":{"value":{"entity-type":"item","numeric-id":1113901,"id":"Q1113901"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2639847$ACF231AA-D6FA-409A-8BAD-B600FD481A20","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fb242e09c90a21fff074ebe882ec7b298d6768bb","datavalue":{"value":{"entity-type":"item","numeric-id":1102945,"id":"Q1102945"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2639847$127289FD-3D1C-4B61-A7CE-459FBD58B00E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"449c0ae245bb9402d0c971ac0577a514e4e09de4","datavalue":{"value":{"entity-type":"item","numeric-id":4196409,"id":"Q4196409"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2639847$9BD0E2FA-8D4A-4C21-A269-C4CB62331CBA","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c681a56e97085b227d5d521b4f082330b98c40e0","datavalue":{"value":{"entity-type":"item","numeric-id":2266714,"id":"Q2266714"},"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":"Q2639847$C442D791-93F3-4763-BB72-BF456438CB77","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5a8bfc2c590fe64b5938dec3c0a69bbd0da4af8d","datavalue":{"value":{"entity-type":"item","numeric-id":4295209,"id":"Q4295209"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c58f71f87b8de065e2782a48383445085bbf0034","datavalue":{"value":{"amount":"+0.8336935639381409","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":"Q2639847$A8BF0455-2D4D-49DE-A432-828441C563C3","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":"099a1550e6064fb2eaf755d5e85fb58450991ff0","datavalue":{"value":{"amount":"+0.8210121989250183","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":"Q2639847$A541E341-9502-43F9-9031-FC18B4A44BCE","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":"923be562c6ca94c3e2176074c9f240d656e2cdfe","datavalue":{"value":{"amount":"+0.820436418056488","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":"Q2639847$1726275D-E42D-492D-85D7-8D012C6C4A40","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":"e0433a216b6af00f6b39d92c564c0248cf25a504","datavalue":{"value":{"amount":"+0.82005375623703","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":"Q2639847$C1907F41-42E8-47D5-963A-A23A1B423866","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A note on the variety of satisfaction classes","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_note_on_the_variety_of_satisfaction_classes"}}}}}