{"entities":{"Q5945007":{"pageid":8121809,"ns":120,"title":"Item:Q5945007","lastrevid":47680849,"modified":"2026-01-02T10:16:00Z","type":"item","id":"Q5945007","labels":{"en":{"language":"en","value":"Computability in structures representing a Scott set"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1655893"}},"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":"Q5945007$15EB6B23-2282-4E80-90C5-2266C8328E67","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e7909ff0644d5636bd217181a94e75fa86ef8b29","datavalue":{"value":{"text":"Computability in structures representing a Scott set","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5945007$33CF7473-5CBF-4582-9730-616164881DDF","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4599bc46c6e7af52c1e351fdd1290b1218814146","datavalue":{"value":"0999.03031","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5945007$AEA912D4-26AD-4A96-A90E-0DC738AD9E17","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"68372578722562ac7d4c2b2fc3f1eee042e228a2","datavalue":{"value":{"entity-type":"item","numeric-id":206556,"id":"Q206556"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5945007$907259B9-B6B4-4B16-A0E1-A499C2A8A496","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":"Q5945007$8B1706DC-05BB-464C-A7E5-7274DA22B182","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ecfb7a4bc3532872a5df039a2c083f1e58c22460","datavalue":{"value":{"time":"+2002-11-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":"Q5945007$18D6F0EF-2726-4415-8F38-71FE2E253700","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"d2faeb38d7896d4fe33aa20cb2bb32a289e8c8f7","datavalue":{"value":"In this paper the author utilizes a notion of forcing for which the generic objects are are structures and which allows him to compute certain sets and enumerations.    Considering a characterization of sets of natural numbers computable in all models of a given theory representing a given Scott set, the author shows that the characteristic function of such a set must be enumeration reducible to a complete existential type which is consistent with the given theory and is an element of the given Scott set.    The author also shows that there exist models of of completions of ZF from which one cannot enumerate the family of sets represented by the theory.","type":"string"},"datatype":"string"},"type":"statement","id":"Q5945007$C36FD161-84FF-4B26-B6B7-3FF455A7C5DD","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"7c0f9a5de2afd25d103c132e1617d4201a3c58e4","datavalue":{"value":{"entity-type":"item","numeric-id":591972,"id":"Q591972"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5945007$CC68E825-8B5B-4591-8EE6-646248EBED0A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e4acb947bbb93aef022d2652e8dc30ed364d53d7","datavalue":{"value":"03C50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5945007$5C4385CD-8A89-425A-896B-E80E65E9499B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7ac70285252cd92545adbf950f35d5f38d449784","datavalue":{"value":"03C25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5945007$992C6317-F13A-44B4-BF48-EDCC80F0A1C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"51c3dc27e13e59ca92a9af5f9c02c332a8b9421a","datavalue":{"value":"03C57","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5945007$C130C257-B99E-4102-A4B3-F08E1A5385E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"31eb4b2fe460225d8220386b6d12b964cafd1ca3","datavalue":{"value":"03C62","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5945007$481D51B4-CD66-4435-B7FC-C471EE348A9B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"379be2ae88ac653823960287ba517e23fc9265f4","datavalue":{"value":"03D30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5945007$E83BD61F-354B-449E-A3B6-0500B2A8D58D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a27f9f06d965be24ec50f61065e06d2029a566a7","datavalue":{"value":"03D35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5945007$D6A58CA0-63EA-4A27-B963-D5C157B116B3","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"bdcb17f197469f36eca299a63599301fcae929f9","datavalue":{"value":"1655893","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5945007$D2D5CCF4-7485-4BC2-816D-018D7D4E3C2F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f84459e32fe6e8af51205469091c89643497426d","datavalue":{"value":"computable structures","type":"string"},"datatype":"string"},"type":"statement","id":"Q5945007$83D9238A-DC71-4F7A-A9F3-DC048F8595DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5a41e80be16bc75c50294b103dea46d08ddba0d7","datavalue":{"value":"generic objects","type":"string"},"datatype":"string"},"type":"statement","id":"Q5945007$8BBCA1A4-83E9-409C-861D-3F71D25580BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"64ec9b90cc61735c5f1b463ce9d468c25b2205af","datavalue":{"value":"Scott set","type":"string"},"datatype":"string"},"type":"statement","id":"Q5945007$E8D7AA4D-AF16-4891-882E-73945AE33937","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4881b59035d29df92f521fb7f6c93516b972baeb","datavalue":{"value":"models of arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5945007$DC353C83-D65D-4BBB-8799-9E1A4758D2F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"23c881dd9f3b2f6d5ea8dc1f0727e53bb82f957d","datavalue":{"value":"arithmetical sets","type":"string"},"datatype":"string"},"type":"statement","id":"Q5945007$8891C36A-5BBF-4DFF-85A0-0E791949DEAF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1b23248042bd506455f51600d00d7ec5443276f9","datavalue":{"value":"forcing","type":"string"},"datatype":"string"},"type":"statement","id":"Q5945007$31E4B12B-F888-4378-B498-58D25F50C913","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":"Q5945007$B4C8CB4B-5C3F-41DB-9581-205690468D93","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"5d7cf244bffe77de99e879e01f67dc0eb06c2572","datavalue":{"value":"https://doi.org/10.1007/s001530000060","type":"string"},"datatype":"url"},"type":"statement","id":"Q5945007$16366280-D714-4460-91F3-DE9C33535A2C","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"a053530e43b55681c24c891e25b07013341e4371","datavalue":{"value":"W2013384808","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5945007$658437C6-1AEB-4539-9E61-C0621415BA75","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"01c3a794cd52e7cdcbc9943aba68705efbfbb966","datavalue":{"value":"10.1007/S001530000060","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5945007$95DF70C3-56A5-48AA-8D27-3D3C2F17B1BC","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a0a3e5bc2d8219697562be061eab60f5c09df8c6","datavalue":{"value":{"entity-type":"item","numeric-id":4227885,"id":"Q4227885"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"397a84b6c56421a0be0422c39f3184c9ee792035","datavalue":{"value":{"amount":"+0.7763850688934326","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":"Q5945007$21E8808B-1F74-4B32-8F58-EDFDCF510D1D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c681600fb674289460afa4bd451043325c5ded27","datavalue":{"value":{"entity-type":"item","numeric-id":4387097,"id":"Q4387097"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"044980bf6d6780e93dc7bd6a8c3fdeda0dbd98a5","datavalue":{"value":{"amount":"+0.7746509313583374","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":"Q5945007$7565EB07-4CBC-4DDA-9329-C403E3117A58","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3cfbcfdea442a571e4da1c99bd80eb29f40dbc43","datavalue":{"value":{"entity-type":"item","numeric-id":2976365,"id":"Q2976365"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3ea28f02211d9f8cd25a9caa9f88cd18ffb10785","datavalue":{"value":{"amount":"+0.7606664299964905","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":"Q5945007$7D40B02B-6B2B-4E3E-A407-7A54765C16CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"86bedf9bf309968d6da61f842bb1a1e27be99e78","datavalue":{"value":{"entity-type":"item","numeric-id":3773855,"id":"Q3773855"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ef47c01b2dc74412b10748c153042c55ffc3e73e","datavalue":{"value":{"amount":"+0.7599669694900513","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":"Q5945007$E9168FBA-4177-4348-93E7-DBD468007E5B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"509b00fed2256e9ba1eb8879aefba8915401bfc6","datavalue":{"value":{"entity-type":"item","numeric-id":5717043,"id":"Q5717043"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a790a54f443cc62628800c756dde104345b45358","datavalue":{"value":{"amount":"+0.7561720013618469","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":"Q5945007$962C8C3C-541B-4F5C-A580-7A86FE852621","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5945007","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5945007"}}}}}