{"entities":{"Q1363950":{"pageid":1374689,"ns":120,"title":"Item:Q1363950","lastrevid":70246071,"modified":"2026-04-13T13:28:21Z","type":"item","id":"Q1363950","labels":{"en":{"language":"en","value":"Definability in hereditarily finite manifolds"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1050659"}},"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":"Q1363950$A1F69D5C-FFE4-4B91-A57A-FD3740EFB7C0","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"15d1df2abf54c763da437481c5334d56b6eeac87","datavalue":{"value":{"text":"Definability in hereditarily finite manifolds","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1363950$63DC90A3-C56F-429E-9751-3077A03979CE","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"271da83a91424d8da557c4a5a4fca798eb581b1a","datavalue":{"value":"0874.03042","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1363950$12AAEC3D-E822-4836-B051-AEB460224BBF","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"2bbc31fcaa3dcf49d82403ba391044fdfb104e43","datavalue":{"value":{"entity-type":"item","numeric-id":161529,"id":"Q161529"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1363950$57EF2C2A-3874-4C33-8442-3A62B8D0EA9B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"62c8c7692fa7223a1bc40102133e79e318fde956","datavalue":{"value":{"time":"+1997-11-05T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1363950$919B1593-EEDB-4C78-A958-8CB4D636FB3E","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"7ff90c465a3a3c055a251f9830bc4d13a7ebf761","datavalue":{"value":"Research on the \\(\\Sigma\\)-definability problem in hereditarily finite superstructures, i.e., systems of the kind \\(HF({\\mathfrak M})\\) for models \\(\\mathfrak M\\) of prime theories, was first carried out in the author's paper ``\\(\\Sigma\\)-definability in admissible sets'' [Sov. Math., Dokl. 32, 767-770 (1985); translation from Dokl. Akad. Nauk SSSR 285, 792-795 (1985; Zbl 0615.03035)]. It was discovered that prime sets (models of zero signature) are insufficient for defining either the complex number field \\(\\mathbb{C}\\), or the real number field \\(\\mathbb{R}\\). But if \\(HF(L)\\) for linearly ordered sets \\(L\\) is considered, then in such systems both \\(\\mathbb{C}\\) and ``large'' real-closed fields are \\(\\Sigma\\)-definable.   Here, we obtain the criterion for \\(\\Sigma\\)-definability of uncountable models in \\(HF(L)\\) for dense linear orders \\(L\\) without ends and give a negative answer to the question of \\(\\Sigma\\)-definability of the field \\(\\mathbb{R}\\).","type":"string"},"datatype":"string"},"type":"statement","id":"Q1363950$FB80C812-8326-4F19-BECE-5755BD4E96B8","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c1d2d83da0d870574277144fdd1db9abaae162ec","datavalue":{"value":"03C40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1363950$BE59BD43-2E3D-4313-9779-01D211737B72","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d09d696fa357365f057a7c984fce6a109a5f7b70","datavalue":{"value":"03C60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1363950$17D03F82-2AEE-4C1C-BD63-FDD8AC432972","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"51c3dc27e13e59ca92a9af5f9c02c332a8b9421a","datavalue":{"value":"03C57","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1363950$F9C45119-3CDB-4B8E-8B50-F6E8DCF57527","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"02bd10b25e87e05c2e310018a75997b475d12ac5","datavalue":{"value":"1050659","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1363950$3A23CC7A-EF83-4891-8984-6889FD1BCA37","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c36302fe9a5aedd0652337e02afb4830094a2b2b","datavalue":{"value":"Sigma-definability","type":"string"},"datatype":"string"},"type":"statement","id":"Q1363950$5B2C3497-FEF8-427B-98CC-6015D7460615","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0283f330775960e8c4b9f45af660133a47f36496","datavalue":{"value":"hereditarily finite superstructures","type":"string"},"datatype":"string"},"type":"statement","id":"Q1363950$713CDE3C-E29E-405A-96F8-152F8158883B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"418cd5715550da4babc7088245a88c1e2028e03e","datavalue":{"value":"prime sets","type":"string"},"datatype":"string"},"type":"statement","id":"Q1363950$E0DED4B9-D893-4553-B2BF-EF8E7AA9E419","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"95d26d49870bc31dd0ebed45ca1891da066a6303","datavalue":{"value":"real number field","type":"string"},"datatype":"string"},"type":"statement","id":"Q1363950$AD855AF2-12E1-4AF0-8C17-40ED5F77491D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e72fb31d66f06693b88ba261fed054baf1419c0d","datavalue":{"value":"uncountable models","type":"string"},"datatype":"string"},"type":"statement","id":"Q1363950$83244EA5-FDCD-4357-9C1B-E32347C41E3D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"57054e60856d779191209b6aeb533d3622dd76d4","datavalue":{"value":"dense linear orders","type":"string"},"datatype":"string"},"type":"statement","id":"Q1363950$7ABB8910-E9B0-483C-B803-12B17C00F99E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d03039664f86d7517c30a64acbdad4c2f746ab89","datavalue":{"value":{"entity-type":"item","numeric-id":431715,"id":"Q431715"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1363950$F6C4275C-00E7-4759-9D1F-A79A1E81D5D3","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":"Q1363950$35BF97F9-6B4B-4174-837A-394C51EB8D67","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"268c75ea3beaae76ea78c95547b19be3553b3fc1","datavalue":{"value":{"entity-type":"item","numeric-id":4664636,"id":"Q4664636"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4d01784fad90f4e3b29edb3ccb9875cbd77d3ca4","datavalue":{"value":{"amount":"+0.8272872567176819","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":"Q1363950$77E267A3-846B-46E1-9FF2-1B832158E0B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6b2e4953b591e7fb3dac0ad0c012eb614040528e","datavalue":{"value":{"entity-type":"item","numeric-id":4973195,"id":"Q4973195"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"63b390ca3ae63ffd532863c3d58675eca1e25700","datavalue":{"value":{"amount":"+0.816691517829895","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":"Q1363950$72397653-6151-4EF5-997B-FA6009DFF343","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8d83478e8e288f5554b9be6b148a0db0b2c2da92","datavalue":{"value":{"entity-type":"item","numeric-id":2970968,"id":"Q2970968"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"28b270699061f939348f49338a2774de37aeaad5","datavalue":{"value":{"amount":"+0.8157632946968079","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":"Q1363950$83DAE585-4F19-40A2-8A6A-16B3DAA749E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a62f5576cbce4353bea8a84af2758db0146a6bab","datavalue":{"value":{"entity-type":"item","numeric-id":4451652,"id":"Q4451652"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5c8d20466fe5f4f446183fe46259a016dd0a205b","datavalue":{"value":{"amount":"+0.81058269739151","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":"Q1363950$933A56E5-962D-4C56-B6F3-F9810E8C9ED3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2ddbdcd33abc5dde200d900cf5e1bb9a40534a53","datavalue":{"value":{"entity-type":"item","numeric-id":3546124,"id":"Q3546124"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b6f17affeca9249ac610023c5851b6be92befb24","datavalue":{"value":{"amount":"+0.8049742579460144","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":"Q1363950$21A68A77-025C-40EF-8718-EF3AF2338ACB","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Definability in hereditarily finite manifolds","badges":[]}}}}}