{"entities":{"Q1295412":{"pageid":1306162,"ns":120,"title":"Item:Q1295412","lastrevid":68393304,"modified":"2026-04-12T23:24:47Z","type":"item","id":"Q1295412","labels":{"en":{"language":"en","value":"Generic structures and simple theories"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1308092"}},"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":"Q1295412$B7B1F81B-61D2-45A7-89FF-687FB21273F0","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f6483f009500be041155c0d724eab43d8fcba09a","datavalue":{"value":{"text":"Generic structures and simple theories","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1295412$766CC98A-EF4F-442A-BC9B-D892540D6658","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"96b46521953918365f6884573ca3dcc1a50c1a75","datavalue":{"value":"0929.03043","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1295412$90DFFAF4-05FA-458C-8C31-D6FC2911E93B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"924b5c9a39d4e9ba189d350bda3844b7606a86a4","datavalue":{"value":"10.1016/S0168-0072(98)00021-9","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1295412$80F4D7BE-D7D0-4A99-8E25-970C7AE4C83B","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":"Q1295412$C10519D7-15C2-4B50-96DA-9B46DC6AC1CB","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"44f5eb6973a5ca10d99d09563928d84c58591852","datavalue":{"value":{"time":"+2000-01-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":"Q1295412$B614CDB6-D539-4129-BB84-60DDA053E531","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"f912903b2e354fedf8bb7a6b08fb431126aef8c3","datavalue":{"value":"The main concern of this paper is to develop a theory of generic structures for simple theories in the spirit of A. Robinson. First the authors consider the existence of structures with a generic \\(n\\)-ary predicate. Let \\(T\\) be a complete theory in the language \\(\\mathcal L\\) which admits quantifier elimination. Adjoin a new \\(n\\)-ary predicate symbol \\(P\\) to obtain the language \\(\\mathcal L_P\\). If the theory \\(T\\) eliminates the quantifier \\(\\exists^{\\infty}\\) (``there exist infinitely many''), \\(T\\) has a model companion \\(T_P\\) in the language \\(\\mathcal L_P\\). Then it is possible to explicitly state a set of axioms for \\(T_P\\). Moreover, if \\(T\\) is simple, then so is \\(T_P\\). Next the language is augmented with a new symbol \\(\\sigma\\) to denote an automorphism. The theory \\(T_0\\) is formed by adding axioms to \\(T\\) saying that \\(\\sigma\\) is an automorphism. A criterion for the existence of a model companion \\(T_A\\) of the theory \\(T_0\\) is given. If \\(T\\) is stable and the model companion \\(T_A\\) exists, then \\(T_A\\) is simple. Finally, the authors extend a result of Hrushovski's about PAC fields [\\textit{E. Hrushovski}, ``Pseudo-finite fields and related structures'', manuscript (1991)]. It is shown that the assumption of perfectness can be dropped in Hrushovski's result that any complete theory of a perfect PAC field with small Galois group is simple.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1295412$4A9FC774-18BE-485E-A355-7A96B80A59FE","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e4acb947bbb93aef022d2652e8dc30ed364d53d7","datavalue":{"value":"03C50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1295412$F35C7A50-E7D0-4458-A5AF-CEB77D2AA29F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ab5d1284da7b6135f2165359448a9dc6cb04c9a7","datavalue":{"value":"03C45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1295412$B9EB4F4A-C73F-4F39-A089-1BE0F7C90145","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d09d696fa357365f057a7c984fce6a109a5f7b70","datavalue":{"value":"03C60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1295412$D8F4D39D-77FF-425E-BFFA-5493D494430F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0e11b4b795dfcca92788cda604d1a11a19d12925","datavalue":{"value":"12L12","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1295412$1FBC08C6-EBCD-4357-90F5-27F26C9E1A57","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e72ac0c8c06ca3dadc61f4ca7d954bf9470d55d3","datavalue":{"value":"1308092","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1295412$BA90D436-9391-4BC5-931B-B3CF902A70D0","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2a002ca125446c6082468e412e2610ec94387b21","datavalue":{"value":"simple theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q1295412$09A893E8-2603-43A7-8391-F03F8279CDF6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ce880d3bd84ed003399bd5272d8a2645f815ff43","datavalue":{"value":"generic structure","type":"string"},"datatype":"string"},"type":"statement","id":"Q1295412$037FC5F5-EBB8-40B8-AAD4-A6E236111E4F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9c6b5ecb0ac346b465b5521d7492528c647006f4","datavalue":{"value":"model companion","type":"string"},"datatype":"string"},"type":"statement","id":"Q1295412$BDD772A7-39FB-4C87-893D-04098B0C72C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d31075fa7356bebba04a664168d772e1a5ca50d4","datavalue":{"value":"generic automorphism","type":"string"},"datatype":"string"},"type":"statement","id":"Q1295412$B79F8541-CDAD-40C9-B3F5-81715D91E7A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e4efb4cd6ea86977058b5569d44062b7ac2d6a23","datavalue":{"value":"PAC field","type":"string"},"datatype":"string"},"type":"statement","id":"Q1295412$E384997A-0638-4FA3-88B8-F7FFB3C1E49E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"557b1acb423f35f77ba7d753f480ca4be465f57b","datavalue":{"value":{"entity-type":"item","numeric-id":226918,"id":"Q226918"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1295412$BA09AA26-8282-4BA0-9039-DF7511DC94C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"824231740ca0a4d8eabfc51e38ff349826d12a75","datavalue":{"value":{"entity-type":"item","numeric-id":372633,"id":"Q372633"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1295412$6F12A537-29A1-4C21-9339-4C91D1AB84BD","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":"Q1295412$D7E12061-08D2-4B56-A767-F78B231516E9","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"e6df34505b758e9991b5da77d041316a1b9347ab","datavalue":{"value":{"entity-type":"item","numeric-id":4243636,"id":"Q4243636"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1295412$683D7DAD-1869-42B0-A04D-CE325B72441B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6184022b1ff937253874382bbac4405ae90b6095","datavalue":{"value":{"entity-type":"item","numeric-id":3834037,"id":"Q3834037"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1295412$ED1840F8-2A50-44DA-9129-5CA021E932DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"15f3bce104a3cb20b065f81462b1ad4e2383b3ba","datavalue":{"value":{"entity-type":"item","numeric-id":5534353,"id":"Q5534353"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1295412$D955C29F-3574-4D6F-A789-6877FDBF81E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"23904c318d370e3068658c505edd1a3bc78934a5","datavalue":{"value":{"entity-type":"item","numeric-id":4830003,"id":"Q4830003"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1295412$8C2B5E2F-BE85-4618-BBCD-955DB60ADB31","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5f4bbe5491528e102f4686ba38f32fbc9beab1bf","datavalue":{"value":{"entity-type":"item","numeric-id":4716690,"id":"Q4716690"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1295412$0E22A5BD-C9D3-4DE1-8975-4A76A01A4726","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cabcb33c6d666b779eda8df6727aad36d59e3e70","datavalue":{"value":{"entity-type":"item","numeric-id":1377641,"id":"Q1377641"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1295412$E5E5147B-0509-4EDA-BBD0-844D73BEDE0C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bda8d84781b1d51bd41c437ca253e2ea670910ba","datavalue":{"value":{"entity-type":"item","numeric-id":3801533,"id":"Q3801533"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1295412$CE414D9E-DC0B-407E-85B1-3E901A3C8668","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5785406d5b0dbd51ead68455646bee4fbce60c3a","datavalue":{"value":{"entity-type":"item","numeric-id":1179533,"id":"Q1179533"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1295412$2E17E0B9-5468-47AB-B3D6-4F78B380EAF7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c6367aed8e4c67f53870f9413f57591e93deaf96","datavalue":{"value":{"entity-type":"item","numeric-id":3768884,"id":"Q3768884"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1295412$A979B2E0-D356-4410-AD80-F12A37640C90","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e8e28d5844398dd37f8a7888bc40dc2c8f5f7016","datavalue":{"value":{"entity-type":"item","numeric-id":4842630,"id":"Q4842630"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1295412$EBF71B1D-5BAE-4C9A-9699-5B26140744D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4b4b1cbfd3495596a05d24e2da4ddf39d6c0eec7","datavalue":{"value":{"entity-type":"item","numeric-id":4039792,"id":"Q4039792"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1295412$555BDD69-FF2C-466F-B801-33710FA2D058","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"28f0bff5f2cdc15c85ed3c713c7c37f87d93425b","datavalue":{"value":{"entity-type":"item","numeric-id":3950543,"id":"Q3950543"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1295412$E3EB3805-8AB9-4FBE-9D4A-8D21D6B78C86","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"98837239f79b334be878b93141ebaa12f883fe79","datavalue":{"value":{"entity-type":"item","numeric-id":3858246,"id":"Q3858246"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1295412$B187D462-035B-4559-A656-1FAD04820292","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"67a5d0d8e309ed26485606c4d2d67c6a2864ea88","datavalue":{"value":{"entity-type":"item","numeric-id":1399103,"id":"Q1399103"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0264a37c289db86fb3ebc6c72a7610a52efb9492","datavalue":{"value":{"amount":"+0.7982966303825378","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":"Q1295412$6B719584-04BB-4E75-93B4-8498C9F46CA1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e5f7b8843a8d00274f368fac5fbfc3cfb0748f8c","datavalue":{"value":{"entity-type":"item","numeric-id":3521598,"id":"Q3521598"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3e0a54113dafce8f565addf647801237220e2da5","datavalue":{"value":{"amount":"+0.7809604406356812","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":"Q1295412$5B8FFD0F-763F-4E4A-A55E-0445FE86CC4E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d88ba580340e0148d8579568cb44b5a78c8c5da4","datavalue":{"value":{"entity-type":"item","numeric-id":4527921,"id":"Q4527921"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b0f58f30ec416e81febf528e145f318c566e133e","datavalue":{"value":{"amount":"+0.7721053957939148","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":"Q1295412$BDC53285-F750-4012-87D2-BDCA25F0321A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Generic structures and simple theories","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Generic_structures_and_simple_theories"}}}}}