{"entities":{"Q796579":{"pageid":798427,"ns":120,"title":"Item:Q796579","lastrevid":64404075,"modified":"2026-04-11T19:38:05Z","type":"item","id":"Q796579","labels":{"en":{"language":"en","value":"Regularly r-closed fields"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3865437"}},"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":"Q796579$D465C5B6-5F19-4810-B373-8A46B693B78A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"119dc8c97641e57a9e4fc8547c6aadaee25a7c7a","datavalue":{"value":{"text":"Regularly r-closed fields","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q796579$ECEEA10F-2100-46E0-8193-E18F0BF17BBE","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c23523718bb6bebaf36e4c1bd1f48fd2f6dbbb1d","datavalue":{"value":"0544.12017","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q796579$33B37B2D-50AB-46A8-9FA9-F5D6E7127AC0","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"6a80bb1245e8717250dd0e0cb7de7c975673c6f2","datavalue":{"value":"10.1007/BF01979675","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q796579$5D3858DB-CA2D-44BB-85AE-D23CE2050400","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"ef3ca3322541db05049091162b21145bd512b130","datavalue":{"value":{"entity-type":"item","numeric-id":251873,"id":"Q251873"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q796579$543984E5-AF51-4DB2-A2C7-D245A79FCB3E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0136733d5dd7d9f4d36f24c87a0b8375ae1cb2fd","datavalue":{"value":{"time":"+1983-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q796579$A64C3B62-7260-4F6D-A6E6-DE31F866B7FD","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"e1ba77079003f0b09209cdf0127c3f9ddd8393d5","datavalue":{"value":"The author investigates model-theoretic properties of regulary r-closed fields [i.e. pseudo real closed fields, cf. \\textit{A. Prestel}, Lect. Notes Math. 872, 127-156 (1981; Zbl 0466.12018)] (F,P), where F is a preordered field with a positive cone P. The main results of the paper concern classes \\({\\mathfrak P}({\\mathfrak G})\\) and \\({\\mathfrak P}^*({\\mathfrak G})\\), where for a class \\({\\mathfrak G}\\) of involutory groups the class \\({\\mathfrak P}({\\mathfrak G})\\) (\\({\\mathfrak P}^*({\\mathfrak G}))\\) consists of preordered fields (regulary r- closed fields) (F,P) such that the involutory group G(F,P) of (F,P) is a \\({\\mathfrak G}\\)-group (universal \\({\\mathfrak G}\\)-group). If (F,P) is considered as a model of signature \\(\\sigma_ 1=\\sigma_ f\\cup \\{P^ 1\\}\\cup \\{w_ 2,...,w_ k,..\\},\\) where \\(\\sigma_ f\\) is a signature of fields and \\(w_ k(x_ 1,...,x_ k):=(\\exists x)\\quad(x^ k+x_ 1 x^{k- 1}+...+x_ k=0)\\) the author proves that \\({\\mathfrak P}({\\mathfrak G})\\) and \\({\\mathfrak P}^*({\\mathfrak G})\\) are axiomatizable and T\\(h({\\mathfrak P}^*({\\mathfrak G}))\\) is a model companion for T\\(h({\\mathfrak P}({\\mathfrak G}))\\). Moreover, T\\(h({\\mathfrak P}^*({\\mathfrak G}))\\) is decidable iff \\({\\mathfrak G}\\) is a recursive class.","type":"string"},"datatype":"string"},"type":"statement","id":"Q796579$97BD7A28-636E-4E74-ABEF-F4B174402102","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"0e11b4b795dfcca92788cda604d1a11a19d12925","datavalue":{"value":"12L12","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q796579$2A828D1A-D2DA-4E4E-9333-66F2D72A5077","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"299c2ceee90a97db4ef5b7d633c2a5784e0cb3c0","datavalue":{"value":"12D15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q796579$2F5206D8-6350-40F9-87AB-E48BCA486D58","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d09d696fa357365f057a7c984fce6a109a5f7b70","datavalue":{"value":"03C60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q796579$B11B94A7-56A9-4D03-82AF-BD6B84BAE9F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c1435d0ab5d791aa524ff4a1a914fd6a90eedf58","datavalue":{"value":"12L05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q796579$E6687742-B38D-417E-AB3A-548C6B720C26","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q796579$6E345AD7-029D-41BD-A12E-3AE02D490ACD","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"dfe368816186ca54d03fef5edea74846568049e2","datavalue":{"value":"3865437","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q796579$E8D1D977-90A8-4983-9F34-66F75DDA916B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7238a4eb9f9b147f1d55d2ed1612f559959cc998","datavalue":{"value":"regularly closed fields","type":"string"},"datatype":"string"},"type":"statement","id":"Q796579$D504A949-97FD-457E-9862-9427F9969FB4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"df439c23d0ec76277b5b8f47018aa3241210f405","datavalue":{"value":"pseudo real closed fields","type":"string"},"datatype":"string"},"type":"statement","id":"Q796579$DA04F053-8FDA-44D0-ABD5-1AC79233766B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0c39d257d76836738f474ae2ad0baf553ea77ac3","datavalue":{"value":"preordered field","type":"string"},"datatype":"string"},"type":"statement","id":"Q796579$0A9903BB-9544-446C-A19C-613CDCCCF499","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a86fdf73293b3aa93c6f9880ab817a83b5ded81b","datavalue":{"value":"positive cone","type":"string"},"datatype":"string"},"type":"statement","id":"Q796579$471BE578-CB18-497D-BE7D-65269FCFBC9F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8dfb3c366f65f4349d660b00e114b9611f3733bd","datavalue":{"value":"axiomatizable","type":"string"},"datatype":"string"},"type":"statement","id":"Q796579$0462D367-F99D-45A4-9CD8-266F1C20ACDA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e56648436bc69574babbc2ceb18fe05313ae543e","datavalue":{"value":"decidable","type":"string"},"datatype":"string"},"type":"statement","id":"Q796579$7C308029-934B-4741-B21A-B7AE2ECD0131","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a4071811d8fbaf4afedecfd0f073b56d1a9d2d2b","datavalue":{"value":"recursive class","type":"string"},"datatype":"string"},"type":"statement","id":"Q796579$62161A02-6E1D-4411-8641-2849D29B241A","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":"Q796579$34495735-1BE2-4CDB-81B3-E1CF139A32DA","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"db4dd281735bccdbfc8df45ccfed3297c43da776","datavalue":{"value":{"entity-type":"item","numeric-id":588659,"id":"Q588659"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q796579$2AEEAA56-1963-42D9-A9B5-64A9A5872174","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":"Q796579$338E1585-D9CF-472B-B0EF-3059656354C6","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"ad548fe0bc5597f764994465211011f6c1098d93","datavalue":{"value":{"entity-type":"item","numeric-id":3218217,"id":"Q3218217"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q796579$5CE237B4-58C9-454B-B90D-9E3E3A2DE8E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"91f9a307cca8d0314e94bff76aeb2f631d234b92","datavalue":{"value":{"entity-type":"item","numeric-id":1076668,"id":"Q1076668"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q796579$909B4E31-B5B0-4428-A906-04BE101C3FAB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8385c5931d4541b602d264b97a54f23a4b39261e","datavalue":{"value":{"entity-type":"item","numeric-id":4767461,"id":"Q4767461"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q796579$1C691274-F1E8-4661-8F74-8B2C20B207F1","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f7d28c8304879ce86ae8e86b60991f7681795a2e","datavalue":{"value":"https://doi.org/10.1007/bf01979675","type":"string"},"datatype":"url"},"type":"statement","id":"Q796579$4F98188D-0698-415B-9603-73DE2F0EA78C","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"8a87fa6c06092113ab1522d920aefaeafb0c989e","datavalue":{"value":"W2324294869","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q796579$F34500ED-7DE0-4A44-B857-E1D2D8B555D4","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6f2435156581efea13c2acaf347ac4c555a85f46","datavalue":{"value":{"entity-type":"item","numeric-id":3693590,"id":"Q3693590"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"19a7dd14b59aa7a72b1e862cdab23ec8b5f8e413","datavalue":{"value":{"amount":"+0.8942479","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q796579$4E8A8CE0-1EAA-4C4C-B86F-8070FBB4EA37","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fcddda66f73915a68d7cd75bb48732d9f5b37fde","datavalue":{"value":{"entity-type":"item","numeric-id":3218217,"id":"Q3218217"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"31c518f9d218df507a826f48ace3a5d7ef1cfe9e","datavalue":{"value":{"amount":"+0.7507232","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q796579$61EB9195-F672-4707-A830-EE5066FD4823","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"813649806bfb4514ef7d23ca2c35315595749e5d","datavalue":{"value":{"entity-type":"item","numeric-id":1076668,"id":"Q1076668"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"781576301274e17ed3dac5bd58fa037b8ca20489","datavalue":{"value":{"amount":"+0.6575827","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q796579$BBDC0AF8-D8E5-4097-96DF-739F0D755676","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e5b68020438bf29021227ee0adff2ed2a4f64679","datavalue":{"value":{"entity-type":"item","numeric-id":3717030,"id":"Q3717030"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"63bd797632e6b32a6c3ed2b054b387f95c52ce9f","datavalue":{"value":{"amount":"+0.6326846","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q796579$E42F97E1-127E-4F07-AD34-7CE0CD1F3B41","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a93f30f38c180a3e1280022019f693e6d66a548b","datavalue":{"value":{"entity-type":"item","numeric-id":3035265,"id":"Q3035265"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7bd9f932d96598c2230e84201b0fab4229e0bc97","datavalue":{"value":{"amount":"+0.62461984","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q796579$09DE4AAB-2D3D-47D4-AD19-EAB58D9374C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2470f89b15c63fa4e4f75c0b41b3bcfa96f265e9","datavalue":{"value":{"entity-type":"item","numeric-id":4879913,"id":"Q4879913"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5a8bbd8b8ee29433a3548e11ae0280f0d2bbd2e3","datavalue":{"value":{"amount":"+0.62033683","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q796579$C86B68D0-90E0-400E-9575-5FD6DF74D971","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"273e6c78ae70f3f6faa0d36c1e447d933696b2cd","datavalue":{"value":{"entity-type":"item","numeric-id":3699810,"id":"Q3699810"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eff23a861f40e01796951d67c90922e0758052ee","datavalue":{"value":{"amount":"+0.6131656","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q796579$8E7B0F14-5837-4809-9140-E6F444A20C53","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"598327d4bfb01b304c54d990d1cafaffe00c6b24","datavalue":{"value":{"entity-type":"item","numeric-id":3710612,"id":"Q3710612"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"029946c322ad718ccbd5bb5d1df68fd6f6624bd7","datavalue":{"value":{"amount":"+0.6059788","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q796579$F3FC2AAB-F24C-4531-AB60-A447B29229B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d5c093bf0d6eab3458e5ceefaa1edbce2de780ad","datavalue":{"value":{"entity-type":"item","numeric-id":354475,"id":"Q354475"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"332edbb7cecc8f329df5eab7e62dc615d30946a9","datavalue":{"value":{"amount":"+0.6039512","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q796579$7B99052B-618E-4E3A-A9B7-1A91D7142E2D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d40e12c52564143f1c4133d9147bdcc690b3f0e9","datavalue":{"value":{"entity-type":"item","numeric-id":2022772,"id":"Q2022772"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"20b106c09326d8180628d530d85f1665e135a3e0","datavalue":{"value":{"amount":"+0.5915363","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q796579$F7D5F320-9889-4269-A966-CB92EA53F3D0","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Regularly r-closed fields","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Regularly_r-closed_fields"}}}}}