{"entities":{"Q2714036":{"pageid":2724775,"ns":120,"title":"Item:Q2714036","lastrevid":47618764,"modified":"2026-01-02T05:53:41Z","type":"item","id":"Q2714036","labels":{"en":{"language":"en","value":"The intrinsic enumerability of linear orders"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1603304"}},"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":"Q2714036$16A1BECA-7406-454B-9501-B412BE27F580","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"afbb484995cc6632c9d04de9359824d8ccc66848","datavalue":{"value":"0965.03049","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2714036$BFF50AEC-AAF4-4649-979A-F24561745B98","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0d22b5d553a61f7a79b4315c8cb123debbcd4d5f","datavalue":{"value":{"entity-type":"item","numeric-id":259848,"id":"Q259848"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2714036$0DB1FD18-E366-4CCD-A021-6A743ABEAA30","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d399175a75045d6e68cdfc363866ce63dcafb225","datavalue":{"value":{"time":"+2001-06-10T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2714036$86E55BF7-AC65-4DD3-B6EC-C48553168B53","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"5ec1660ea8a6d124c1e88c0870e64bf976a0905e","datavalue":{"value":"https://eudml.org/doc/187956","type":"string"},"datatype":"url"},"type":"statement","id":"Q2714036$C8FF318A-EE05-4CED-B0C1-ABC18E4A3F18","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"51c3dc27e13e59ca92a9af5f9c02c332a8b9421a","datavalue":{"value":"03C57","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2714036$33C88870-D8C9-4351-B6C5-AF6DDDBEE0D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4c09ea78484192dfb20180fed0b8ec0fbe50483f","datavalue":{"value":"03D60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2714036$4F445593-AF8F-4A8C-ADB4-4C7F4F24B89B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1861f12399113791c5ca7c529eb815921b5fed29","datavalue":{"value":"1603304","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2714036$3FB64B5F-E95F-46A3-8B64-472DA95C8E38","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"460a9f5cc01e79ac846998e3154e3d375feded74","datavalue":{"value":"intrinsically enumerable model","type":"string"},"datatype":"string"},"type":"statement","id":"Q2714036$2EAC858D-ADFC-471A-950F-F47B9FA630A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"13520136f7384b2fc8479cec399c14be15c9713e","datavalue":{"value":"admissible set","type":"string"},"datatype":"string"},"type":"statement","id":"Q2714036$70E49026-0AAE-424B-8EF0-ECFA0D7049A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5f6490612819b815c2a4c2aa7f0bf597ef049e40","datavalue":{"value":"hereditarily finite superstructure","type":"string"},"datatype":"string"},"type":"statement","id":"Q2714036$51131334-7C4D-4649-9CB3-56E0A4083DF3","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":"Q2714036$4B590F8A-FF3A-4E05-8308-9740BF86AE95","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a72232a932857c2c12e3e9cc955c693b0fc22b9c","datavalue":{"value":{"text":"The intrinsic enumerability of linear orders","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2714036$CC190FCE-BF58-4B5B-819D-33C3D317EAAC","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f08eb16300f59329ffcfb1ce2c954ae75f9ae049","datavalue":{"value":{"entity-type":"item","numeric-id":6768234,"id":"Q6768234"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2714036$9D44C023-1998-4251-AD86-27E223CF9250","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"049bea928b359554b60816992bf9a2685dd0df72","datavalue":{"value":"A model \\(M\\) is called intrinsically enumerable if there exists a mapping \\(\\nu\\:\\omega\\rightarrow {\\mathfrak M}\\) which is \\(\\Sigma\\)-definable over \\(\\mathbb {HF}({\\mathfrak M})\\). The main result asserts that every infinite linear ordering is not intrinsically enumerable. Some criteria are proven for the existential equivalence and inclusions between existential theories of models of the kind \\(\\langle{\\mathbb {HF}}({\\mathfrak M}),a\\rangle\\).","type":"string"},"datatype":"string"},"type":"statement","id":"Q2714036$D1AA677F-5154-4736-97EC-E6F95E9BA290","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"3ce0c15be929efae5d1db4165b73b6b1dd00974c","datavalue":{"value":{"entity-type":"item","numeric-id":630291,"id":"Q630291"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2714036$02D8461B-3D68-4BCC-984C-2D3980E3843D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"01ba2cfc853ac054a38ea65f18e7d3e5aed53c08","datavalue":{"value":{"entity-type":"item","numeric-id":3712322,"id":"Q3712322"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0141fce8d31989466add6d700524d43139c3c363","datavalue":{"value":{"amount":"+0.7394117712974548","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":"Q2714036$DC71B120-09AF-47A0-BC10-C24214AB6C78","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1ca99f1c4a8c8bcf92c57955fcf99b1a9536a059","datavalue":{"value":{"entity-type":"item","numeric-id":5753943,"id":"Q5753943"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0b6b2d887c38db2ff2f334b151802bb74e3c7d48","datavalue":{"value":{"amount":"+0.7366396188735962","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":"Q2714036$78C86B88-B6D4-421C-8185-EB08904D0676","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5ffa4d4b211b9f67645c2b6a15f0eef4ec499014","datavalue":{"value":{"entity-type":"item","numeric-id":4517355,"id":"Q4517355"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"156c63a1ff7f82fb56d06972950286b4cb49298a","datavalue":{"value":{"amount":"+0.7349846363067627","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":"Q2714036$B544DDBD-18EB-4B0F-AE3C-F9BD61C68D26","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8878beddb36e761cc27d95b27888a9999872a8b7","datavalue":{"value":{"entity-type":"item","numeric-id":1307172,"id":"Q1307172"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"156c63a1ff7f82fb56d06972950286b4cb49298a","datavalue":{"value":{"amount":"+0.7349846363067627","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":"Q2714036$A4F4CB43-2FF6-42F5-8BFE-639AE263C37E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"58932cb7d7d78ff000051f1611bfc6c31e096dac","datavalue":{"value":{"entity-type":"item","numeric-id":3842550,"id":"Q3842550"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fb7901b74a2154065e22c6e90ddda8978d9147ed","datavalue":{"value":{"amount":"+0.7081373333930969","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":"Q2714036$79F694E9-5B2C-4C38-B786-CED422876B7C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2714036","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2714036"}}}}}