{"entities":{"Q2370123":{"pageid":2380866,"ns":120,"title":"Item:Q2370123","lastrevid":57882594,"modified":"2026-04-02T22:43:17Z","type":"item","id":"Q2370123","labels":{"en":{"language":"en","value":"Uniform first-order definitions in finitely generated fields"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5166598"}},"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":"Q2370123$10DDE428-67A7-467A-A40D-CBCB08779318","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"6a8f192b1266eda15f4b3282241d431df6032406","datavalue":{"value":{"text":"Uniform first-order definitions in finitely generated fields","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2370123$9A05D09F-BCA4-4092-A903-F74D057EF50F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"696f6f0d5b2be657820520aa30f6feec109acd96","datavalue":{"value":"1197.12005","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2370123$F8D1B53F-4B15-4883-92E1-37510CD36F72","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b37c0b44856e43ab79ad2863ad723e8428ca580b","datavalue":{"value":"10.1215/S0012-7094-07-13811-0","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2370123$44AE5997-B885-42D9-B94F-42F768363906","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"20bfd080fdc3b7e3f20d23c71e1a608a3f5fa0ac","datavalue":{"value":{"entity-type":"item","numeric-id":215971,"id":"Q215971"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2370123$E0059AA0-3342-44AA-9635-FF84F959014D","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e8d78105b574d85114159aeeb77fd1baaa47af9d","datavalue":{"value":{"entity-type":"item","numeric-id":247488,"id":"Q247488"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2370123$14658E42-8B2B-43A9-90FC-AD7A1A1760C4","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8a146f3c7832a1b6b58c74eeac89c8b9f9d11379","datavalue":{"value":{"time":"+2007-06-22T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2370123$5457614F-C957-42BE-839E-EA74C1D7A90B","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"6543ad3130f48e47c8110c5afc0ae8188833c98a","datavalue":{"value":"https://arxiv.org/abs/math/0507486","type":"string"},"datatype":"url"},"type":"statement","id":"Q2370123$160D5DDD-C7B5-451E-93A0-143850952D97","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"a05ad8de49bb0b4a4e4926c2c1e561149c6d38f9","datavalue":{"value":"The general question underlying the paper is the following: can a given property be expressed by the truth of a first-order sentence? The author focusses on finitely generated fields (i.e. fields that are finitely generated over the prime subfield) considered as first-order structures in the usual language of rings. The two main results can be stated as follow. First, there is a first-order sentence that is true for all finitely generated fields of characteristic \\(0\\) but false for all fields of positive characteristic. Second, given any positive integer \\(n\\), there is a formula with \\(n\\) free variables that, when interpreted in a finitely generated field \\(K\\), is true for elements \\(x_1, \\ldots , x_n \\in K\\) if and only if these elements are algebraically independent over the prime subfield of \\(K\\). The author also shows that the formulas expected in the two results above cannot be purely existential.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2370123$A0BBA91E-5401-42FA-AFD9-8D74DA22BDF3","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"351b9450f12035701e2af37220441d0f1770f858","datavalue":{"value":{"entity-type":"item","numeric-id":836112,"id":"Q836112"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2370123$67962D84-EE04-4A60-966C-0116CE13BC44","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"0e11b4b795dfcca92788cda604d1a11a19d12925","datavalue":{"value":"12L12","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2370123$49AAFA4B-6280-40E5-A4DC-3CD7611EB0FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"009574a0aaaae71df9f86680a254995c981bac3d","datavalue":{"value":"11U09","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2370123$31CB9CA6-FAE2-4B91-80BE-6C2E975A0BC5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f00aec7b2c940e365c27808f50e4aeed90366677","datavalue":{"value":"14H52","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2370123$A326F4A4-30BB-433A-A7C9-8648731614AF","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"aa173e164c0b6cb6a1501bafb0e98b73dcf7fb1f","datavalue":{"value":"5166598","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2370123$B126815D-156D-475E-83DE-0A3A3601A2DB","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a3e7d26a33478864ba460a81541b92366ccfcc5b","datavalue":{"value":"first-order sentence","type":"string"},"datatype":"string"},"type":"statement","id":"Q2370123$2F07E6B7-5C05-42B1-9206-99A7D7F6D9DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0d5fb0331a03b655e4048a2c6caad2f235497ddd","datavalue":{"value":"language of rings","type":"string"},"datatype":"string"},"type":"statement","id":"Q2370123$BC9A9884-2C8F-430D-9E0C-808C60FC2FA0","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":"Q2370123$FA541F4A-722C-42BD-A8BF-04AD55A905E4","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"67ebd977bfa90ac2fedeed1040e81505630a4c12","datavalue":{"value":{"entity-type":"item","numeric-id":4461098,"id":"Q4461098"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2370123$619B3563-7B41-4914-9A1C-98C4A09E2CC9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e5be6982d75b0bdb3a465844336d6d6672da1a8b","datavalue":{"value":{"entity-type":"item","numeric-id":3988353,"id":"Q3988353"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2370123$476B5EA7-33C5-4069-98F0-384AA62C1DC2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"201be8267f6c1bb899f0e8e46461dac702e0a104","datavalue":{"value":{"entity-type":"item","numeric-id":4182609,"id":"Q4182609"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2370123$2D90E653-BD5E-4078-AA29-5382EAAA2AC8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"75e7ecd53dd43a766d92f6c0622709b3bb69a4fc","datavalue":{"value":{"entity-type":"item","numeric-id":1899086,"id":"Q1899086"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2370123$B8075F2B-2509-4DC9-9D85-F9A3C90CA4FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c5c864945d4b5915098ccb4b2efd99ce89d1d23c","datavalue":{"value":{"entity-type":"item","numeric-id":2649922,"id":"Q2649922"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2370123$274483A7-2716-48F8-962E-A0286DC8061F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a1a576dbe8afec3b36dfee76948fe71e2fb9e278","datavalue":{"value":{"entity-type":"item","numeric-id":1912268,"id":"Q1912268"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2370123$6B2B9D27-BF39-4B25-9173-964540649D67","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ead41586bd2d07d52dfeae647df78ecb86f7a272","datavalue":{"value":{"entity-type":"item","numeric-id":5701252,"id":"Q5701252"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2370123$99C5C5B9-FF8F-4212-BBB9-91EDF4EF9AA7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c1731a7da5f5bcd0ad18c4a7f597ce2eb5f6ec51","datavalue":{"value":{"entity-type":"item","numeric-id":3602610,"id":"Q3602610"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2370123$AB20469F-A5C4-413F-8EAE-18C5C53EFD41","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0e39247b399271c54dbbeafb35ae765ebda4f8b8","datavalue":{"value":{"entity-type":"item","numeric-id":1401452,"id":"Q1401452"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2370123$0FE583B5-EEEE-4E01-A869-DD36956904B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"73ea1a986b8212f90121d21e0a14bb9807498264","datavalue":{"value":{"entity-type":"item","numeric-id":5791204,"id":"Q5791204"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2370123$FA0E8CB3-6DD0-4089-A48C-3E4BA5C154CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9ef439a3ec7e18fb2994f6fa506fb395e40d2eaa","datavalue":{"value":{"entity-type":"item","numeric-id":3281069,"id":"Q3281069"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2370123$13E59176-F6B9-41DE-ACDB-EF34B46DD0BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"388da76e9b371f16189e4611f200af2ab3b82d17","datavalue":{"value":{"entity-type":"item","numeric-id":5726694,"id":"Q5726694"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2370123$9DA426B6-5B22-4326-9ED7-486225FCFFD5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4234274ae2a187938224d5bbc7f4d5d107a18608","datavalue":{"value":{"entity-type":"item","numeric-id":3926549,"id":"Q3926549"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2370123$DC095836-22FF-4314-8C0E-43940F85006E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fb380c40c10a7d9d6dec3becc8293ee7708df6a0","datavalue":{"value":{"entity-type":"item","numeric-id":3710637,"id":"Q3710637"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2370123$699A51D4-1921-45F5-B4F6-23818C2FC3C8","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"86412d49488181b845707768dd49396a6525afc2","datavalue":{"value":{"entity-type":"item","numeric-id":2062179,"id":"Q2062179"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f78fb686301bf40a37acdd560d828f68710c7854","datavalue":{"value":{"amount":"+0.7820813059806824","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":"Q2370123$A44D10D8-970C-4EFC-B307-2C166DF14917","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"45ce4525c647fd9f91ae0b427f213f0a6251d96f","datavalue":{"value":{"entity-type":"item","numeric-id":3577298,"id":"Q3577298"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b358eb140cc8260a29a23534e783500690b16e04","datavalue":{"value":{"amount":"+0.7665790319442749","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":"Q2370123$9C6BB367-678B-4CFE-B98E-128C8AC411E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"683700d6a3a40e741913384229eaffc9c6d166c9","datavalue":{"value":{"entity-type":"item","numeric-id":1686477,"id":"Q1686477"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2524ec61317c952db76f44570bacb34b580347f2","datavalue":{"value":{"amount":"+0.744931697845459","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":"Q2370123$27E01BFD-371E-4C6E-9260-0080F47D2A24","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"55e24ada0be82e51a92805b75c7ed5d3cf50d2ee","datavalue":{"value":{"entity-type":"item","numeric-id":5202171,"id":"Q5202171"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fb5dea9bd33ea9310d75cb1584805e660fcf3efa","datavalue":{"value":{"amount":"+0.7346133589744568","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":"Q2370123$93F69FA2-186D-4535-9F27-7CA365D67502","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e3e8b05f02dcbbb84a337c79dafbae034e559d90","datavalue":{"value":{"entity-type":"item","numeric-id":4004800,"id":"Q4004800"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5ce4725a3b395e9e151bddba8165fa7a0830eba8","datavalue":{"value":{"amount":"+0.7269120812416077","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":"Q2370123$5CB544E5-ACF0-401B-A53E-23C6BBA365B4","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2370123","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2370123"}}}}}