{"entities":{"Q1377642":{"pageid":1388382,"ns":120,"title":"Item:Q1377642","lastrevid":68760603,"modified":"2026-04-13T01:52:55Z","type":"item","id":"Q1377642","labels":{"en":{"language":"en","value":"Generic automorphisms of fields"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1109923"}},"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":"Q1377642$8669160C-8059-495F-9231-1E8556CCC099","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d8ef4147bc0f813ed0e323c5288980881770a584","datavalue":{"value":{"text":"Generic automorphisms of fields","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1377642$B22A405A-2CE1-49A5-97EF-549512A0B336","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1718944519ef0840d628860dde34c8a4d7489f28","datavalue":{"value":"0891.03015","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1377642$FC237B2E-E806-4D59-B0C2-C1894C108311","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"0ce9d5550ef2e358a62553bbd48b06e3a098aa44","datavalue":{"value":"10.1016/S0168-0072(97)00020-1","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1377642$3458B6F9-3635-408C-9EB1-CA6C603B8412","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f91a4bcbc93435aed71775d25a4c5cd09e26f12d","datavalue":{"value":{"entity-type":"item","numeric-id":122505,"id":"Q122505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1377642$A21E2A11-AB90-4C03-8B2F-B9EB4ECEDAFA","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f4792ae2ab319fd603aad0c994faff1f40f5e4ae","datavalue":{"value":{"time":"+1998-01-26T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1377642$31F505E0-5D77-4C4D-A665-A139165D373A","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"1a58decdab54be1c4d71678367aa2bc49306b648","datavalue":{"value":"It is shown that the theory of fields with an automorphism has a decidable model companion. In this paper, quantifier-elimination is established in a natural language. The theory is intimately connected (via fixed fields) to Ax's theory of pseudofinite fields and analogues are obtained for most of Ax's classical results. Some indication is given of the connection to nonstandard Frobenius maps.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1377642$54FE033D-D5DE-4B20-AE7F-00065BD30523","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d09d696fa357365f057a7c984fce6a109a5f7b70","datavalue":{"value":"03C60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1377642$4F0E65E8-C2DD-4837-ABB2-28557AA71B73","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0e11b4b795dfcca92788cda604d1a11a19d12925","datavalue":{"value":"12L12","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1377642$86BF5085-2F1A-4894-A203-C33461D26995","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"176e47af9f9e7cf4ebff07fc1f9e4f94a83134c1","datavalue":{"value":"03C10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1377642$EDACC75E-D1B0-4613-842B-E4D238E742CD","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a3cff3e21250ea2933ca6928096cc88705664a98","datavalue":{"value":"1109923","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1377642$AFF62E06-4A96-4687-8945-739FD4DB6CAB","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bb8903dada6bcb7eb13b2d371a2bf8f59904c62d","datavalue":{"value":"Lefschetz principle","type":"string"},"datatype":"string"},"type":"statement","id":"Q1377642$7A70BD01-499A-457E-AE07-4FCB7C18D252","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"70ae2f300ab84cdac6cd2d3a6e019da47744fb2c","datavalue":{"value":"algebraically closed field","type":"string"},"datatype":"string"},"type":"statement","id":"Q1377642$DC2CADBF-966F-4525-9FB1-91A050EC45D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f97df44839c739c8564bed495b797c9f2ff16353","datavalue":{"value":"existentially closed fields","type":"string"},"datatype":"string"},"type":"statement","id":"Q1377642$727F7583-C0A8-4B1A-9D01-67D57A579A0C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ce7ab89ef0afcd2141c7da8aae338608bd16ac9a","datavalue":{"value":"automorphism","type":"string"},"datatype":"string"},"type":"statement","id":"Q1377642$B1F2F849-8DFF-4545-8119-9DDCBE6CA72C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9c6b5ecb0ac346b465b5521d7492528c647006f4","datavalue":{"value":"model companion","type":"string"},"datatype":"string"},"type":"statement","id":"Q1377642$115318EA-93F8-4519-AE5E-6DA0DC433AAC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1fa2866caef43d0610af8d3e4becbc84d7cc408c","datavalue":{"value":"quantifier-elimination","type":"string"},"datatype":"string"},"type":"statement","id":"Q1377642$81FB4B89-F0CF-41F4-92AD-33D6CDDBE002","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1879e983b1ae1b98709a48b932d1d2362082a34e","datavalue":{"value":"pseudofinite fields","type":"string"},"datatype":"string"},"type":"statement","id":"Q1377642$F00898F9-CAD2-4655-AEC2-6149E0436CDC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d5241c379792d1009abf958e830ead4e786e5a81","datavalue":{"value":"nonstandard Frobenius maps","type":"string"},"datatype":"string"},"type":"statement","id":"Q1377642$CBB99B49-0562-4DD3-A91D-B875288AB808","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"30de2c0162199f698bb55ab738e0fc8c2acc5ae9","datavalue":{"value":{"entity-type":"item","numeric-id":787960,"id":"Q787960"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1377642$4B27AB0B-24A8-4092-90EC-96EE7E6E0C73","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"35ea846fbd37eef2bf04aa3916128060dde76b2f","datavalue":{"value":{"entity-type":"item","numeric-id":277571,"id":"Q277571"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1377642$60D4DA8C-0AF4-4B31-AFE0-8A8242E482C3","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":"Q1377642$3ACC2F3F-F1C4-4D27-A135-9155843D6602","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"38af94e85d3150b56596cccfd2f262da6745dec7","datavalue":{"value":{"entity-type":"item","numeric-id":2539067,"id":"Q2539067"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1377642$3FA3FAD6-A8AB-464E-B447-320582257A94","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9f2c0b685389a8438f7f005ba501bef03f0b75b0","datavalue":{"value":{"entity-type":"item","numeric-id":3027108,"id":"Q3027108"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1377642$E1C792D0-6F98-498E-9310-B433600ED54D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"83f629c180f6436ab6ea9a75b06b545548804bab","datavalue":{"value":{"entity-type":"item","numeric-id":4143433,"id":"Q4143433"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1377642$929B5D77-6BF5-4EEC-BAF3-FCEB1A1D710C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a3910dbcaef4ab4bcd34acbc5210e9247e66e662","datavalue":{"value":{"entity-type":"item","numeric-id":3028990,"id":"Q3028990"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1377642$E60F6A9E-A073-4B33-B3E6-C233C8F70F1E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c0f750ad8b6241d196d023b2db79490cc7614543","datavalue":{"value":{"entity-type":"item","numeric-id":2649408,"id":"Q2649408"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1377642$862F8761-A594-4D94-B0F9-BB60B707ADF1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ea8a3a8b2a405687d4dc5946245f9151ba46692b","datavalue":{"value":{"entity-type":"item","numeric-id":5625310,"id":"Q5625310"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1377642$D63D9451-7C6A-4261-9B4C-F95591699B94","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f8d2418b9d6a8d76a8671ab522d3f9ef4267c113","datavalue":{"value":{"entity-type":"item","numeric-id":5652669,"id":"Q5652669"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1377642$F059549F-D368-4A5A-87D9-BF66D9199609","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"952c4185bb4f8050a001a8adf31e37bf5c0389e6","datavalue":{"value":{"entity-type":"item","numeric-id":4401929,"id":"Q4401929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1377642$42370F2A-B3DD-473E-B95F-BFD666CF961B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"896145f2c4ddd0f1617fb865c5304ad6c8d6aecf","datavalue":{"value":{"entity-type":"item","numeric-id":5553838,"id":"Q5553838"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1377642$76C28C29-D2FD-4E02-BFCB-4A8D589781FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"851249f51a1a467310e50cc2b44141b4577609ef","datavalue":{"value":{"entity-type":"item","numeric-id":5794285,"id":"Q5794285"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1377642$47E5C25D-AA2E-4EA9-A0E3-8D5A3B70FD3F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fa0039af43cfc59ca8b8954f6c60f55ed891115d","datavalue":{"value":{"entity-type":"item","numeric-id":3402381,"id":"Q3402381"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4a0124534d2b7121d9daf083a622915f64075f92","datavalue":{"value":{"amount":"+0.8134620189666748","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":"Q1377642$505C58DB-B696-4E96-9FCF-98139A1CC1BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7aaa154415caec62346377d19427067bb66bf905","datavalue":{"value":{"entity-type":"item","numeric-id":5177871,"id":"Q5177871"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"69feed5a43ecd8a3a55824e97ba9780c8548b8da","datavalue":{"value":{"amount":"+0.8111734986305237","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":"Q1377642$7E0F6854-7040-4908-B75E-A99D75BD3E9A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"16802c53aebc607d9e7d5d9a6ce1cbaf796ffaff","datavalue":{"value":{"entity-type":"item","numeric-id":5954292,"id":"Q5954292"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f6f053aff3af2aafa248016d8eca4eac45bdccaa","datavalue":{"value":{"amount":"+0.7966337203979492","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":"Q1377642$F598FF9B-0D88-411B-AB32-0DAB24D3559D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f57169357c638c95252672ef595e4cfbda340268","datavalue":{"value":{"entity-type":"item","numeric-id":2760733,"id":"Q2760733"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bf961d34ba2269c35fa67d2d72ced176d06f7ef2","datavalue":{"value":{"amount":"+0.7906463742256165","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":"Q1377642$7C2122D1-47CB-4806-AEDE-AE2EC2D4C7D9","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Generic automorphisms of fields","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Generic_automorphisms_of_fields"}}}}}