{"entities":{"Q1182694":{"pageid":1193443,"ns":120,"title":"Item:Q1182694","lastrevid":70202628,"modified":"2026-04-13T13:08:27Z","type":"item","id":"Q1182694","labels":{"en":{"language":"en","value":"Full satisfaction classes: A survey"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 31805"}},"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":"Q1182694$2307AD85-3745-4A39-AEFB-156796A024D9","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ae271d3f52a7853874d8791d5792aa020e78c93e","datavalue":{"value":{"text":"Full satisfaction classes: A survey","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1182694$53705726-210C-4BC5-930B-C541702D6DE3","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e50be8b671e00570c7e3511d08f7f4a228646207","datavalue":{"value":"0752.03018","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1182694$AC21B851-6B1A-48C6-A35F-3876E49D9149","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"78cf3d039518ff5658afcbb728efb7e71e88345d","datavalue":{"value":{"entity-type":"item","numeric-id":598274,"id":"Q598274"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1182694$7C6628B4-B31A-4863-8D05-04ECA37880DE","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":"Q1182694$7579EB4F-0FAE-48CF-BA08-245FE1D9B293","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"120787504bea9565def539fb4bfb19084956028b","datavalue":{"value":{"time":"+1992-06-28T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1182694$E65B6AC1-7186-4C6F-A12D-E1EA67E280C9","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"479afd90533d2bd6d180d1f392b8cc225af64524","datavalue":{"value":"Via arithmetization of the language of PA, if \\(M\\) is a model of PA, a full satisfaction class \\(S\\) for \\(M\\) (shortly FSC) is a notion of truth for sentences in the sense of \\(M\\) --- including nonstandard ones. Hence \\(S\\subseteq\\text{Sent}^ M\\) and \\(S\\) satisfies the usual Tarski conditions, for instance \\((\\neg\\varphi)\\in S\\) iff \\(\\varphi\\not\\in S\\), and \\(\\exists x\\varphi\\in S\\) iff for some \\(m\\), \\(\\varphi(S^ m(0))\\in S\\). The paper surveys --- without proofs --- the main results regarding this notion (existence or non-existence of FSC; number of FSC's for a given \\(M\\)) and related notions (e.g. about the theory PA(\\(S\\)) = PA + ``\\(S\\) is an FSC'').","type":"string"},"datatype":"string"},"type":"statement","id":"Q1182694$238A06FF-3085-4C75-92E7-D3C8AC8A6CCF","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"31eb4b2fe460225d8220386b6d12b964cafd1ca3","datavalue":{"value":"03C62","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1182694$37B7EE94-3BB5-4E7A-8532-4A8164BE32F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"89663cdc2c9f64b2cd0a104bcac86329d89b9b2d","datavalue":{"value":"03-02","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1182694$249662B0-F388-4303-8413-31681FE0717B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2ab57c24ad3e577f0406236a03ed6b8d7b0fdbce","datavalue":{"value":"31805","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1182694$3DAD7D32-A7A3-4FA5-905B-4F8623AD9DB2","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4881b59035d29df92f521fb7f6c93516b972baeb","datavalue":{"value":"models of arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1182694$9244B172-A18E-4163-AC7E-F24350C73F31","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4f6bf80d5503cad785ca42c9570462c8e6ce99b5","datavalue":{"value":"full satisfaction class","type":"string"},"datatype":"string"},"type":"statement","id":"Q1182694$068C867F-EF4A-4A04-AB43-D6031B35C26F","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"c2aae80144548b21f45948e74c570be9dd7fcd68","datavalue":{"value":{"entity-type":"item","numeric-id":354675,"id":"Q354675"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1182694$7C1429AF-D119-4C5C-978F-39B09C47B910","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":"Q1182694$DA3211FD-A2DB-4318-AFB5-965532C16DC3","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e788453c95fbf91c439941310eb816fd915a3173","datavalue":{"value":"https://doi.org/10.1305/ndjfl/1093635929","type":"string"},"datatype":"url"},"type":"statement","id":"Q1182694$A609DD96-C59B-4516-9FC2-36035A0E6E6D","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"e23ccb67996d36de6822c207cd405255c0900b96","datavalue":{"value":"W1980789512","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1182694$B8986676-A17E-449F-8E6B-31804A314F8C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"6a104fc97b107eaa9d332f8048de35fded63f744","datavalue":{"value":"10.1305/NDJFL/1093635929","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1182694$55708CD2-71DD-4E18-AE0D-52F6F177B023","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5c241207956b5fdc0ecb60b50fc5758fc0531f9f","datavalue":{"value":{"entity-type":"item","numeric-id":3712340,"id":"Q3712340"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"818585733334a5f62df3cf5c571579de26bb7051","datavalue":{"value":{"amount":"+0.7932330369949341","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":"Q1182694$F8C2C8D1-CEB9-4690-8AC1-72CC6B363F7C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a7ee820359f0715c7ea5b960ddabd9938e6dea3d","datavalue":{"value":{"entity-type":"item","numeric-id":920081,"id":"Q920081"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b3779aa1254476aa03eb1c2c29c344fee37682bf","datavalue":{"value":{"amount":"+0.7902250289916992","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":"Q1182694$AE824048-3EAB-4186-B434-5E12DFEC2C3A","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":"a219934a7273fd13a061757f48918d2a5aac9fd1","datavalue":{"value":{"amount":"+0.7864251732826233","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":"Q1182694$BC348A61-7F05-4CA9-9539-B75ACA408551","rank":"normal"},{"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":"6a93f5362713e75abce18a2abdca09209672e35f","datavalue":{"value":{"amount":"+0.776282787322998","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":"Q1182694$A391EA57-3F89-4399-8EBC-8E51A4D27ADC","rank":"normal"},{"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":"d764a93bcd8738bf65521506f546f908f085dcc5","datavalue":{"value":{"amount":"+0.7748870253562927","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":"Q1182694$A83CE46B-6E7A-4D3B-8E87-88B5669DDDD7","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Full satisfaction classes: A survey","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Full_satisfaction_classes:_A_survey"}}}}}