{"entities":{"Q1288095":{"pageid":1298845,"ns":120,"title":"Item:Q1288095","lastrevid":43004267,"modified":"2025-07-16T19:31:52Z","type":"item","id":"Q1288095","labels":{"en":{"language":"en","value":"The uniformization property in hereditary finite superstructures"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1285623"}},"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":"Q1288095$DA6AB231-5B47-4AF9-9A58-956965D3B911","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"dca6f2b792e0d18b7455985d304de4607ea777f2","datavalue":{"value":{"text":"The uniformization property in hereditary finite superstructures","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1288095$FA885F15-87C6-4000-90F5-E07942D60AAF","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"7704657020c64a3e6d632b14f01717cfb8315f4b","datavalue":{"value":"0914.03055","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1288095$DA159DED-C17D-49A3-B507-758FAD882D9A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"4a7e1edd9dec4cb0232fcd59619d2bf2da6459eb","datavalue":{"value":{"entity-type":"item","numeric-id":606058,"id":"Q606058"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1288095$DACF53CE-A5B5-49C8-8532-C03048D74B36","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"bb214a324578d364a00ee337c3e0f9ef9754a9a5","datavalue":{"value":{"entity-type":"item","numeric-id":178387,"id":"Q178387"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1288095$B90AD312-E45A-4A4B-85A5-4767517F87BA","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9d813d017569a88be575f72f65c9be3f8b448fdd","datavalue":{"value":{"time":"+1999-05-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":"Q1288095$B1AA889A-0E86-43E1-A8AE-264866C8F8AA","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"e00c53d22ee17a608a294d6af5ffda8ee819572b","datavalue":{"value":"A theory is called regular provided it is model-complete and decidable.   The author proves that, for an arbitrary model \\(M\\) of a regular theory, a superstructure HF\\((M)\\), which is the admissible set of all hereditarily finite sets over \\(M\\), possesses the uniformization property if and only if \\(M\\) is a model with \\(\\Sigma\\)-definable Skolem functions.   As a corollary, he derives that this property is satisfied for hereditarily finite superstructures over the fields of reals and \\(p\\)-adic numbers.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1288095$7F470F6C-85D0-40B1-AFB0-E33693B9A70F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"4c09ea78484192dfb20180fed0b8ec0fbe50483f","datavalue":{"value":"03D60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1288095$7142F0F8-3C30-4823-9AF3-D1C7CE244714","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"188b6c199125847212533426dfbb43082ee9bc77","datavalue":{"value":"03C70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1288095$69D62031-1626-456E-AB3B-BECE33BC45E0","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"371b245aff3fef449da87780bf497f9c3b4c42fb","datavalue":{"value":"1285623","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1288095$AFF43C13-CE15-480C-A0EF-E0A4C732D653","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"13520136f7384b2fc8479cec399c14be15c9713e","datavalue":{"value":"admissible set","type":"string"},"datatype":"string"},"type":"statement","id":"Q1288095$EDA7336B-9FDB-4468-86DF-3688C3D37527","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1182631142412499643738afe82e0048be7b105e","datavalue":{"value":"uniformization","type":"string"},"datatype":"string"},"type":"statement","id":"Q1288095$DF0C00BA-EB75-40D6-93A7-7F973303996E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8b0faecc1a2babb6e46c6c3c8f447214a06a09b1","datavalue":{"value":"Skolem function","type":"string"},"datatype":"string"},"type":"statement","id":"Q1288095$0F686C2D-8135-4848-B0D5-12212FD82FF9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c3025651dc199b6d91cafcbcee85d1baefe3b714","datavalue":{"value":"regular theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q1288095$59811006-9040-407E-802C-C9FD09BDBD83","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1e74996e55d08d5503c25807ec7e547c5c73d629","datavalue":{"value":"hereditarily finite sets","type":"string"},"datatype":"string"},"type":"statement","id":"Q1288095$0BEE865E-F06B-4604-81A5-E58D190770FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c20f87c2ab283a352eb5ae641ad2ce7c77784b88","datavalue":{"value":"hereditarily finite superstructures over fields","type":"string"},"datatype":"string"},"type":"statement","id":"Q1288095$91BEAAC2-5C75-4B80-8BEA-4D282D305825","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":"Q1288095$9AE77B26-2F76-4C16-844C-BC18789C624C","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":"Q1288095$63D6055C-B8E3-4487-BDA2-8E461D741195","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ab701787eb290d5415d97a2e91ae1312e4b793a0","datavalue":{"value":{"entity-type":"item","numeric-id":4936677,"id":"Q4936677"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9d07988079b15304e8c12177609b03f6ff0307e6","datavalue":{"value":{"amount":"+0.98141646","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1288095$CA9715F3-2080-4952-BEC9-396E490259CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0eeedca5ed685c37b77a3b74f2442f2d10d0a801","datavalue":{"value":{"entity-type":"item","numeric-id":5879041,"id":"Q5879041"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fef769824cde87244574f1cc19d55c5da690c709","datavalue":{"value":{"amount":"+0.88536465","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1288095$1AC100E9-F959-45D5-8028-C7B8197FB0FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0e3e0f8dc68b3cf327d8d49031810a086e460257","datavalue":{"value":{"entity-type":"item","numeric-id":2364328,"id":"Q2364328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e86b097e1961ce6f7afd682cb31f8ed68a682d90","datavalue":{"value":{"amount":"+0.87920773","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1288095$592776F0-BB39-48E0-9A9E-6EED026F8515","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"600a673a799ec580080b0dd4beefcebc3cc1b23d","datavalue":{"value":{"entity-type":"item","numeric-id":904315,"id":"Q904315"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d88c062200c77e1ebf2339fd06f787e766715015","datavalue":{"value":{"amount":"+0.8741205","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1288095$FAE11534-CEB8-4222-8691-FBF0D36B0A26","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f18689d7f509b9b8faf65334e1752687017de3aa","datavalue":{"value":{"entity-type":"item","numeric-id":2342296,"id":"Q2342296"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"16104db916ea1d3447da1729f4f530f6b0a7a268","datavalue":{"value":{"amount":"+0.86634034","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1288095$BB3E141E-D396-4173-A485-B26B59666839","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1536224f01d558e473672e1a1b987a244855e497","datavalue":{"value":{"entity-type":"item","numeric-id":2683540,"id":"Q2683540"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"de24f639d4441059a2e48aaaa62c7fcba0f5a10d","datavalue":{"value":{"amount":"+0.8646821","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1288095$363970F3-70B7-404A-873C-59393AF08C13","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9508d3607b748d4d68a86747e786c60309b85780","datavalue":{"value":{"entity-type":"item","numeric-id":6171732,"id":"Q6171732"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2fbc082fb3e790e68a8e12f6ee661d55bbb8d62e","datavalue":{"value":{"amount":"+0.85985094","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1288095$81873F10-6BCD-4246-9569-5732DB16752A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"97dfe17fd7a14c437244d6b5e255db7cbb8f68c6","datavalue":{"value":{"entity-type":"item","numeric-id":691620,"id":"Q691620"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c6f1165da9ba4ea1591242d95af90189b12771f4","datavalue":{"value":{"amount":"+0.8583657","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1288095$DDFFFF60-5FED-405A-9834-401CAF742833","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"60e13a133c5774db105324cc443f0b46e99dd0cd","datavalue":{"value":{"entity-type":"item","numeric-id":1644856,"id":"Q1644856"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f68c0d1014ff6fe3d2f15f731c09f9bf5226a6d4","datavalue":{"value":{"amount":"+0.8569757","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1288095$18008296-E9C4-4296-B89F-E835614316C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bcbd1e46e73d67d55c32afe15a49a834c3bb08e4","datavalue":{"value":{"entity-type":"item","numeric-id":1343850,"id":"Q1343850"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4e2460d1a69d359b7e905a65484dc61d2a6ec842","datavalue":{"value":{"amount":"+0.8506727","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1288095$344053A1-3F89-4DDB-8E4D-D43EA085D204","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1288095","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1288095"}}}}}